🧮 SMT Solvers

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

In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·1d
🦠Malware Analysis
My AI Workflow for Understanding Any Codebase
steipete.me·1d
⚡Proof Automation
Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.com·29m·
Discuss: Hacker News
🔲Cellular Automata
Godel's Incompleteness Theorem
news.ycombinator.com·1d·
Discuss: Hacker News
🔤Type Theory
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·2d
📝Concrete Syntax
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·21h·
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·3h
🧠Machine Learning
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·1d·
Discuss: DEV
🔌Operating system internals
Hypercubical manifolds in homotopy type theory
arxiv.org·2d
🔶Cubical Type Theory
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·1d
💻Local LLMs
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·3h
🗜️Graph Compression
Multilingual innovation in LLMs: How open models help unlock global communication
developers.googleblog.com·3d
🌀Brotli Internals
On Union-Closedness of Language Generation
arxiv.org·3d
🔗Monadic Parsing
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.org·3h
🤖Advanced OCR
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
MDPO: Multi-Granularity Direct Preference Optimization for Mathematical Reasoning
arxiv.org·4d
🧮Constraint SMT
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·2d
💻Local LLMs
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
Improving Stochastic Cubic Newton with Momentum
arxiv.org·3h
🧠Machine Learning
U-R-VEDA: Integrating UNET, Residual Links, Edge and Dual Attention, and Vision Transformer for Accurate Semantic Segmentation of CMRs
arxiv.org·3h
🌀Riemannian Computing