Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

M2dir specification - man.sr.ht
man.sr.ht·19h
📁File Systems
Flag this post
isomap
alechelbling.com·2d
📐Succinct Data Structures
Flag this post
devlog: garbage collection is useful
dubroy.com·3d·
🗑️Garbage Collection
Flag this post
Explorable explorable explanations
blog.khinsen.net·5d
💬Interactive REPLs
Flag this post
A Legal Classification for Large Language Models
zdziarski.com·3d
🔍ML Language
Flag this post
Spring Modulith vs Multi-Module projects - advantages and disadvantages
dev.to·2d·
Discuss: DEV
📦Package Managers
Flag this post
A modern library for frame-based communication.
github.com·7h·
Discuss: r/cpp
📡Protocol Parsers
Flag this post
Death’s Job Game
dev.to·7h·
Discuss: DEV
Live Coding
Flag this post
xiaorouji/openwrt-passwall2
github.com·3d
🔐Ownership Types
Flag this post
Claude Code for Web Ruined My Brain (Paul Ford)
aboard.com·3d·
Discuss: Hacker News
Live Coding
Flag this post
Tales from the pit: AI and the software engineer
theregister.com·2d
🎭Program Synthesis
Flag this post
Local model for creative writing with MCP.
reddit.com·1d·
Discuss: r/LocalLLaMA
🌙Lua
Flag this post
Build an Environment that Allows Mistakes
spin.atomicobject.com·1d
🚂Error Propagation
Flag this post
What's the best way to set up an event/encounter system? Is this a time for Resources?
reddit.com·1d·
Discuss: r/godot
🎭Erlang OTP
Flag this post
Running AI locally and... oh...
reddit.com·2d·
Discuss: r/selfhosted
🌱Forth Kernels
Flag this post
AI Agents vs AI Workflows: Why 95% of Production Systems Choose Workflows
pub.towardsai.net·1d
🎭Program Synthesis
Flag this post
Improve Contrastive Clustering Performance by Multiple Fusing-Augmenting ViT Blocks
arxiv.org·3d
Effect Inference
Flag this post
BIGRAM LANGUAGE MODELS USING A NEURAL NET
dev.to·2d·
Discuss: DEV
🪜Recursive Descent
Flag this post
How many of you are software engineers for a living? How do you code for work and for fun?
reddit.com·7h·
Discuss: r/gamedev
🎮Language Ergonomics
Flag this post
The Factory Method Pattern: The Secret Behind Scalable Code
dev.to·4d·
Discuss: DEV
🤖Code Generation
Flag this post