๐Ÿงฎ SMT Solvers

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

In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.comยท2d
๐Ÿฆ Malware Analysis
Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.comยท8hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท2d
๐Ÿ“Concrete Syntax
Godel's Incompleteness Theorem
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ”คType Theory
IPAB Visitor Seminar - 08/07/2025
informatics.ed.ac.ukยท4h
๐ŸŒ€Differential Geometry
How Questions Build Software
akdev.blogยท2hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Get AI-powered command suggestions **directly** in your zsh shell
github.comยท7hยท
Discuss: Hacker News
๐Ÿ“ŸTerminals
Next Generation High Web Rust Based Solutions๏ผˆ1750916331932500๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
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
Gen AI & Langchain Master Class
dev.toยท3dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Improving Stochastic Cubic Newton with Momentum
arxiv.orgยท11h
๐Ÿง Machine Learning
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒOperating system internals
U-R-VEDA: Integrating UNET, Residual Links, Edge and Dual Attention, and Vision Transformer for Accurate Semantic Segmentation of CMRs
arxiv.orgยท11h
๐ŸŒ€Riemannian Computing
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.toยท20hยท
Discuss: DEV
๐ŸŒŠStreaming Compression
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgยท3d
๐Ÿ“Linear Logic
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.orgยท3d
๐Ÿ’ปLocal LLMs
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.orgยท3dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.orgยท3d
๐Ÿ”Quantum Security