Why WADA Has Its Eye on Ozempic
triathlete.com·1d·
Discuss: Hacker News
✓Formal verification
Cornell Note Taking – The Best Way to Take Notes, Explained
goodnotes.com·17m·
Discuss: Hacker News
🗃️Local databases
How to Start Making Games in JavaScript with No Experience
jslegenddev.substack.com·5d·
Discuss: Substack
🤖AI
General Fusion closes US$22M financing; welcomes new Board members
generalfusion.com·2d·
Discuss: Hacker News
🔌Embedded
Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·1h·
Discuss: Hacker News
✓Formal verification
Full Body MRIs vs. liquid biopsies for early cancer detection
emigal.com·6h·
Discuss: Hacker News
✓Formal verification
AUR Chaos Malware: An Analysis
mh4ckt3mh4ckt1c4s.xyz·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Git RFC: Introduce jj-inspired git-history(1) command for easy history editing
lore.kernel.org·4d·
Discuss: Lobsters, Hacker News
🔌Embedded
Agents are search over action space
shabie.github.io·6d·
Discuss: Hacker News
🤖AI
I don't buy Macs anymore
jasonsaidwhat.substack.com·1d·
Discuss: Substack
🗃️Local databases
Creating 3D Worlds with HTML and CSS
keithclark.co.uk·3d·
Discuss: Hacker News
🤖AI
Microsoft QuickBasic remembered
dfarq.homeip.net·3d·
Discuss: Hacker News
🔌Embedded
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·3d·
Discuss: Hacker News
✓Formal verification
Ask HN: Payments are fixed for freelancers in India. Why not compliance?
news.ycombinator.com·2d·
Discuss: Hacker News
🔌Embedded
US gov seeks AI procurement using 'full user context and data access' chatbots
theregister.com·5d·
Discuss: Hacker News
🤖AI
We beat Google Deepmind but got killed by a chinese lab
reddit.com·4d·
Discuss: r/LocalLLaMA
🤖AI
The Outcry over GPT-4o's Brief Death
eshumarneedi.com·6d·
Discuss: Hacker News
🤖AI
The Staff+ Canon: Tools for Leading Without Authority
laconicwit.com·6d·
Discuss: Hacker News, r/programming
🤖AI
Hubert Blaine Wolfeschlegelsteinhausenbergerdorff Sr
en.wikipedia.org·10h·
Discuss: Hacker News
✓Formal verification
Pact: Head-to-head negotiation benchmark for LLMs
github.com·3d·
Discuss: Hacker News, r/LocalLLaMA
✓Formal verification