🧮 SMT Solvers

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

How I use Claude Code
jonatkinson.co.uk·11h
🪄Prompt Engineering
Godel's Incompleteness Theorem
news.ycombinator.com·3h·
Discuss: Hacker News
🌳Data Structures
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·8h·
Discuss: Hacker News
🪄Prompt Engineering
Fighting blackouts with mathematics
ethz.ch·15h
🌍Climate
Build a Personalized AI Assistant with Postgres
supabase.com·13h
💾Prompt Caching
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·16h
🛡️AI Safety
🎲 Functional Programming Meets Dependency Injection in Express.js
ryannickel.com·14h
📘Typescript
Moonshot AI Releases Kimi Dev 72B, A Game-Changing Open-Source Coding LLM
sheaupei.com·6h
🆕New AI
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·5h·
Discuss: Substack
🦀Rust Compiler Internals
Hypercubical manifolds in homotopy type theory
arxiv.org·16h
🧩Types
BNFGen: A random text generator based on context-free grammars
baturin.org·2h·
Discuss: Hacker News
📝Text Parsing
16 Changes to AI in the Enterprise: 2025 Edition | Andreessen Horowitz
a16z.com·11h
📊Model Serving Economics
Canvas, meet code: Building Figma’s code layers
figma.com·20h
✏️Code Editors
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·16h
🏆LLM Benchmarking
How to effectively use prompts, resources, and tools in MCP
composio.dev·5h
📋MCP
Threaded Code
muforth.dev·9h·
Discuss: Hacker News
🪄Prompt Engineering
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·16h
🧠LLM Inference
I Built an AI Copilot for Pentesting—Then Turned It Off
hackernoon.com·13h
🪄Prompt Engineering
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·21h·
Discuss: Hacker News
🎭Claude
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·11h·
Discuss: Hacker News
🌐Axum