Cactus Language • Semantics 1
inquiryintoinquiry.com·50m
🔢Denotational Semantics
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·50m
🎯Gradual Typing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·12h
🧮SMT Solvers
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·10h
📏Code Metrics
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·1h·
🧩SQLite Extensions
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·9h
⬆️Lambda Lifting
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·1d·
Discuss: Hacker News
Dependent Rust
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·17h·
Discuss: DEV
🔌Interface Evolution
A grand week
blog.mitrichev.ch·1d·
🧮SMT Solvers
Functional Threading “Macros”
aartaka.me·1d
🧠Lisp Dialects
Issue 492
haskellweekly.news·4d·
Discuss: Hacker News
🔗Functional Compilers
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·2d
🔀Category Theory
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·6h·
Discuss: Hacker News
🧮Theoretical Computer Science
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Seriously Testing LLMs
satisfice.com·15h
🔍Concolic Testing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·21h·
Discuss: Hacker News
🧮Algebraic Datatypes
Adventures on the AI Coding side of things
medium.com·8h·
Discuss: Hacker News
🌍Cultural Algorithms
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·2d
🔗Functional Compilers