GoKawiil
Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs
(news.ycombinator.com)
121.
122.
Show HN: Segue – Save context in one AI, load it in another by a short handle
(news.ycombinator.com)
123.
124.
125.
Netflix faces cease-and-desist over controversial scene in new documentary
(feeds.feedburner.com)
126.
127.
The Proof Machine (2016)
(news.ycombinator.com)
128.
When should you treat a fever? Evolution holds the answer
(feeds.nature.com)
129.
Go Analysis Framework: modular static analysis by go team
(news.ycombinator.com)
130.
131.
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
132.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
134.
135.
Samsung keeps ignoring a hardware flaw with its foldables, and I’m sick of it
(androidauthority.com)
136.
MouthPad: A Tongue-Controlled Touchpad
(news.ycombinator.com)
137.
AI surveillance is destroying the workplace
(feeds.feedburner.com)
138.
Here’s how Meta decides who to lay off—and it claims to not use AI
(feeds.feedburner.com)
139.
140.
Show HN: I made some transistor animations
(news.ycombinator.com)
141.
142.
Proving a human wrote something
(news.ycombinator.com)
143.
Proving a Human Wrote Something
(news.ycombinator.com)
144.
145.
Dell 14S review: High-class design and 20+ hour battery life
(tomshardware.com)
146.
147.
148.
There’s a new workforce crisis and it isn’t burnout
(feeds.feedburner.com)
149.
White House rolls out AI funding — and signals a new era for US science
(feeds.nature.com)
150.