Type Theory, Lambda Calculus, Semantics, Compiler Design

The AI surveillance state isn’t coming. It’s here
qz.com·6h
🐫Ocaml
Flag this post
Wednesday open line
arktimes.com·6h
🦀Rust
Flag this post
Need help automating a website to test all product + ingredient combinations (Schedule1 Calculator)
schedule1-calculator.com·20h·
Discuss: r/programming
🤖AI
Flag this post
How I Learned That I Don't Feel Companionate Love
lesswrong.com·1d
🐫Ocaml
Flag this post
Different Ways to Count
github.com·2d·
Discuss: DEV
🔍Static Analysis
Flag this post
A Magical Studies Research Report on Paxos
dev.to·16h·
Discuss: DEV
🔄Concurrency Models
Flag this post
Please, Don't Roll Your Own Metaethics
lesswrong.com·6h
🔄Concurrency Models
Flag this post
Are AI time horizons inherently superexponential?
lesswrong.com·54m
🤖AI
Flag this post
apk-info: a full-featured apk parser
reddit.com·6h·
Discuss: r/rust
🔍Static Analysis
Flag this post
The PowerShell Manifesto Radicalized Me
medium.com·1d·
📐formal specification
Flag this post
Why Unifying AI Tools Is Suddenly Critical?
hackernoon.com·1d
🤖AI
Flag this post
Meta’s SPICE framework lets AI systems teach themselves to reason
venturebeat.com·1d
🪜Scala
Flag this post
I Built an App That Makes Learning Algorithms Way Easier
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
Accelerated Reliability Prediction via Bayesian Network Ensemble and Accelerated Lifecycle Testing (BN-ALT)
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
Tech With Tim: Python for Machine Learning - Complete Roadmap!
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
The Art of Absence: A Journey Through `null` and `undefined` in Default Parameters
dev.to·3d·
Discuss: DEV
🪜Scala
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·6h·
Discuss: DEV
🤖AI
Flag this post
How I learned to “use AI” in 3 baby steps
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
What I learned building a language-learning app
lesswrong.com·2d
🪜Scala
Flag this post