Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
The Emacs thread-related code needs a maintainer
lists.gnu.org·16h·
Discuss: Hacker News
🦀Rust Macros
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·21h
🧠Intelligence Compression
"If Cats Could Code", a FOSS Book on CS Concepts
github.com·4h·
Discuss: Hacker News
⚔️Lean Tactics
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Model Merging – A Biased Overview
crisostomi.github.io·9h·
Discuss: Hacker News
🔲Cellular Automata
Life, Intelligence, and Consciousness: A Functional Perspective
longnow.org·4h·
Discuss: Hacker News
🔲Cellular Automata
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·8h·
Discuss: Hacker News
📏Code Metrics
API Design 101: From Basics to Best Practices
javarevisited.substack.com·23h·
Discuss: Substack, r/programming
⚡gRPC
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·21h
🧮Theorem Proving
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·21h
⚡Incremental Computation
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·8h
🧠Machine Learning
Being Kind Isn't Always Being Safe: Diagnosing Affective Hallucination in LLMs
arxiv.org·1d
✨Effect Handlers
Nullable vs. Nullable in C#
einarwh.no·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·14h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Generative Interfaces for Language Models
arxiv.org·21h
⚙️Parser Generators