Programming languages and dimensions of units of measure
cl.cam.ac.uk·1d·
Discuss: Hacker News
💻Programming languages
Solving Pasur Using GPU-Accelerated Counterfactual Regret Minimization
arxiv.org·15h
🔲Cellular Automata
Song recommendations with free monads
blog.ploeh.dk·1d
🐚Shell Monads
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·15h·
Discuss: Hacker News
🧠Lisp Dialects
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·5h
📏Linear Logic
In Order Traversal in Haskell and Rust
mmhaskell.com·1d·
Discuss: Hacker News
🦀Rust Verification
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·6h
🔢Denotational Semantics
🛠 Type‑Safe DSLs in Go — No Magic, Just Go ⚡
dev.to·14h·
Discuss: DEV
🌐Protocol Synthesis
Unducking Typescript primitive aliases
zerotrickpony.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
OCaml Blockly
cambridge.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
Design Review: LattePanda Mu NAS Carrier
hackaday.com·2h
⚡Circuit Archaeology
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Typescript and Gemini evil mode
markjgsmith.com·2d
🎯Gradual Typing
Finding MLB Player Types with K-Means Clustering
runningonnumbers.com·4h·
Discuss: Hacker News
🌊Spectral Clustering
Show HN: Building a web search engine from scratch with 3B neural embeddings
blog.wilsonl.in·3h·
Discuss: Hacker News
🔍Semantic Search
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·14h·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Enhanced Receptor Tyrosine Kinase (RTK) Signal Deciphering via Multi-Modal Adaptive Network (SMAN)
dev.to·3h·
Discuss: DEV
🧠Machine Learning
Lambdas, Nested Functions, and Blocks
thephd.dev·20h·
Discuss: Hacker News
🐚Shell Combinators
Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
arxiv.org·15h
💻Local LLMs
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·5h·
Discuss: Hacker News
🧠Computational Logic