Jank – The native Clojure dialect with seamless C++ interop

October 22, 2026 · Hacker News

LLMs are making formal software verification feasible at a much larger scale
Comments
How to Read Crypto Liquidations and Funding Rates for Risk (Not Predictions)
How to Read Crypto Liquidations and Funding Rates for Risk (Not Predictions) Liquidation dashboards look dramatic. A wal
JD Vance’s family no longer allowed to say ‘M-word’
The midterm elections are rapidly approaching, and key figures of both the Republican and Democratic parties are hitting
Jason Momoa buys Sam Neill's former 4.92-hectare NZ estate for NZ$15m
Jason Momoa has recently acquired a significant property in Queenstown, New Zealand for NZ$15 million. The estate, forme
These Monkeys Survived a Deadly Outbreak, Then Started Acting a Lot Like Humans
Monkeys, they’re just like us! Yes, we share a ton of genes, but socially, researchers recently found monkeys from group