🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Boosting XML Development with AI-Driven Code Actions in Oxygen XML Editor
blog.oxygenxml.com·1d
🌳Incremental Parsing
Perfare/Zygisk-Il2CppDumper
github.com·15h
🎮Game Decompilation
How Turso made connections to SQLite databases 575x faster
turso.tech·17h·
Discuss: Hacker News
💾SQLite
The Mystery of the Claude 3 Tokenizer (2024)
tokencontributions.substack.com·7h·
Discuss: Substack
📝Concrete Syntax
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com·1d·
Discuss: Hacker News, r/compsci, r/programming
💾Memory Mapping
Boolean SHA256 with TFHE-rs (2023)
zama.ai·4d·
Discuss: Hacker News
🔢Bitwise Algorithms
I built an alert layer on top of QuickBooks – then Intuit added a $300/month fee
uselunova.com·7h·
Discuss: Hacker News
🌊Streaming Systems
Runtime over Syntax
devpoga.org·2d·
Discuss: Hacker News
🧩WASM Components
Implementing Bloom Filters in C (2022)
andreinc.net·4d·
Discuss: Hacker News
🌸Bloom Filters
[P] BluffMind: Pure LLM powered card game w/ TTS and live dashboard
reddit.com·15h·
Discuss: r/MachineLearning
⚔️Lean Tactics
New Programming Language
news.ycombinator.com·1d·
Discuss: Hacker News
💻Programming languages
Enhancing Complex Injection Mold Design Validation Using Multicombined RV Environments
arxiv.org·13h
🌀Differential Geometry
Show HN: Memory Bank Templates – Cure AI Context Reset Problems
medium.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Understanding Go's Type System: A Complete Guide to Interfaces, Structs, and Composition [2025]
dev.to·1d·
Discuss: DEV
🔤Type Theory
Automated Identification of Sexual Orientation and Gender Identity Discriminatory Texts from Issue Comments
arxiv.org·13h
🔤Character Classification
Component-Based Machine Learning for Indoor Flow and Temperature Fields Prediction Latent Feature Aggregation and Flow Interaction
arxiv.org·1d
🧠Machine Learning
Oranits: Mission Assignment and Task Offloading in Open RAN-based ITS using Metaheuristic and Deep Reinforcement Learning
arxiv.org·13h
🕸️Network Topology
CleANN: Efficient Full Dynamism in Graph-based Approximate Nearest Neighbor Search
arxiv.org·13h
🗂️Vector Databases
Geometric Operator Learning with Optimal Transport
arxiv.org·13h
🌀Riemannian Computing
Building an AI-Powered Real-Time Recommendation Engine with Redis Vector Search
dev.to·26m·
Discuss: DEV
⚖️Feed Ranking