HN user

adamnemecek

58,297 karma

http://traceoid.ai

Twitter: https://twitter.com/adamnemecek1

GitHub: https://github.com/adamnemecek

Posts2,847
Comments5,996
View on HN
github.com 1mo ago

Codexia: "IDE" for Codex and Claude Code

adamnemecek
2pts0
hghalebi.github.io 2mo ago

Building ML framework with Rust and Category Theory

adamnemecek
102pts21
nvlabs.github.io 2mo ago

CUDA-oxide: Nvidia's official Rust to CUDA compiler

adamnemecek
424pts118
patricknicolas.substack.com 2mo ago

Taming Symmetry: A Dive into Lie Groups with Python (2025)

adamnemecek
1pts0
trifectatech.org 3mo ago

Rust should have stable tail calls

adamnemecek
8pts1
lucisqr.substack.com 3mo ago

Eviscerated by Rust: Overcoming C++'s 58x Standard Library Handicap

adamnemecek
1pts0
github.com 4mo ago

Apiark: Open-Source Postman Alternative

adamnemecek
3pts0
github.com 4mo ago

Woxi: Wolfram Mathematica Reimplementation in Rust

adamnemecek
350pts137
fyrox.rs 5mo ago

Fyrox Rust Game Engine 1.0 Release Candidate 2

adamnemecek
2pts0
fyrox.rs 5mo ago

Fyrox Rust Game Engine 1.0 Release Candidate 2

adamnemecek
2pts0
news.ycombinator.com 5mo ago

Google Books search is back to normal

adamnemecek
3pts0
ferrisoft.com 5mo ago

Crabtime, a novel way to write Rust macros

adamnemecek
5pts0
old.reddit.com 5mo ago

Google Books removed all search functions for any books with previews

adamnemecek
225pts74
old.reddit.com 5mo ago

Google Books has been effectively killed by the last algorithm update

adamnemecek
1pts0
rustcast.umangsurana.com 6mo ago

RustCast: Free, open-source Raycast-style launcher written in Rust

adamnemecek
3pts0
github.com 7mo ago

T * sin (t) ≈ Christmas tree (2013)

adamnemecek
3pts0
www.ceu-lang.org 7mo ago

Céu: Language for Structured Synchronous Reactive Programming

adamnemecek
3pts1
symbolica.io 8mo ago

Symbolica 1.0 released: Symbolic mathematics in Rust

adamnemecek
3pts0
github.com 8mo ago

Ribir: Non-intrusive GUI framework for Rust/WASM

adamnemecek
78pts24
github.com 8mo ago

Shiroa: MdBook for Typst

adamnemecek
1pts0
github.com 8mo ago

Fast Forward: macOS window switcher built with Rust and GPUI

adamnemecek
3pts0
github.com 10mo ago

Nipdf: PDF Reader in Rust

adamnemecek
4pts1
wxiaoyun.com 10mo ago

2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust

adamnemecek
3pts0
github.com 11mo ago

Functorio: Build Factorio factories in the Lean 4

adamnemecek
2pts0
github.com 11mo ago

GG: GUI for Jujutsu

adamnemecek
2pts0
people.idsia.ch 11mo ago

Annotated History of Modern AI and Deep Learning (2022)

adamnemecek
3pts0
chalkdustmagazine.com 11mo ago

Diagrammatic algebra: On the road to category theory

adamnemecek
1pts0
github.com 11mo ago

Open source PDF reader built with Rust, Dioxus and PDFium

adamnemecek
2pts1
github.com 1y ago

TurnFormal: Theorem Prover Written in Rust

adamnemecek
1pts0
eprint.iacr.org 1y ago

Quantum Computing without the Linear Algebra [pdf]

adamnemecek
2pts0
Focus 13 days ago

It is not a coincidence that the author's nickname, Boz, is so close to Bozo the Clown, only a clown could write this.

I haven't met anyone who knows Typst even exists.

It was released in 2023 and became polished enough to use like last year. Yeah, adoption takes time but the technology is significantly better.

The problem is also momentum. Do you rewrite 30 years' of CTAN contributions, internal templates/styles and the toolchain off and start again or not?

With latex you have to rely on third party. With typst you can write it yourself (or with an agent), like writing functions is not painful in typst.

It's cool sure, powerful also... but when anybody has access to both vector-based editor and raster-based editor ... but also tools that incorporate them, e.g. rich text editors ... but also entire toolchain going from compilers to libraries all the way to Web based notebook with their editors and running environment that can then output printable artifacts, I don't think there has to be "the" way. They might be a more popular way within a certain zeitgeist but... does one project has to "replace" another one?

cool, why do you think people use tikz? And like generating images programmatically from text is impossibly more powerful than using vector editors.

Typst is the most important open source project of the last 5 years.

I predict a future where markdown and latex are largely replaced by typst. And I couldn't be more excited.

It is such a stepup from markdown and latex. Try it today if you are intrigued.

Typst 0.15.0 1 month ago

Almost exactly a year ago, I made the switch from generating LaTeX from markdown using pandoc to typst. Best decision I have ever made. I can actually write my own macros (both LaTeX and pandoc were a pain in the ass).

The ecosystem is not quite a mature as latex, however I can implement the things I need myself.

If you are on the fence, do yourself a favor and try it. There is a VS Code extension https://marketplace.visualstudio.com/items?itemName=myriad-d....

Mojo 1.0 Beta 3 months ago

This is exactly how the open sourcing of Swift went so I imagine it will be the same.

Why TUIs Are Back 3 months ago

They are back because modern languages (Rust, Go) have made it pretty straight forward to build them. Ratatui and such allow you to write a TUI really quickly without needing to deal with VT100 arcana.

[dead] 3 months ago

This blog post is less than excellent. In fact it's a bit of a shit.