Do the simplest thing that could possibly work
seangoedecke.com·9h
💾Persistence Strategies
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
🔗Functional Compilers
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·1d
🦀Rust Macros
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·16h·
Discuss: Hacker News
📏Code Metrics
Disabling Self-Correction in Retrieval-Augmented Generation via Stealthy Retriever Poisoning
arxiv.org·5h
🔍BitFunnel
API Design 101: From Basics to Best Practices
javarevisited.substack.com·1d·
Discuss: Substack, r/programming
⚡gRPC
Go experiments with SIMD
golangweekly.com·1d
💧Liquid Types
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·1d
🧠Intelligence Compression
Chatting with Unmesh about building language with LLMs
martinfowler.com·1d
💻Programming languages
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·1d
🧮Theorem Proving
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·5h
🔍Vector Forensics
Generative Interfaces for Language Models
arxiv.org·1d
⚙️Parser Generators
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·1d
⚡Incremental Computation
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·5h
🎯Threat Hunting
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·22h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Data-Efficient Symbolic Regression via Foundation Model Distillation
arxiv.org·5h
✨Effect Handlers
Reloading classes in python and shared borders
andrewpwheeler.com·1d·
Discuss: Hacker News
🦀Rust Macros
Marisa Trie – Static memory-efficient Trie-like structure
github.com·9h·
Discuss: Hacker News
🌳Trie Structures