news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Migrating from DigitalOcean to Hetzner: From $1,432 to $233 With Zero Downtime

https://isayeter.com/posts/digitalocean-to-hetzner-migration/

25•yusufusta•28m ago•7 comments

Why Japan has such good railways

https://worksinprogress.co/issue/why-japan-has-such-good-railways/

40•RickJWagner•1h ago•21 comments

State of Kdenlive

https://kdenlive.org/news/2026/state-2026/

89•f_r_d•2h ago•26 comments

Michael Rabin Has Died

https://en.wikipedia.org/wiki/Michael_O._Rabin

203•tkhattra•2d ago•33 comments

Category Theory Illustrated – Orders

https://abuseofnotation.github.io/category-theory-illustrated/04_order/

138•boris_m•7h ago•40 comments

Amiga Graphics

https://amiga.lychesis.net/

151•sph•7h ago•31 comments

It's OK to compare floating-points for equality

https://lisyarus.github.io/blog/posts/its-ok-to-compare-floating-points-for-equality.html

68•coinfused•3d ago•38 comments

Claude Design

https://www.anthropic.com/news/claude-design-anthropic-labs

1093•meetpateltech•22h ago•721 comments

Show HN: I made a calculator that works over disjoint sets of intervals

https://victorpoughon.github.io/interval-calculator/

211•fouronnes3•12h ago•40 comments

Measuring Claude 4.7's tokenizer costs

https://www.claudecodecamp.com/p/i-measured-claude-4-7-s-new-tokenizer-here-s-what-it-costs-you

637•aray07•22h ago•451 comments

All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)

https://www.esa.int/Science_Exploration/Human_and_Robotic_Exploration/The_toxic_side_of_the_Moon

376•cybermango•19h ago•222 comments

Towards trust in Emacs

https://eshelyaron.com/posts/2026-04-15-towards-trust-in-emacs.html

145•eshelyaron•3d ago•20 comments

Spending 3 months coding by hand

https://miguelconner.substack.com/p/im-coding-by-hand

246•evakhoury•21h ago•255 comments

Flock Condemns False Child Predator Allegations, Yet Calls Critics Terrorists

https://ipvm.com/reports/flock-allegations-critics

46•jhonovich•1h ago•14 comments

A Dumb Introduction to Z3

https://ar-ms.me/thoughts/a-gentle-introduction-to-z3/

11•y1n0•4d ago•8 comments

Brunost: The Nynorsk Programming Language

https://lindbakk.com/blog/introducing-brunost

99•atomfinger•4d ago•45 comments

Are the costs of AI agents also rising exponentially? (2025)

https://www.tobyord.com/writing/hourly-costs-for-ai-agents

246•louiereederson•3d ago•86 comments

A simplified model of Fil-C

https://www.corsix.org/content/simplified-model-of-fil-c

188•aw1621107•16h ago•100 comments

The simple geometry behind any road

https://sandboxspirit.com/blog/simple-geometry-of-roads/

65•azhenley•2d ago•8 comments

Show HN: Smol machines – subsecond coldstart, portable virtual machines

https://github.com/smol-machines/smolvm

373•binsquare•20h ago•120 comments

Hyperscalers have already outspent most famous US megaprojects

https://twitter.com/finmoorhouse/status/2044933442236776794

233•nowflux•21h ago•181 comments

"cat readme.txt" is not safe if you use iTerm2

https://blog.calif.io/p/mad-bugs-even-cat-readmetxt-is-not

228•arkadiyt•19h ago•133 comments

Slop Cop

https://awnist.com/slop-cop

205•ericHosick•22h ago•124 comments

Rewriting Every Syscall in a Linux Binary at Load Time

https://amitlimaye1.substack.com/p/rewriting-every-syscall-in-a-linux

67•riteshnoronha16•4d ago•26 comments

Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock

https://github.com/paniclock/paniclock/

214•seanieb•21h ago•99 comments

Binary Encodings for JSON and Variant

https://jincongho.com/posts/designing-binary-encodings-for-json-and-variant/

4•jincongho•3d ago•0 comments

Middle schooler finds coin from Troy in Berlin

https://www.thehistoryblog.com/archives/75848

248•speckx•23h ago•116 comments

Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG

https://github.com/yapstudios/sfsym

17•olliewagner•10h ago•5 comments

NASA Force

https://nasaforce.gov/

289•LorenDB•22h ago•281 comments

Landmark ancient-genome study shows surprise acceleration of human evolution

https://www.nature.com/articles/d41586-026-01204-5

92•unsuspecting•15h ago•96 comments

Open in hackernews

A Dumb Introduction to Z3

https://ar-ms.me/thoughts/a-gentle-introduction-to-z3/

11•y1n0•4d ago

Comments

amelius•1h ago

If the tutorial uses Rust, why didn't they use a solver written in Rust? Z3 was written in C++.

suddenlybananas•1h ago

What solver would you have them use? Z3 is very mature and the Rust bindings are pretty good in my (limited) experience.

amelius•1h ago

I would write the tutorial in C++, for a more direct experience.

volemo•44m ago

I personally like to avoid the “writing in C++” experience. :/

amelius•33m ago

The authors of a powerful solver package thought differently.

onair4you•1m ago

It might have more to do with the first release of Z3 being in 2012, with the first stable Rust release being in 2015. Rather than the authors of Z3 passing some kind of judgment on Rust…

suddenlybananas•18m ago

The author might not know C++ and you don't need to use C++ to effectively use z3.

wren6991•1h ago

Z3 struggles with larger problems. CVC5 or Bitwuzla do a lot better once you get into anything complex.

If you're familiar with the Z3 Python API, you'll find the CVC5 one familiar.

Caveat: I mostly do logic design, maybe there are some software verification tasks where Z3 comes out ahead. I've never seen one though.