Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·14h
🧠Machine Learning
The Lobster Programming Language
strlen.com·23h·
Discuss: Hacker News
🔗Concatenative Programming
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Minimal Multi-Stage Form Wizard with AI Review
dev.to·1h·
Discuss: DEV
✨Effect Handlers
Teaching programming languages
kmjn.org·1d
💻Programming languages
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·4h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Chatting with Unmesh about building language with LLMs
martinfowler.com·5h
💻Programming languages
The Coding Agent Metagame
calv.info·3h·
Discuss: Hacker News
🦀Rust Macros
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·2h
⬆️Lambda Lifting
Mojo Vision
docs.modular.com·14h·
Discuss: Hacker News
🔩Systems Programming
On systematic construction of correct logic programs
arxiv.org·14h
⚖️Hoare Logic
Signal Relays
pzuraq.com·4d·
Discuss: Hacker News
✨Effect Handlers
Guessing Game: Haskell Style
entropicthoughts.com·20h
👑Dependent Haskell
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·12h
🔗Concatenative Programming
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·2h
🔄Reproducible Builds
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·6h
🎯Gradual Typing
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·4h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·4h
📐Geometric Hashing
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·14h
✨Algebraic Effects
Structural vs. Mathematical “Under” (2023)
dyalog.com·18h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus