-
114
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com)
-
154
A comparison of Ada and Rust, using solutions to the Advent of Code
(github.com)
-
30
Blog Feeds
(blogfeeds.net)
-
33
Show HN: Run – a CLI universal code runner I built while learning Rust
(github.com)
-
35
How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
(arxiv.org)
-
124
The UK is still trying to backdoor encryption for Apple users
(eff.org)
-
116
Self-hosting email like it's 1984
(maxadamski.com)
-
97
Five years as a startup CTO: How, why, and was it worth it? (2024)
(distinctplace.com)
-
14
Solaris 2.1 for x86 (2017)
(os2museum.com)
-
145
The Buchstabenmuseum Berlin is closing
(buchstabenmuseum.de)
-
168
Earth was born dry until a cosmic collision made it a blue planet
(sciencedaily.com)
-
200
Paged Out Issue #7 [pdf]
(pagedout.institute)
-
223
Alibaba cloud FPGA: the $200 Kintex UltraScale+
(essenceia.github.io)
-
6
Pianists Can Shape Piano Timbre Through Touch
(neuropiano.org)
-
18
Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces
(github.com)
-
118
Thunderscan: A clever device transforms a printer into a scanner (2004)
(folklore.org)
-
391
Zig builds are getting faster
(mitchellh.com)
-
458
Offline card payments should be possible no later than 1 July 2026
(riksbank.se)
-
144
Systems Programming with Zig
(manning.com)
-
102
Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS
(benbridle.com)
-
44
Baseball durations after the pitch clock
(leancrew.com)
-
624
Fluid Glass
(chiuhans111.github.io)
-
224
How I influence tech company politics as a staff software engineer
(seangoedecke.com)
-
5
Provable Scaling Laws of Feature Emergence from Learning Dynamics of Grokking
(arxiv.org)
-
367
Where it's at://
(overreacted.io)
-
128
Scientists are discovering a powerful new way to prevent cancer
(economist.com)
-
186
New antibiotic targets IBD and AI predicted how it would work
(healthsci.mcmaster.ca)
-
377
PEP 810 – Explicit lazy imports
(pep-previews--4622.org.readthedocs.build)
-
250
Flock's gunshot detection microphones will start listening for human voices
(eff.org)
-
111
How functional programming shaped and twisted front end development
(alfy.blog)