🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

CrytoTool: A Local-First, Zero-Knowledge Security Suite
discuss.privacyguides.net·4h
🛡️Security Type Systems
Personalizing Agentic AI to Users' Musical Tastes with Scalable Preference Optimization
research.atspotify.com·1h·
Discuss: Hacker News
↔️Bidirectional Sync
More Reactions to If Anyone Builds It, Everyone Dies
thezvi.substack.com·3h·
Discuss: Substack
💫Effect Systems
Malicious fezbox npm Package Steals Browser Passwords from Cookies via Innovative QR Code Steganographic Technique
socket.dev·1d
🛡️Parser Security
Nethermind Client’s Path to Zk Proofs
nethermind.io·8h·
Discuss: Hacker News, r/programming
📡Erlang BEAM
Reprogramming My Career – Engineer to Engineer How I turned my mechanical engineering background into a future in software engineering
blog.codeminer42.com·7h
🎮Language Ergonomics
Scaling Muse: How Netflix Powers Data-Driven Creative Insights at Trillion-Row Scale
netflixtechblog.com·22h
📮Persistent Queues
How to choose the right embedding model for your RAG application? | by Vivedha Elango | Sep, 2025 | Level Up Coding
levelup.gitconnected.com·8h
🎨Domain-Specific Languages
Ideas Arise Through Action & Framer introduces Design Pages
creativerly.com·1d
💬Smalltalk VMs
A Unified Field Theory of Matter and Meaning: A Simulation Concept Based on Semiconductor Physics
reddit.com·1d·
Discuss: r/LLMPhysics
⚡Control Synthesis
C++ Labs: Build Calculator, Manipulate Strings, & Master Class Inheritance
dev.to·2d·
Discuss: DEV
🎓Teaching Compilers
An Efficient Transient Nonlinear Circuit Simulator Using Exponential Integration and Block-Jacobi Precondition
arxiv.org·15h
🧮Linear Algebra
Building Reactive Lists with Meteor and Blaze
dev.to·4h·
Discuss: DEV
🌊Reactive Languages
Will We Know Artificial General Intelligence When We See It?
spectrum.ieee.org·1d·
Discuss: Hacker News, r/technews
🎭Program Synthesis
Minimize risk through defense in depth: Building a comprehensive AWS control framework
aws.amazon.com·3h
🛡️Security Type Systems
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·15h
📐Succinct Data Structures
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·15h
🚀Code Motion
Moving magnetic domain walls with sound alone
arxiv.org·15h
🤖Code Generation
Nonlocal Electrostatics and Boundary Charges in Continuum Limits of Two-Dimensional Materials
arxiv.org·15h
🧮Linear Algebra
VaseVQA: Multimodal Agent and Benchmark for Ancient Greek Pottery
arxiv.org·15h
🌱Minimal ML