Type Theory, Lambda Calculus, Semantics, Compiler Design

The value of close reading: Larry Summers edition
statmodeling.stat.columbia.eduยท17h
๐Ÿ”Static Analysis
Flag this post
now
yasmeenfahmy.comยท1d
๐Ÿฆ€Rust
Flag this post
Lessons from Hyperparam's year of open source data transformation
blog.hyperparam.appยท11hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Unicode Binary Input Terminal
hackaday.ioยท13hยท
Discuss: Hacker News
๐Ÿ’ปClaude
Flag this post
MiniMeters v1.0.21 - Vulkan (Linux), Memory Usage Improvements, Bug Fixes
directmusic.itch.ioยท11h
๐Ÿ”Static Analysis
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
future.forem.comยท3hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Fun-reliable side-channels for cross-container communication
h4x0r.orgยท1dยท
๐Ÿ”Static Analysis
Flag this post
I Read Sam Bhagwat's AI Agents Bible So You Don't Have to (But Probably Should)
kuber.studioยท2dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Algorithmic Optimization of Quantum Error Correction Codes via Constrained Bayesian Hyperparameter Tuning
dev.toยท3hยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
Looking for feedback on top down state machine in 3D
reddit.comยท1dยท
Discuss: r/godot
๐Ÿค–AI
Flag this post
The Three Ages of Data Science: When to Use Traditional Machine Learning, Deep Learning, or an LLM (Explained with One Example)
towardsdatascience.comยท2d
๐Ÿ”Static Analysis
Flag this post
How I Fixed My Broken Academic Workflow and Made Peace with Citations
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Nojoin - A self-hosted Call and Meeting Assistant Alternative to Otter, Jamie, etc.
github.comยท19hยท
Discuss: r/selfhosted
๐Ÿค–AI
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.comยท4d
๐Ÿ”„Concurrency Models
Flag this post
The Hard Truth About Learning to Code (That No One Tells You)
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Why Rust is Revolutionizing Game Development: Performance, Safety, and Future-Ready Code
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Provable Benefit of Curriculum in Transformer Tree-Reasoning Post-Training
arxiv.orgยท3d
๐Ÿ”„Concurrency Models
Flag this post
Walsh-Hadamard Neural Operators for Solving PDEs with Discontinuous Coefficients
arxiv.orgยท3d
๐ŸซOcaml
Flag this post