Feeds to Scour
SubscribedAll
Scoured 9157 posts in 244.1 ms
Exploring Homebrew for the Pokémon Mini
hackaday.com·1h
🔬Unikernels
Childhood trauma and genetics drive alcoholism at different life stages
psypost.org·1h
📚Automata Learning
Research team finds synthetic opioids in wastewater during Super Bowl and Mardi Gras celebrations in New Orleans
lsu.edu·1h
🩹Self-Healing Systems
The Secret Life of Python: The Safety Net ('try' and 'except')
dev.to·5d·
Discuss: DEV
🎮Verification Games
Monty: A minimal, secure Python interpreter written in Rust for use by AI
dev.to·5d·
Discuss: DEV
🏗️Dune
Human-like metacognitive skills will reduce LLM slop and aid alignment and capabilities
lesswrong.com·1h
📚Automata Learning
Claude's Constitution
lesswrong.com·1h
📐Hoare Logic
When LLMs get significantly worse: A statistical approach to detect model degradations
arxiv.org·15h
⏳LTL
Dyad 2.0: What Agentic AI means for the Future of Computer Languages - Blog
juliahub.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Specification Vibing for Automated Program Repair
arxiv.org·2d
🤖Program Synthesis
A party balloon shut down El Paso International Airport; estimated cost –$573k
log.jasongodfrey.info·1h·
Discuss: Hacker News
🧠Automated Reasoning
Beneficial health effects and possible health concerns of tea consumption a review
maxapress.com·1h·
Discuss: Hacker News
🕸️Graph Theory
Matplotlib Truce and Lessons Learned
crabby-rathbun.github.io·1h·
Discuss: Hacker News
➡️Category Theory
Show HN: Digital identity pages with traffic quality
thugg.lol·1h·
Discuss: Hacker News
🔒Protocol Verification
HDRify: True HDR image viewer, and tool set in pure JavaScript
hdrify.benhouston3d.com·1h·
Discuss: Hacker News
💾Retro Computing
iOS accessibility static analysis (25 WCAG rules)
accesslint.app·1h·
Discuss: Hacker News
⚙️Compiler Design
Multi-Channel AI Sales Agent for Outreach & Lead Generation
optareach.com·1h·
Discuss: Hacker News
🌐ActivityPub
Anthropic raises $30 billion in Series G funding at $380 billion post-money valuation
anthropic.com·1h·
Discuss: Hacker News
💻Apple Virtualization
Show HN: We Made Nasdaq Parsing Even Faster (and More Reliable)
lunyn.com·1h·
Discuss: Hacker News
📊Runtime Verification
Game sound effects for Claude Code
josepvidal.dev·1h·
Discuss: Hacker News
🎮Verification Games

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