Feeds to Scour
SubscribedAll
Scoured 18251 posts in 521.9 ms
Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging
arxiv.org·5d
🧪Property-Based Testing
CoLT: Reasoning with Chain of Latent Tool Calls
arxiv.org·4d
⚔️Lean Tactics
Functional Programming Bits in Python
martynassubonis.substack.com·6d·
Discuss: Substack, r/programming, r/webdev
🔗Functional Compilers
The Terminal: First Steps and Useful Commands for Python Developers
realpython.com·6d
📟Terminals
The Notepad++ supply chain attack — unnoticed execution chains and new IoCs
securelist.com·5d·
Discuss: Hacker News
💣ZIP Vulnerabilities
Evolution of the x86 context switch in Linux (2018)
maizure.org·5d·
Discuss: Hacker News
🔩Systems Programming
OpenScriptJs/modular-openscript: The OpenScriptJs Framework - Progressive, Lightweight JavaScript Frontend Framework for Artisans.
github.com·5d·
Discuss: Hacker News
🔓Open Source Software
Record AI coding sessions as replayable workflow recipes
buildlog.ai·5d·
Discuss: Hacker News
🔄Archival Workflows
Floppinux – An Embedded Linux on a Single Floppy, 2025 Edition
krzysztofjankowski.com·6d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
CodeSOD: A Percise Parser
thedailywtf.com·6d
🌳Incremental Parsing
Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing
news.ycombinator.com·5d·
Discuss: Hacker News
⚔️Lean Tactics
Verifying coding AIs for LLM powered software
aunhumano.com·5d·
Discuss: Hacker News
⚡Proof Automation
Small Projects
reddit.com·6d·
Discuss: r/golang
⚙️DIY Electronics
Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy
github.com·5d·
Discuss: Hacker News
🖥️Game Emulation
Building my self-hosted cloud coding agent
stanislas.blog·6d·
Discuss: Hacker News
🤖Network Automation
My Experience with Vibe Coding
haskellforall.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·6d·
Discuss: Hacker News
✅Formal Methods
LLMs as the new high level language
federicopereiro.com·6d·
Discuss: Lobsters, Hacker News
🧩WASM Components
Writing an Async Runtime in Rust
michaelhelvey.dev·6d·
Discuss: Lobsters, Hacker News
🔒Linear Types
Show HN: Orchestrate Claude Code CLI from GitHub
news.ycombinator.com·5d·
Discuss: Hacker News
🦀Rust Macros

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