Feeds to Scour
SubscribedAll
Scoured 8560 posts in 195.5 ms
The Death of Baseload and Similar Grid Tropes
hackaday.com·38m
🩹Self-Healing Systems
OpenAI’s new Codex Spark model is built for speed
thenewstack.io·37m
🔧Unikernel Development
Basic Logic Behind AI
dev.to·6d·
Discuss: DEV
🧠Automated Reasoning
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·4d·
Discuss: DEV
🧠Automated Reasoning
Basic Legibility Protocols Improve Trusted Monitoring
lesswrong.com·35m
🔒Protocol Verification
The Easiest Person to Fool
toluakinola.substack.com·48m·
Discuss: Substack
🔒Protocol Verification
Reasoning aligns language models to human cognition
arxiv.org·2d
🧠Automated Reasoning
Tell HN: GPT-5.3-codex is now available in the API
news.ycombinator.com·49m·
Discuss: Hacker News
📦Opam
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
arxiv.org·3d
⏳LTL
I'm skipping Carnival to port my AI CMS to English (Pre-selling integration)
739088950838.gumroad.com·39m·
Discuss: Hacker News
🔧Microservices
A self-hosted, collaborative database client
dbpro.app·22m·
Discuss: Hacker News
🖥Self-Hosting
Show HN: A New and comprehensive Vibe Coding web platform is here
hypeframe.ai·58m·
Discuss: Hacker News
🌐ActivityPub
FORTH? Really!?
rescrv.net·6d·
Discuss: Hacker News
🧩Parser Combinators
What Bleeds Through
futurisold.github.io·4d·
Discuss: Hacker News
❓Existential Types
Show HN: ListofDisks – hard drive price index across 7 retailers not just Amazon
news.ycombinator.com·39m·
Discuss: Hacker News
🍎Apple
Framing an LLM as a safety researcher changes its language, not its judgement
lab.fukami.eu·4d·
Discuss: Hacker News
🛡️seL4
Spike from July 2025: Creating a Programming Language using Coding Agents on GitHub
dsyme.net·4d·
Discuss: Hacker News
🔧DevOps
How StrongDM’s AI team build serious software without even looking at the code
simonwillison.net·5d·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
The control layer for AI
blog.dottxt.ai·5d·
Discuss: Hacker News
🧠Automated Reasoning
Eshaancoding/ad: Autodiff created in Python. Full ahead-of-time compiler. Reduces to ~12 simple operations. Multiple IRs (Graph IR --> Procedural IR). Kernel Fusion, Memory/Computation Optimization
github.com·3d·
Discuss: Hacker News
📐Linear Algebra

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help