Enterprise Design Patterns: Building Scalable Applications
dev.to·1d·
Discuss: DEV
🔢Algebraic Datatypes
How We Reimagined SQL Query Building to Be Smarter, Safer, and Simpler (Introducing `mysql2-dx` v1.1.0)
npmjs.com·10h·
Discuss: DEV
🛡️Error Handling
I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·7h
📝Editor Buffers
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·6h·
🔮Lisp Interpreters
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·17h
⏭️Skip Lists
ECMAScript TC39 proposal-pattern-matching
github.com·7h·
Discuss: Hacker News
🎯Pattern Matching
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·17h
⚖️Inference Rules
What is Algebraic about Algebraic Effects?
interjectedfuture.com·5h
💫Effect Systems
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·8h·
Discuss: Hacker News
🌱Minimal Lisps
AI hardware reimagined for lower energy use
techxplore.com·8h
🔌Microcontrollers
The Shift from ML Engineering to AI Engineering
bryananthonio.com·3h·
Discuss: Hacker News
🔍ML Language
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·3d·
Discuss: DEV
🔗Unification
I built a business plan with ChatGPT and it turned into a cautionary tale
zdnet.com·3h
📈Earley Parsing
2-agent architecture: Separating context from execution in AI systems
infoworld.com·12h
🔄Subinterpreters
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📈Earley Parsing
SciML Agents: Write the Solver, Not the Solution
arxiv.org·17h
🔍ML Language
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🧮Theorem Provers
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·17h
🎲Parser Fuzzing