🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Game Design Principle: Transparency
gamedeveloper.com·1d
🚂Error Propagation
Playing Mini Byzantine Newcombs Problem
pepijndevos.nl·1d
🐹Minimal Go
Powering Partner Gateway metrics with Apache Pinot
engineering.grab.com·13h
📮Message Queues
Building a Blockchain in Zig
blog.mariodev.xyz·2d·
Discuss: Hacker News
🔗Hash Functions
OpenPoke: Recreating Poke's Architecture
shloked.com·1d·
Discuss: Hacker News
💬Smalltalk VMs
The Extreme Inefficiency of RL for Frontier Models
tobyord.com·2h·
Discuss: Hacker News
🪜Recursive Descent
Building Production-Grade AI Systems: A Deep Dive into AIOps and LLMOps Infrastructure
pub.towardsai.net·3d
🎭Program Synthesis
Program Synthesis via Test-Time Transduction
arxiv.org·9h
🎭Program Synthesis
DragOSM: Extract Building Roofs and Footprints from Aerial Images by Aligning Historical Labels
arxiv.org·9h
📈Earley Parsing
Computational Analysis of Conversation Dynamics through Participant Responsivity
arxiv.org·9h
🔬programming language theory
To prototype without modellers in the team?
reddit.com·1d·
Discuss: r/gamedev
🌊Gradual Effects
Nonlocal Electrostatics and Boundary Charges in Continuum Limits of Two-Dimensional Materials
arxiv.org·9h
🧮Linear Algebra
VaseVQA: Multimodal Agent and Benchmark for Ancient Greek Pottery
arxiv.org·9h
🌱Minimal ML
XaaS Containers: Performance-Portable Representation With Source and IR Containers
arxiv.org·9h
📦Portable Bytecode
Quantum Public Key Encryption for NISQ Devices
arxiv.org·9h
🔄Nanopass
Security Amplification of Threshold Signatures in the Standard Model
eprint.iacr.org·4d
✨Gleam
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·9h
🔢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·47m
🧮Linear Algebra