-
49
Use theorem provers to ensure the correctness of your LLM's reasoning
(github.com)
-
132
A Comparison of Ada and Rust, Using Solutions to the Advent of Code
(github.com)
-
75
Five Years as a Startup CTO: How, Why, and Was It Worth It?
(distinctplace.com)
-
25
Knowledge Infusion Scaling Law for Pre-Training Large Language Models
(arxiv.org)
-
133
The Buchstabenmuseum Berlin is closing
(buchstabenmuseum.de)
-
7
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
-
103
Thunderscan: A clever device transforms a printer into a scanner (2004)
(folklore.org)
-
156
Earth was born dry until a cosmic collision made it a blue planet
(sciencedaily.com)
-
185
Paged Out Issue #7 [pdf]
(pagedout.institute)
-
198
How I influence tech company politics as a staff software engineer
(seangoedecke.com)
-
81
Self-Hosting Email Like It's 1984
(maxadamski.com)
-
17
The mini smartphones from Japan you've never heard about [video]
(youtube.com)
-
211
Alibaba cloud FPGA: the $200 Kintex UltraScale+
(essenceia.github.io)
-
9
New Poll: Democratic Socialism Is Now Mainstream
(jacobin.com)
-
91
Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS
(benbridle.com)
-
383
Zig builds are getting faster
(mitchellh.com)
-
450
Offline card payments should be possible no later than 1 July 2026
(riksbank.se)
-
129
Systems Programming with Zig
(manning.com)
-
59
Privacy Harm Is Harm
(eff.org)
-
60
The Architecture of Learning: From Statistics to Intelligence
(little-book-of.github.io)
-
604
Fluid Glass
(chiuhans111.github.io)
-
196
Flock's gunshot detection microphones will start listening for human voices
(eff.org)
-
356
Where it's at://
(overreacted.io)
-
181
New antibiotic targets IBD and AI predicted how it would work
(healthsci.mcmaster.ca)
-
7
BiDirectional text in the terminal emulators and console programs(2020)
(gist.github.com)
-
90
How functional programming shaped and twisted front end development
(alfy.blog)
-
372
PEP 810 – Explicit lazy imports
(pep-previews--4622.org.readthedocs.build)
-
134
Old Stockholm Telephone Tower
(en.wikipedia.org)
-
256
Jeff Bezos says AI is in a bubble but society will get 'gigantic' benefits
(cnbc.com)
-
203
Jules, remote coding agent from Google Labs, announces API
(jules.google)