The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
On systematic construction of correct logic programs
arxiv.org·21h
⚖️Hoare Logic
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·10h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Teaching programming languages
kmjn.org·1d
💻Programming languages
The Coding Agent Metagame
calv.info·9h·
Discuss: Hacker News
🦀Rust Macros
Mojo Vision
docs.modular.com·20h·
Discuss: Hacker News
🔩Systems Programming
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·21h
🧠Machine Learning
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·9h
🔄Reproducible Builds
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·12h
🎯Gradual Typing
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·9h
⬆️Lambda Lifting
Chatting with Unmesh about building language with LLMs
martinfowler.com·11h
💻Programming languages
Signal Relays
pzuraq.com·4d·
Discuss: Hacker News
✨Effect Handlers
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·10h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·21h
✨Algebraic Effects
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
Paradigms of Intelligence Team
github.com·11h·
Discuss: Hacker News
🔲Cellular Automata