Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Spectral rendering, part 2: Real-time rendering
momentsingraphics.de·12h·
🔍Lens Libraries
Flag this post
Hierarchically defining bump and pin regions overcomes 3D IC complexity
semiwiki.com·18h
📦Compact Data
Flag this post
A New Approach to the Combination Problem
researchgate.net·10h·
Discuss: Hacker News
💫Effect Systems
Flag this post
LeJEPA: Provable and Scalable Self-Supervised Learning Without the Heuristics
arxiviq.substack.com·16h·
Discuss: Substack
🪜Recursive Descent
Flag this post
Discovering new solutions to century-old problems in fluid dynamics
deepmind.google·2h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Self-adapting LLMs behave more like students to absorb new knowledge
techxplore.com·1d
🪜Recursive Descent
Flag this post
Tableplot Tutorial: Customizing Plots with Parameter Substitution
clojurecivitas.github.io·3d
📇Symbol Tables
Flag this post
Using Custom Resources To Make Items, Creatures, Characters, Etc.
reddit.com·1d·
Discuss: r/godot
🏗️Custom Allocators
Flag this post
Guaranteeing Conservation of Integrals with Projection in Physics-Informed Neural Networks
arxiv.org·1d
🔄Loop Optimization
Flag this post
Django 5.2 (LTS) Upgrade Guide - Breaking Changes, New Features, and Why You Should Upgrade
dev.to·3h·
Discuss: DEV
🚚Code Migration
Flag this post
Create Your First MCP Tool: The readFile Tool Explained
dev.to·2d·
Discuss: DEV
📦Monorepos
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
Book review: “Build a DeepSeek Model (From Scratch)”
dev.to·6d·
Discuss: DEV
📋JSON Parsing
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·6h
🔍Lens Libraries
Flag this post
FaithAct: Faithfulness Planning and Acting in MLLMs
arxiv.org·2d
Gleam
Flag this post
Your Top 2026 Priority? Prepare Your Data for AI
thenewstack.io·19h
🎭Program Synthesis
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