🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

CrytoTool: A Local-First, Zero-Knowledge Security Suite
discuss.privacyguides.net·2h
🛡️Security Type Systems
Nethermind Client’s Path to Zk Proofs
nethermind.io·6h·
Discuss: Hacker News, r/programming
📡Erlang BEAM
Scaling Muse: How Netflix Powers Data-Driven Creative Insights at Trillion-Row Scale
netflixtechblog.com·20h
📮Persistent Queues
How to choose the right embedding model for your RAG application? | by Vivedha Elango | Sep, 2025 | Level Up Coding
levelup.gitconnected.com·6h
🎨Domain-Specific Languages
Exploration is cheap; judgment is scarce
mateopetel.substack.com·23h·
Discuss: Substack
🏰Capability Machines
Software Estimations and Agile — Friends or Foes?
medium.com·19h·
Discuss: r/programming
📊Code Metrics
A Unified Field Theory of Matter and Meaning: A Simulation Concept Based on Semiconductor Physics
reddit.com·22h·
Discuss: r/LLMPhysics
⚡Control Synthesis
Pairing with Claude Code to rebuild my startup's website
blog.nseldeib.com·23h·
Discuss: Hacker News
⚡Live Coding
Scaling Agents via Continual Pre-training : AgentFounder-30B (Tongyi DeepResearch)
reddit.com·2h·
Discuss: r/LocalLLaMA
✨Effect Inference
Introduction to Prisma: An ORM for Type-Safe and Efficient Database Operations
dev.to·2h·
Discuss: DEV
🎮Language Ergonomics
Building Reactive Lists with Meteor and Blaze
dev.to·2h·
Discuss: DEV
🌊Reactive Languages
Why Confidential Smart Contracts Matter
dev.to·2h·
Discuss: DEV
🛡️Security Type Systems
Digital Engineering Transformation as a Sociotechnical Challenge: Categorization of Barriers and Their Mapping to DoD's Policy Goals
arxiv.org·1d
🧱WASM Components
Computational Analysis of Conversation Dynamics through Participant Responsivity
arxiv.org·13h
🔬programming language theory
I finally made my first prototype of a game.
reddit.com·1d·
Discuss: r/gamedev
🧸Toy Compilers
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·13h
🚀Code Motion
Moving magnetic domain walls with sound alone
arxiv.org·13h
🤖Code Generation
Nonlocal Electrostatics and Boundary Charges in Continuum Limits of Two-Dimensional Materials
arxiv.org·13h
🧮Linear Algebra
VaseVQA: Multimodal Agent and Benchmark for Ancient Greek Pottery
arxiv.org·13h
🌱Minimal ML
XaaS Containers: Performance-Portable Representation With Source and IR Containers
arxiv.org·13h
📦Portable Bytecode