🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Malicious fezbox npm Package Steals Browser Passwords from Cookies via Innovative QR Code Steganographic Technique
socket.dev·1d
🛡️Parser Security
Reprogramming My Career – Engineer to Engineer How I turned my mechanical engineering background into a future in software engineering
blog.codeminer42.com·9h
🎮Language Ergonomics
More Reactions to If Anyone Builds It, Everyone Dies
thezvi.substack.com·5h·
Discuss: Substack
💫Effect Systems
Auditability and the Landscape of Distance to Multicalibration
arxiv.org·17h
🗺️Region Inference
In Defence of False Beliefs
lesswrong.com·1h
⚖️Inference Rules
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·17h
🧮Linear Algebra
Explainability matters: The effect of liability rules on the healthcare sector
arxiv.org·17h
💫Effect Systems
Will We Know Artificial General Intelligence When We See It?
spectrum.ieee.org·1d·
Discuss: Hacker News, r/technews
🎭Program Synthesis
Time to Revist Exact Match
arxiv.org·17h
🌫️Fuzzy Parsing
Minimize risk through defense in depth: Building a comprehensive AWS control framework
aws.amazon.com·5h
🛡️Security Type Systems
Understanding Python’s LEGB rule, closures, and why variables sometimes behave like shadows.
dev.to·3d·
Discuss: DEV
🔗Lexical Scoping
"Digital Camouflage": The LLVM Challenge in LLM-Based Malware Detection
arxiv.org·17h
🏗️LLVM
Causal Explanation Generation via Attributed Graph Reasoning for Robotic Navigation
dev.to·5h·
Discuss: DEV
🕸️Graph Algorithms
7 Essential Distributed Systems Techniques Every Software Architect Must Master in 2024
dev.to·3d·
Discuss: DEV
📮Persistent Queues
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·17h
📐Succinct Data Structures
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·17h
🚀Code Motion
Moving magnetic domain walls with sound alone
arxiv.org·17h
🤖Code Generation
Nonlocal Electrostatics and Boundary Charges in Continuum Limits of Two-Dimensional Materials
arxiv.org·17h
🧮Linear Algebra
VaseVQA: Multimodal Agent and Benchmark for Ancient Greek Pottery
arxiv.org·17h
🌱Minimal ML