Feeds to Scour
SubscribedAll
Scoured 16055 posts in 143.4 ms
Show HN: BackBuild – A framework for sequencing complex software delivery
arcaned.co·3d·
Discuss: Hacker News
⚙️Build Archaeology
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
Contract-First APIs: How OpenAPI Becomes Your Single Source of Truth
hackernoon.com·1d
🌊Streaming Systems
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·3d
⚖️Verification Calculi
Preview
Report Post
Python CI/CD Pipeline Automation: From Code to Production in 5 Essential Steps
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
CPNs, LLMs, and Distributed Applications
blog.sao.dev·3h·
Discuss: Hacker News
🌊Stream Processing
Preview
Report Post
Glibc 2.43 Released With ISO C23 Features and Performance Improvements
linuxiac.com·1h
🔗Static Linking
Preview
Report Post
MedUnes/dtrack-cli: A Go-based CLI tool to automate the upload and lifecycle management of Software Bill of Materials (SBOM) in OWASP Dependency-Track.
github.com·2h·
Discuss: Hacker News
📦Package Managers
Preview
Report Post
How to pick a vibe coding project you can actually finish
nothingeasyaboutthis.com·1d
⚙️Build Archaeology
Preview
Report Post
FOSDEM 2026 schedule – Embedded, RISC-V, Robotics, Rust, Open Hardware, and more
cnx-software.com·16h
🧲RISC-V Archaeology
Preview
Report Post
Show HN: repro.fyi
repro.fyi·8h·
Discuss: Hacker News
🔓Reverse engineering
Preview
Report Post
Distributed apps platform Aspire supports JavaScript, Python
thenewstack.io·6h
🔓Open Source Software
Preview
Report Post
Post-Agentic Code Forges
sluongng.substack.com·1d·
Discuss: Substack
⚙️Proof Engineering
Preview
Report Post
From WAL to WASM - High-Performance Local-First Sync with Postgres & SQLite
bdovenbird.com·5h·
Discuss: DEV
📝Database WAL
Preview
Report Post
In praise of memory-leak-detection
euroquis.nl·1d
🧠Memory Allocators
Preview
Report Post
Automated code review tools
reddit.com·1d·
Discuss: r/golang
⚡Proof Automation
Preview
Report Post
Microsoft-Tsinghua team trains 7B coding model that beats 14B rivals using only synthetic data
the-decoder.com·13h
📏Code Metrics
Preview
Report Post
The Five Levels: from Spicy Autocomplete to the Software Factory
werd.io·1d
🔄Language Evolution
Preview
Report Post
You Can't Fake Object Storage: Multi-Protocol Promised Everything, Delivered Compromise
blog.min.io·1d
🌐Edge Preservation
Preview
Report Post
Dataview Serializer 2.0: Powerful Queries Without Sacrificing Data Portability
dsebastien.net·7h
🔗Archive Combinators
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