🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·14h
🦠Malware Analysis
My AI Workflow for Understanding Any Codebase
steipete.me·15h
⚡Proof Automation
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
Proving that every program halts
ntietz.com·3d
👑Isabelle
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·20h
📝Concrete Syntax
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/webdev
🦀Rust Macros
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·18h
⬆️Lambda Lifting
Quantum k-SAT Related Hypergraph Problems
arxiv.org·2d
⚛️Quantum Algorithms
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·1d·
Discuss: DEV
🌊Stream Processing
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·1d
⚡Modern Compression
Gen AI & Langchain Master Class
dev.to·1d·
Discuss: DEV
🎙️Whisper
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·22h
💻Local LLMs
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
📏Linear Logic