GoKawiil
Fonts In Use – Find out where a font is used
(news.ycombinator.com)
31.
32.
Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary
(news.ycombinator.com)
33.
We have proof automation now
(news.ycombinator.com)
34.
Typo-Squatting Scammers Con South Carolina Town Out of $545K
(slashdot.org)
35.
Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home
(news.ycombinator.com)
36.
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
37.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
38.
Extinct Media Museum Tokyo
(news.ycombinator.com)
39.
Programming Languages Are Authoring Tools for Platforms
(news.ycombinator.com)
40.
41.
Motherhood makes women more creative. So why do we chase moms out of the workplace?
(feeds.feedburner.com)
42.
Why I Am Not Going to Buy a Computer
(news.ycombinator.com)
43.
An Engineer's Guide to USB Type-C [pdf]
(news.ycombinator.com)
44.
Long Presumed Dead, a Thriving Coral Reef Is Discovered in West Africa
(news.ycombinator.com)
46.
Annoying and alarming things about OpenCode
(news.ycombinator.com)
47.
Stop Using OpenCode
(news.ycombinator.com)
48.
HMD Touch 4G
(news.ycombinator.com)
49.
Typing Speed Test, but for Developers
(news.ycombinator.com)
50.
Gleam Is Now on Tangled
(news.ycombinator.com)
51.
Elixir-lang.org has a new design
(news.ycombinator.com)
52.
Show HN: Galois connections for composable numeric casts in Rust
(news.ycombinator.com)
53.
Abstracting Effects with Continuations
(news.ycombinator.com)
54.
Notice to Membership
(spectrum.ieee.org)
55.
Actegories
(news.ycombinator.com)
56.
ActivityPub over ATProto
(news.ycombinator.com)
57.
58.
TypeScript 7
(news.ycombinator.com)
59.
60.
xAI Is Dead. Long Live SpaceXAI
(gizmodo.com)