Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Project MiniNAS
jadarma.github.io·13m·
Discuss: Hacker News
💿ZFS Archaeology
Let's Build a Hypervisor with KVM
evilcookie.de·12h·
Discuss: Hacker News
📺VT100 Emulation
I've always wanted to be an open-source maintainer- now I regret it
joaomagfreitas.link·1h·
Discuss: Hacker News
🚀Indie Hacking
Why JSON Prompts Are the Future of AI Automation
peerlist.io·17h·
Discuss: Hacker News
⚡Proof Automation
How we oops-proofed infrastructure deletion on Railway
blog.railway.com·1d·
Discuss: Hacker News
📋PREMIS Events
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·6d·
Discuss: Hacker News
📝Concrete Syntax
The Performance Spectrum
mropert.github.io·1d·
Discuss: Hacker News
🔩Systems Programming
Orchid: Orchestrating Context Across Creative Workflows with Generative AI
arxiv.org·20h
🔄Archival Workflows
Memory optimizations to reduce CPU costs
ayende.com·3d·
Discuss: Hacker News
📝Text Compression
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·1d
🧠Intelligence Compression
NLKI: A lightweight Natural Language Knowledge Integration Framework for Improving Small VLMs in Commonsense VQA Tasks
arxiv.org·20h
🎙️Whisper
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·1d·
Discuss: Substack
🏗️Compiler Archaeology
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·4d·
Discuss: Hacker News
🔗Concatenative Languages
No AI Silver Bullet
smartmic.bearblog.dev·4h·
Discuss: Hacker News
📏Code Metrics
Programmable Web Apps
mleverything.substack.com·8h·
Discuss: Substack
🌐WASI
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·20h
🧮SMT Solvers
The Vibe Coding Paradox: Why You Need to Be a Better Developer, Not Worse
ksred.com·8h·
Discuss: Hacker News
📏Code Metrics
C++ or Rust: Differences Explained
harshal.is-cool.dev·1d·
Discuss: Hacker News
🔩Systems Programming
RLMR: Reinforcement Learning with Mixed Rewards for Creative Writing
arxiv.org·1d
🔲Cellular Automata