Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·21h
🧠Automated Reasoning
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
American Catalysis
american-innocence.com·1h·
Discuss: Hacker News
⬜Minimalism
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🔍CBMC
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📚Automata Learning
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
qordinate.ai·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Generalized Consensus: Ordering Decisions
multigres.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
An intro to the Tensor Economics blog
lesswrong.com·3d
🔀OCaml Multicore
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·23h·
Discuss: Hacker News
🔤Language Design
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
wired.com·6h·
Discuss: Hacker News
🔗Curry-Howard
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Dependency Management in Database Design
dolthub.com·3d
📦Module Systems
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·1d·
Discuss: r/MachineLearning
🧮SMT Solvers
Flag this post