Feeds to Scour
SubscribedAll
Scoured 16050 posts in 185.3 ms
Clean Code in the AI Era
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
The GNU C Library version 2.43 is now available
sourceware.org·9h·
Discuss: Hacker News
🔗Static Linking
Preview
Report Post
Zero knowledge proof of a product
johndcook.com·7h
🔱Galois Cryptography
Preview
Report Post
"Integrity by Design" through Ensuring "Illegal States are Unrepresentable" - Part 1
javajanitorjim.substack.com·2h·
Discuss: Substack
✅Format Verification
Preview
Report Post
Structured Hints for Sample-Efficient Lean Theorem Proving
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
TI-99/4A: Hybrid Software Development
bumbershootsoft.wordpress.com·3h
🔩Systems Programming
Preview
Report Post
Lisp Coding Standards v1.0
franz.com·2d·
Discuss: Hacker News
🔗Lisp
Preview
Report Post
Michael Tsai - Blog - Improving the Usability of C Libraries in Swift
mjtsai.com·23h
🔗Functional Compilers
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·3d
📊Static Analysis
Preview
Report Post
DASL: Big DASL (BDASL)
dasl.ing·19h
📋DFDL
Preview
Report Post
**Abstract:** This paper presents a novel framework for the automated formal verification of distributed consensus protocols, essential for the reliability o...
freederia.com·1d
🤝Distributed Consensus
Preview
Report Post
Show HN: AI Lint – Teach coding agents your team's standards, not just syntax
news.ycombinator.com·14h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·1d
💧Liquid Types
Preview
Report Post
Hello World! I'm Back to Blogging!
yihui.org·1d
🌀Brotli Internals
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·3d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Glibc 2.43 Released With ISO C23 Features and Performance Improvements
linuxiac.com·1h
🔗Static Linking
Preview
Report Post
Port of Context: The open source code mode
thenewstack.io·4h
🤖Network Automation
Preview
Report Post
Defeating Anti-Reverse Engineering: A Deep Dive into the ‘Trouble’ Binary
binary.ninja·1d
🔬Binary Analysis
Preview
Report Post
Malicious PyPI Packages Spellcheckpy and Spellcheckerpy Deliver Python Rat
aikido.dev·12h·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
rust-lang/rust 1.93.0
github.com·2d
🦀Rust Macros
Preview
Report Post

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