🎁 Monads

Functors, Applicatives, Bind Operation, Do Notation

Cast(x AS STRING) casts to integer in SQLite
lalitm.com·2h·
Discuss: Lobsters, Hacker News
🎯GADT
Flag this post
Open Sourcing Kubetorch
run.house·1h·
Discuss: Hacker News
⎈Kubernetes
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·11h·
Discuss: Hacker News
👁️Observability
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·2d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·12h
📚Automata Learning
Flag this post
Rdza – Rust Programming, in Polish
github.com·3d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
This is one way I use AI for coding
dev.to·3h·
Discuss: DEV
🧮Z3 Solver
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·19h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·8h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Down with template (or not)!
cedardb.com·3d·
Discuss: Hacker News, r/cpp, r/programming
🎯GADT
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
AstuteRAG-FQA: Task-Aware Retrieval-Augmented Generation Framework for Proprietary Data Challenges in Financial Question Answering
arxiv.org·12h
🧩Parser Combinators
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·3d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
DDD and the Simplicity Gospel
oluatte.com·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·21h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·12h
📝Term Rewriting
Flag this post
How to access and use Minimax M2 API
dev.to·12h·
Discuss: DEV
🐳Containerization
Flag this post
AI and Emotional Forecasting: Predicting Consumer Sentiment for Smarter Marketing
dev.to·1h·
Discuss: DEV
🔁Fixed-Point Theory
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·1d·
Discuss: DEV
🔤Kleene Algebra
Flag this post