Feeds to Scour
SubscribedAll
Scoured 8575 posts in 162.3 ms
Can Hardware Save Us from Software?
lesswrong.com·3d
🔧Microcontrollers
Efficiency and Performance
dev.to·5d·
Discuss: DEV
🔤DSLs
State of Scala 2026
devnewsletter.com·2d·
Discuss: r/programming
📦Opam
What Does The Sonatype 2026 State of the Software Supply Chain Report Reveal?
i-programmer.info·2d·
Discuss: r/devops, r/programming
🔄Reproducible Builds
The middle ground between canonical models and data mesh
frederickvanbrabant.com·2d·
Discuss: r/programming
🔢Algebraic Data Types
Stop Testing Attacks, Start Diagnosing Defenses: The Four-Checkpoint Framework Reveals Where LLM Safety Breaks
arxiv.org·1d
🛡️seL4
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org·1d
📐Hoare Logic
Kaoru Pairs A Novel Parallel Readout Architecture via Software-Level Transistor Grouping
zenodo.org·2d·
Discuss: Hacker News
🔧Unikernel Development
PicoClaw ultra-lightweight personal AI Assistant run on just 10MB of RAM
cnx-software.com·2d·
Discuss: Hacker News
🔬Unikernels
How the GNU C Compiler became the Clippy of cryptography
theregister.com·3d·
Discuss: Hacker News, r/programming
🏃Escape Analysis
Relay Lang – Async first programming language
harrisonerd.com·2d·
Discuss: Hacker News
🌐Network Protocols
I vibecoded a production grade internationalization library in 2 days
sklivvz.com·3d·
Discuss: Hacker News
⚙️Compiler Design
Show HN: ClawKit｜Open-source toolkit to configure and debug OpenClaw AI agents
getclawkit.com·2d·
Discuss: Hacker News
🌐ActivityPub
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·5d·
Discuss: Hacker News
⚙️Compiler Design
Finding My Spark Again: A Month with Codex
dragsbaek.tech·3d·
Discuss: Hacker News
🔧DevOps
Learnings from Creating a GUI Library
blog.s-schoener.com·3d·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Property-based testing as executable specs for agentic coding
kiro.dev·2d·
Discuss: Hacker News
🧪Property-Based Testing
CSCI 49201 - Functional Programming in OCaml
a-nikolaev.github.io·6d·
Discuss: Hacker News
🐫OCaml
We hid backdoors in binaries – Opus 4.6 found 49% of them
quesma.com·2d·
Discuss: Hacker News, Hacker News, r/ClaudeAI, r/programming
🔬Reverse Engineering
The Potential of RLMs
dbreunig.com·2d·
Discuss: Hacker News
⏳LTL

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