🧮 Z3 Applications

Character Classification, SMT Integration, Automated Reasoning, Constraint Programming

ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·9h·
Discuss: DEV
⚡SMT Integration
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
📊HyperLogLog
A grand week
blog.mitrichev.ch·9h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·8h·
Discuss: Hacker News
🕸️Knowledge Graphs
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·20h·
Discuss: DEV
🧮Z3 Solver
Prompting Techniques for Specialised LLMs
dev.to·5h·
Discuss: DEV
🔗Constraint Handling
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·3h·
Discuss: Hacker News
🧮Algebraic Datatypes
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Estimated tokens to merge (ETM) & other notes
gmays.com·3h
🌀Brotli Internals
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·11h·
Discuss: Hacker News
📝Concrete Syntax
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·17h·
Discuss: Hacker News
🧮SMT Solvers
Show HN: TorchSystem, Event driven systems with PyTorch
github.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
λLambda Encodings
Three important things to get right for successful AI Coding
kau.sh·5h
⚡Proof Automation
Automated Capillary Electrophoresis Gel Characterization via Multi-Modal Deep Learning
dev.to·8h·
Discuss: DEV
📄Document Digitization
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·12h·
Discuss: Substack
🔲Cellular Automata
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
valuetier.org (and some thoughts on LLMs)
ericphanson.com·4h·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
Building a Command-Line Quiz Application in R
towardsdatascience.com·8h
🐚Shell Calculus