Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Hierarchically defining bump and pin regions overcomes 3D IC complexity
semiwiki.com·14h
📦Compact Data
Flag this post
A New Approach to the Combination Problem
researchgate.net·5h·
Discuss: Hacker News
💫Effect Systems
Flag this post
LeJEPA: Provable and Scalable Self-Supervised Learning Without the Heuristics
arxiviq.substack.com·12h·
Discuss: Substack
🪜Recursive Descent
Flag this post
Deriving Born's rule from Spacetime symmetries
zenodo.org·1d·
Discuss: Hacker News
Fusion Laws
Flag this post
Self-adapting LLMs behave more like students to absorb new knowledge
techxplore.com·1d
🪜Recursive Descent
Flag this post
Do you agree with Hinton's AI risk outlook?
livnlearns.com·10h·
Discuss: Hacker News
🎭Program Synthesis
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
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·1d·
Discuss: DEV
🔧Error Recovery
Flag this post
GoREST is dead...
dev.to·1d·
Discuss: DEV
📦Monorepos
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·1h
🔍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·5d·
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·22h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Toolset and Its Effect on Productivity: How Language, Framework, and IDE Shape Developer Efficiency
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Enabling Agents to Communicate Entirely in Latent Space
arxiv.org·1d
Gleam
Flag this post