Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Spectral rendering, part 2: Real-time rendering
momentsingraphics.de·14h·
🔍Lens Libraries
Flag this post
A New Approach to the Combination Problem
researchgate.net·12h·
Discuss: Hacker News
💫Effect Systems
Flag this post
Scaling HNSWs
antirez.com·3d·
🔄Copy Propagation
Flag this post
The Historical Position of Large Language Models – and What Comes After Them
news.ycombinator.com·8h·
Discuss: Hacker News
🏗️MLIR
Flag this post
Top 5 Agentic Coding CLI Tools
kdnuggets.com·1d
Live Coding
Flag this post
New Proofs Probe Soap-Film Singularities
quantamagazine.org·1d·
Discuss: Hacker News
Fusion Laws
Flag this post
Show HN: Oratio – Natural language programming that expands itself with AI
github.com·1d·
Discuss: Hacker News
🌉Cross-Language Tools
Flag this post
When You Should “Wet” Your Code: Why Blindly Following DRY Can Hurt Your Project
dev.to·2d·
Discuss: DEV
🚂Error Propagation
Flag this post
Django 5.2 (LTS) Upgrade Guide - Breaking Changes, New Features, and Why You Should Upgrade
dev.to·5h·
Discuss: DEV
🚚Code Migration
Flag this post
Code legacy: Analyzing Erlang's C and C++ modules that have been running for decades
dev.to·2d·
Discuss: DEV
🔧Error Recovery
Flag this post
Who Are We in This Universe?
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Analysing Environmental Efficiency in AI for X-Ray Diagnosis
arxiv.org·2d
Effect Inference
Flag this post
Productive amount of abstraction
reddit.com·1d·
Discuss: r/godot
🔪Program Slicing
Flag this post
HeatV2X: Scalable Heterogeneous Collaborative Perception via Efficient Alignment and Interaction
arxiv.org·8h
🔍Lens Libraries
Flag this post
FaithAct: Faithfulness Planning and Acting in MLLMs
arxiv.org·2d
Gleam
Flag this post
Book review: “Build a DeepSeek Model (From Scratch)”
dev.to·6d·
Discuss: DEV
📋JSON Parsing
Flag this post
Your Agent is finally able to "breathe freely"! How does M2 solve the biggest cost problem for AI?
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Enabling Agents to Communicate Entirely in Latent Space
arxiv.org·1d
Gleam
Flag this post