Getting notified from the command line
devtips.stribny.name·1h
📝Shell Parsing
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Programmable Web Apps
mleverything.substack.com·1h·
Discuss: Substack
🌐WASI
Let's Build a Hypervisor with KVM
evilcookie.de·5h·
Discuss: Hacker News
📺VT100 Emulation
Why JSON Prompts Are the Future of AI Automation
peerlist.io·10h·
Discuss: Hacker News
⚡Proof Automation
Memory optimizations to reduce CPU costs
ayende.com·3d·
Discuss: Hacker News
📝Text Compression
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·13h
🔄Archival Workflows
The Vibe Coding Paradox: Why You Need to Be a Better Developer, Not Worse
ksred.com·1h·
Discuss: Hacker News
📏Code Metrics
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·13h
🎙️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·3d·
Discuss: Hacker News
🔗Concatenative Languages
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·13h
🧮SMT Solvers
Study Buddy: AI-Powered Student Success Assistant
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
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
Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
arxiv.org·13h
🤖Grammar Induction
Capabilities of GPT-5 across critical domains: Is it the next breakthrough?
arxiv.org·13h
💻Programming languages