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

The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
🧩Types
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🆕New AI
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·17h
🔐Cryptography
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🏗️LLM Infrastructure
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
💻Programming languages
Flag this post
Meditations on geometric packing
shvbsle.in·21h
🎭Claude
Flag this post
10000
jro.sg·18h
🔍Binary Analysis
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·20h·
Discuss: Substack
🪄Prompt Engineering
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
✏️Code Editors
Flag this post
Assorted Thoughts on "Pivoting" to AI
lesswrong.com·9h
🛡️Anthropic PBC
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Semantic Chunking
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·7h
💻Programming languages
Flag this post
Searching for my next agent, maybe found it?
reddit.com·2h·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Addressing the specific roles of histone modifications in transcriptional repression
nature.com·22h
🗜️Vector Compression
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·17h·
Discuss: Hacker News
🏗️LLM Infrastructure
Flag this post
Mastering Transformer Architecture: Handling Long Context with Positional Encoding (PE)
pub.towardsai.net·12h
🔤Tokenization
Flag this post
Arc Is a Vision Problem
arxiviq.substack.com·17h·
Discuss: Substack
Gemini
Flag this post
my journey to accepting that you wont know it all
blog.prdai.dev·10h·
🪄Prompt Engineering
Flag this post