Feeds to Scour
SubscribedAll
Scoured 23838 posts in 293.4 ms
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·4h
🐚Shell Combinators
Proving Grounds Linux Box Extplorer ( Road to OSCP )
infosecwriteups.com
·1d
🏠Homelab Pentesting
Reducing Technical Debt: Top Five Coding Resources
loufranco.com·2d
📏Code Metrics
Fragments: February 9
martinfowler.com·2d
🗣️Domain-Specific Languages
Can AI Code for Vintage?
sparcie.wordpress.com·14h
🏗️Compiler Archaeology
Garnix Blog: Forwardly-evaluated build systems
garnix.io·15h·
Discuss: Lobsters
❄️Nix Flakes
Deferred member initialization in C++
sandordargo.com·1d·
Discuss: Lobsters
🦀Rust Borrowing
Deploying Rust to production checklist
kerkour.com·20h·
Discuss: Hacker News
🦀Rust Borrowing
TDD Is Backwards: Why Assertions Should Come First in Disruptive Development
hackernoon.com·2d
🧪Property-Based Testing
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·1d
🔗Functional Compilers
Nobody Gets There Alone: We Need A Community Roadmap for Agentic Engineering
hackernoon.com·17h
🔌Interface Evolution
Dynamical sequences: closure properties and automatic identity proving
arxiv.org·1d
🎯Performance Proofs
Building DamN64: LLM-Assisted N64 Development
vieux.fr·7h·
Discuss: Hacker News
🎮Game Decompilation
Tool Shaped Objects
minutes.substack.com·1h·
Discuss: Substack
⚡Proof Automation
AGI v1.0 Will Be Harness and Skills
languageops.com·14h·
Discuss: Hacker News
🔐Capability Systems
Domain Knowledge Is the New Syntax
blog.melashri.net·2d·
Discuss: Hacker News
📏Code Metrics
Recursive self-improvement from AI models
marginalrevolution.com·1d·
Discuss: Hacker News
⚡Incremental Computation
The Real Bottleneck: Why Faster Coding Doesn't Speed Up Projects
heise.de·12h·
Discuss: Hacker News
📏Code Metrics
What Functional Programmers Get Wrong About Systems
iankduncan.com·2d·
Discuss: Lobsters, Hacker News, r/programming
⚖️Verification Calculi
Show HN: Claude has a compiler, I have SlopScript
slopscript.netlify.app·3d·
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