A Lean Syntax Primer

Overreacted2025-09-02 08:000 views

Programming with proofs.

Article URL: https://archlog.dev/ Comments URL: https://news.ycombinator.com/item?id=50507860 Points: 2 # Comments: 0

Article URL: https://bhopstudio.com/floodtide Comments URL: https://news.ycombinator.com/item?id=50507881 Points: 2 # Co

I hate notifications, I hate keeping track of Codex sessions so I built this app. I hope you like it! Comments URL: http

Tribit FlyBuds C3 review These aren’t just any earbuds, they’re FlyBuds. And the new Tribit FlyBuds 3 look mighty impres

Alpaca Engineering posted a YouTube video yesterday showcasing his self-hostable non-planar slicer. He explains that mos

We've been reviewing a bunch of new gadgets at TechCrunch this year, and we have some clear favorites to share for your

Related posts