🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

<p>Small DevLog update today. Continuing to work on that Godot game. I got the bulk of the mechanics of level 2-1 built (it still needs dressing up), and I spen...
lmika.org·3h
🐹Minimal Go
Time Traveling Your AI Context
colinplamondon.substack.com·1h·
Discuss: Substack
🎲Parser Fuzzing
PTQTP: Post-Training Quantization to Trit-Planes for Large Language Models
arxiv.org·11h
⚡Tokenizer Optimization
Risk Comparisons in Linear Regression: Implicit Regularization Dominates Explicit Regularization
arxiv.org·11h
🪜Recursive Descent
Automated Conformance Assessment of Smart Grid Device Profiles via Graph Neural Networks
dev.to·15h·
Discuss: DEV
👑Dominator Analysis
Trainee Action Recognition through Interaction Analysis in CCATT Mixed-Reality Training
arxiv.org·11h
🏗️MLIR
Program Synthesis via Test-Time Transduction
arxiv.org·11h
🎭Program Synthesis
Interpretable Clinical Classification with Kolgomorov-Arnold Networks
arxiv.org·11h
🌱Minimal ML
Adaptive Overclocking: Dynamic Control of Thinking Path Length via Real-Time Reasoning Signals
arxiv.org·11h
🎯CPU Dispatch
Computational Analysis of Conversation Dynamics through Participant Responsivity
arxiv.org·11h
🔬programming language theory
DragOSM: Extract Building Roofs and Footprints from Aerial Images by Aligning Historical Labels
arxiv.org·11h
📈Earley Parsing
XaaS Containers: Performance-Portable Representation With Source and IR Containers
arxiv.org·11h
📦Portable Bytecode
A Novel Approach to Emergent Agent Behavior Using a ΨQRH Framework
reddit.com·1d·
Discuss: r/LLM
🎭Erlang OTP
Emergent Composite Particles from the Universal Exact Identities in Quantum Many-Body Systems with Generic Bilinear Interactions
arxiv.org·11h
🔢Binary Formats
Towards Size-invariant Salient Object Detection: A Generic Evaluation and Optimization Approach
arxiv.org·1d
🗺️Region Inference
<i>Colloquium</i>: Incompatible measurements in quantum information science
journals.aps.org·2h
🧮Linear Algebra
Revolutionizing Secure Access: Introducing Octelium!
dev.to·1h·
Discuss: DEV
🛡️Capability VMs
You don’t need NPM to ship fully-featured apps.
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
CAMBench-QR : A Structure-Aware Benchmark for Post-Hoc Explanations with QR Understanding
arxiv.org·11h
🔮Type Inference Visualization
Vulkan Graphics in OCaml vs. C
roscidus.com·3d·
Discuss: Lobsters, Hacker News
🐪OCaml