Feeds to Scour
SubscribedAll
22.00.0171 Configuration management
johnnydecimal.comยท1h
โš™๏ธProof Engineering
Preview
Report Post
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.comยท10h
๐Ÿ’ŽInformation Crystallography
Preview
Report Post
Advent of Code 2025 in Lean 4 โ€“ Day 6
hamberg.noยท2d
๐Ÿง Lisp Dialects
Preview
Report Post
Is AI Taking Your Dev Job? Hereโ€™s The Fix (Plus a 100% Free Python Course)
efficientcoder.netยท5h
๐Ÿ”ฉSystems Programming
Preview
Report Post
Kinesis Advantage2
danishpraka.shยท8hยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards
Preview
Report Post
Code Evolution: Self-Improving Software with LLMs and Python
github.comยท2dยท
Discuss: Hacker News
โšกIncremental Computation
Preview
Report Post
How to Climb the Hidden Career Ladder of Data Science
towardsdatascience.comยท22h
โš”๏ธLean Tactics
Preview
Report Post
How to Build No-Code AI Workflows Using Activepieces and Sevalla
hackernoon.comยท3d
๐Ÿ”„Archival Workflows
Preview
Report Post
I Built an Open-Source Privacy Firewall for ChatGPT (Runs 100% Locally)
dev.toยท14hยท
Discuss: DEV
๐Ÿ›ก๏ธWASM Sandboxing
Preview
Report Post
An Abstract Arsenal: Future Tokens in Claude Skills
jordanmrubin.substack.comยท4dยท
Discuss: Substack
โšกProof Automation
Preview
Report Post
Show HN: NanoBananaPro โ€“ Text/Images โ†’ Pro Videos in 30 Seconds (No Editing)
nanobananapro.meยท14hยท
Discuss: Hacker News
โฑ๏ธSMPTE Timecode
Preview
Report Post
Featurized-Decomposition Join: Low-Cost Semantic Joins with Guarantees
arxiv.orgยท9h
๐Ÿง Query Planners
Preview
Report Post
Show HN: I built an LLM pipeline to sanitize client emails into JSON Scopes
scopelock.appยท22hยท
Discuss: Hacker News
๐Ÿ”BitFunnel
Preview
Report Post
Mechanistic Interpretability of Antibody Language Models Using SAEs
arxiv.orgยท9h
๐ŸŽฏAutomata theory
Preview
Report Post
3D Path Planning for Robot-assisted Vertebroplasty from Arbitrary Bi-plane X-ray via Differentiable Rendering
arxiv.orgยท9h
๐ŸŒ€Differential Geometry
Preview
Report Post
MIND: Multi-rationale INtegrated Discriminative Reasoning Framework for Multi-modal Large Models
arxiv.orgยท9h
๐Ÿค–Advanced OCR
Preview
Report Post
Testers wanted for an ETL / sqlite based PaaS (Go, OSS, API + web dev)
reddit.comยท17hยท
Discuss: r/golang
๐Ÿฆ€Rusty Databases
Preview
Report Post
Stop Shotgun Debugging: How to Turn AI Into Your Lead Detective
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Concolic Testing
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