Antiviral PPE for the Next Pandemic
hackaday.com·2h
📄Document Digitization
This Week in Bitcoin Core
insider.btcpp.dev·17h·
Discuss: Hacker News
📦CBOR Extensions
We Needed Better Cloud Storage for Python So We Built Obstore
developmentseed.org·1d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·10h
🔗Functional Compilers
Modelling Exactly-Once Delivery Using TLA+
medium.com·1d·
Discuss: Hacker News
⚙️TLA+
Individual URL compression experiment initial thoughts
notes.volution.ro·3h·
Discuss: Hacker News
📝Text Compression
Cache Me If You Can (2017)
queue.acm.org·13h·
Discuss: Hacker News
🌐IPFS
MCP Tools and Dependent Types
vlaaad.github.io·1d·
Discuss: Hacker News
💧Liquid Types
OneUptime – open-source observability platform
github.com·19h·
Discuss: Hacker News
🌊Streaming Systems
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·21h·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
Desync the Planet – Rsync Remote Code Execution
phrack.org·6h·
Discuss: Lobsters
🌳Archive Merkle Trees
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·1d
⚡Incremental Computation
Limitron – a minimal, lock-free, GC-friendly rate limiter for Go
reddit.com·1d·
Discuss: r/golang
🔒Linear Types
How I Made Ruby Faster Than Ruby
noteflakes.com·22h·
Discuss: Hacker News
🔧KAITAI
Stream Integration
feldera.com·18h·
Discuss: Hacker News
🌊Stream Processing
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·1d·
Discuss: Hacker News
🔄Migration Tools
Building InboxHiive: Event-Driven Podcast Newsletter Processing
engineering.akhilcjacob.com·11h·
Discuss: Hacker News
🌊Streaming Systems
MCP-Guard: A Defense Framework for Model Context Protocol Integrity in Large Language Model Applications
arxiv.org·1d
🧪CBOR Fuzzing
How I Cut Agentic Workflow Latency by 3-5x Without Increasing Model Costs
hackernoon.com·12h
⚙️Batch Processing
**Golang Memory Optimization: Reduce GC Pauses by 73% in High-Load Applications**
dev.to·2d·
Discuss: DEV
🔩Systems Programming