SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2h
λLambda Formalization
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·10h·
🦀Rust Borrowing
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
λLambda Encodings
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·5h·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·1d
💻Programming languages
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·5h
🔧Hardware Verification
Flag this post
Issue 496
haskellweekly.news·3h
🔗Functional Compilers
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·1d
🦠Malware Analysis
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·15h
🔒WASM Capabilities
Flag this post
Torchforge – a PyTorch native library for scalable RL post-training
pytorch.org·4h·
Discuss: Hacker News
🖥️Game Emulation
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.org·19h·
🎞️Tape Combinatorics
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·1d·
Discuss: Hacker News
Effect Handlers
Flag this post
Modern Perfect Hashing
blog.sesse.net·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Convert any GitHub repo to coding puzzles
github.com·1d·
Discuss: Hacker News
Proof Automation
Flag this post
A Short Introduction to Categorical Logic
youtube.com·11h
🔀Category Theory
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·14h·
Discuss: Hacker News
📊Static Analysis
Flag this post
Infrastructure behind Dust deep-dive agent
blog.dust.tt·16h·
Discuss: Hacker News
🏠Homelab Archaeology
Flag this post
“Systems thinking helps me put the big picture front and center”
towardsdatascience.com·48m
🌊Stream Processing
Flag this post
How the most feared algorithm in algebra is simple
news.ycombinator.com·13h·
Discuss: Hacker News
🧮Algebraic Datatypes
Flag this post
LLM AuthZ Handbook: A Practical Guide for AI Builders and Users
flatt.tech·8h·
Discuss: Hacker News
🔐Capability Systems
Flag this post