Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

How number systems shape our thinking, and what this means for learning, language and culture
theconversation.com·13h
🔬Nanopasses
Flag this post
Comparing Integers and Doubles
databasearchitects.blogspot.com·1d·
🔢Algebraic Datatypes
Flag this post
How to Fix Breakdowns in Communication
themarginalian.org·5h
🔗Concatenative Theory
Flag this post
The Continuum of Network Architecture
cacm.acm.org·8h
📡Protocol Stacks
Flag this post
Maestro: Learning to Collaborate via Conditional Listwise Policy Optimization for Multi-Agent LLMs
arxiv.org·23h
🎭Racket
Flag this post
How to use Claude Code for big tasks without turning your code to shit
holdtherobot.com·1d·
Discuss: Hacker News
🚀Code Motion
Flag this post
The dawn of the AI-native database
infoworld.com·19h
↔️Bidirectional Sync
Flag this post
The Future of AI: Context Engineering in 2025 and Beyond
dev.to·2h·
Discuss: DEV
💬Smalltalk VMs
Flag this post
Seeing Shapes: Unveiling Neural Network Vision with Fourier Geometry by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔢Algebraic Datatypes
Flag this post
My go-to prompt for legacy code exploration
leftofthe.dev·1d·
Discuss: Hacker News
🏺Code Archeology
Flag this post
How To Make A Custom Type Iterable In Rust.
dev.to·7h·
Discuss: DEV
🔗Borrowing Extensions
Flag this post
Agentic AI Design Patterns
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Book review: “Build a DeepSeek Model (From Scratch)”
dev.to·3d·
Discuss: DEV
📋JSON Parsing
Flag this post
A Production LLMOps Architecture for Snowflake
dev.to·4h·
Discuss: DEV
🛡️Capability VMs
Flag this post
FoCLIP: A Feature-Space Misalignment Framework for CLIP-Based Image Manipulation and Detection
arxiv.org·23h
🔍Lens Libraries
Flag this post
Designing Blockchain #2: Accounts and State
dev.to·14h·
Discuss: DEV
🌳Persistent Data
Flag this post
Simplex-FEM Networks (SiFEN): Learning A Triangulated Function Approximator
arxiv.org·1d
🔢Algebraic Datatypes
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·1d
🏗️MLIR
Flag this post
Adam symmetry theorem: characterization of the convergence of the stochastic Adam optimizer
arxiv.org·23h
🪜Recursive Descent
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·1d
Partial Evaluation
Flag this post