Kurgan Hypothesis
en.wikipedia.org·10h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The Abode of Salvation
rohanparanjpe.substack.com·23h·
Discuss: Substack
🔲Cellular Automata
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
The case against boolean logic
abuseofnotation.github.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Bold Devlog - October Summary
bold-edit.com·9h·
Discuss: r/programming
🔬Static Analysis
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Asking Paul Fussell for Writing Advice
lesswrong.com·18h
❓Existential Types
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·20h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Show HN: Farseer, rust rewrite of prophet with some extra goodies
ryanbieber.github.io·17h·
Discuss: Hacker News
🔧ppx
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·13h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·1d
📐Linear Algebra
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·6h
⏱️Computational Complexity
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·3h·
Discuss: Hacker News
📦Opam
Flag this post
A prvalue is not a temporary
blog.knatten.org·1d·
Discuss: Hacker News, r/cpp
🎯GADT
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·12h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Evidence on language model consciousness
lesswrong.com·17h
📚Automata Learning
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·5h·
Discuss: DEV
📊Runtime Verification
Flag this post