Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·11h·
Discuss: DEV
⚡SMT Integration
Functional Threading “Macros”
aartaka.me·18h
🧠Lisp Dialects
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·9h·
Discuss: Hacker News
🕸️Knowledge Graphs
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·13h·
Discuss: Hacker News
📝Concrete Syntax
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Atomic and Saturated Models
functor.network·1d·
Discuss: Hacker News
🔢Denotational Semantics
Issue 492
haskellweekly.news·3d·
Discuss: Hacker News
🔗Functional Compilers
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·5d·
Discuss: Lobsters
🔗Functional Compilers
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·12h·
Discuss: Hacker News
⚡Dependent Rust
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·3d
🔧Binary Parsers
Property-based testing of batch-invariant operations
mmaaz.ca·1h·
Discuss: Hacker News
🧪Property-Based Testing
[D] Blog Post: 6 Things I hate about SHAP as a Maintainer
reddit.com·6h·
Discuss: r/MachineLearning
✨Effect Handlers
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔀Category Theory
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·8h·
Discuss: Hacker News
💻Programming languages
Eliminating the Precision–Latency Trade-Off in Large-Scale RAG
thenewstack.io·2d
🎯Retrieval Systems
A grand week
blog.mitrichev.ch·10h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Four years, Five failures, One compiler
daymare.net·15h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
How Much Should You Tell Your AI Agent?
raymondyxu.com·6h·
Discuss: Hacker News
⚡Proof Automation
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·2d
🔗Functional Compilers