Feeds to Scour
SubscribedAll
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·11h
💎Information Crystallography
Preview
Report Post
Devlog: Godot Project - Level 3-2 And Bobbing Water
lmika.org·3h
📟Terminal Physics
Preview
Report Post
Is AI Taking Your Dev Job? Here’s The Fix (Plus a 100% Free Python Course)
efficientcoder.net·6h
🔩Systems Programming
Preview
Report Post
Using AI To Modernize The Ubuntu Error Tracker Produced Some Code That Was "Plain Wrong"
phoronix.com·1d
📏Code Metrics
Preview
Report Post
Weekly Bookmarks
inkdroid.org·1d
🌀Brotli Internals
Preview
Report Post
Kinesis Advantage2
danishpraka.sh·9h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Preview
Report Post
Show HN: NanoBananaPro – Text/Images → Pro Videos in 30 Seconds (No Editing)
nanobananapro.me·15h·
Discuss: Hacker News
⏱️SMPTE Timecode
Preview
Report Post
Mathematical "Urban Legends" (2011)
mathoverflow.net·1d·
Discuss: Hacker News
🔲Proof Irrelevance
Preview
Report Post
Testers wanted for an ETL / sqlite based PaaS (Go, OSS, API + web dev)
reddit.com·18h·
Discuss: r/golang
🦀Rusty Databases
Preview
Report Post
KJS: A Complete Formal Semantics of JavaScript
github.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
Preview
Report Post
Arc Prize 2025 Results and Analysis: Year of the Refinement Loop
arcprize.org·2d·
Discuss: Hacker News
Incremental Computation
Preview
Report Post
Teaching an LLM to Write Assembly: GBNF-Constrained Generation for a Custom CPU
jamesdrandall.com·3d·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post
Stop Shotgun Debugging: How to Turn AI Into Your Lead Detective
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
Prompting Science Report 4: Playing Pretend: Expert Personas Don't Improve Factual Accuracy
arxiv.org·10h
Proof Automation
Preview
Report Post
Buy GitHub Accounts Online
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Preview
Report Post
Use AI without skill atrophy
augmentedswe.com
·12h·
Discuss: Hacker News
Proof Automation
Preview
Report Post
Ask HN: Async updates: Input friction vs. Output friction?
news.ycombinator.com·3h·
Discuss: Hacker News
Effect Handlers
Preview
Report Post
🎯 Domain-Specific LLMs: Specialized AI for Healthcare, Finance, Legal, and Beyond
dev.to·5h·
Discuss: DEV
🗣️Domain-Specific Languages
Preview
Report Post
Teaching My AI to Sleep: Continual Learning with Llama 3 on a Mac Mini
medium.com·21h·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
Rnj-1: Building Instruments of Intelligence
essential.ai·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post