Feeds to Scour
SubscribedAll
Scoured 23121 posts in 699.2 ms
Debugger Dedicated to Embedded Systems
hackster.io·2d
🔍RISC-V Debug
CE.SDK v1.68 Release Notes
img.ly·2d
📜Proof Carrying Code
Writing a new worker task for Debusine (by Carles Pina i Estany)
freexian.com·2d
🦀Rust Macros
Microsoft boffins figured out how to break LLM safety guardrails with one simple prompt
theregister.com·2d
🧪Protocol Fuzzing
So we have any for interface{} and nil
reddit.com·4d·
Discuss: r/golang
⚖️Hoare Logic
Showcase: "act" - A lightweight Go library for cleaner error handling - my take on the Go error handling discussion
reddit.com·4d·
Discuss: r/golang
📜Proof Carrying Code
Building a Fake News Kill Chain with VeraSnap and CPP — Full Implementation from Capture to Verification
dev.to·5d·
Discuss: DEV
🌳Archive Merkle Trees
CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide
dev.to·5d·
Discuss: DEV
🌳Archive Merkle Trees
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·2d
🔗Functional Compilers
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·1d
🔗Concatenative Programming
The Styx Architecture for Distributed Systems (1999)
inferno-os.org·2d·
Discuss: Hacker News
📡Network Protocol Design
Why JavaScript Needs Structured Concurrency | Blog
frontside.com·2d·
Discuss: Hacker News, r/javascript
🐚Bash Combinators
SecretSpec 0.7: Declarative Secret Generation
devenv.sh·3d·
Discuss: Lobsters, Hacker News, r/NixOS, r/programming
🦠Parasitic Archives
Solene'% : Declaratively manage containers on Linux
dataswamp.org·2d·
Discuss: Hacker News
📦Container Security
Relay Lang – Async first programming language
harrisonerd.com·2d·
Discuss: Hacker News
🌐Protocol Synthesis
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·3d·
Discuss: Hacker News
💻Programming languages
The Potential of RLMs
dbreunig.com·2d·
Discuss: Hacker News
📏Linear Logic
Code only says what it does
brooker.co.za·4d·
Discuss: Hacker News
📜Proof Carrying Code
Mathematical Resolution of P vs NP through Informational Noise Subtraction and Linear O(n) Mapping
zenodo.org·4d·
Discuss: Hacker News
🎯Performance Proofs
Software Factories and the Agentic Moment
factory.strongdm.ai·4d·
Discuss: Hacker News
🔐Capability Systems

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