🧮 SMT Solvers

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

In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·19h
🦠Malware Analysis
My AI Workflow for Understanding Any Codebase
steipete.me·21h
⚡Proof Automation
Godel's Incompleteness Theorem
news.ycombinator.com·15h·
Discuss: Hacker News
🔤Type Theory
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·1d
📝Concrete Syntax
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Probing AI Safety with Source Code
arxiv.org·4h
✨Effect Handlers
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·1d
💻Local LLMs
Writing Toy Software Is a Joy
quiz.businessexplain.com·4h·
Discuss: Hacker News
🔩Systems Programming
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·2d
⚡Modern Compression
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·3d
📏Linear Logic
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·18h
📊Graph Databases
🚀 Introducing MultiMind SDK: Fine-Tune, Build, and Deploy LLM
dev.to·12h·
Discuss: DEV
🔗Topological Sorting
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·19h·
Discuss: DEV
🤖Lisp Machines
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·2h·
Discuss: DEV
🔌Interface Evolution
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·4h
🔗Parser Combinators
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·10h·
Discuss: DEV
🔌Operating system internals