🧮 SMT Solvers

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

(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·6h·
Discuss: r/rust
🎭Rust Macros
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·3h·
Discuss: Hacker News
🪄Prompt Engineering
2025-10-10 # LLMs Are Transpilers
alloc.dev·22h·
Discuss: Hacker News
🏆LLM Benchmarking
How different AI engines generate and cite answers
searchengineland.com·10h
📊Feed Optimization
Custom AI models in hours not months with auto Data Synth and LLM-as-a-Judge
blog.oumi.ai·22h·
Discuss: Hacker News
🆕New AI
Zen of Python
webaligo.bearblog.dev·1h
💻Programming languages
Open Lineage
usenix.org·18h
📘Typescript
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🎭Rust Macros
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·8h·
Discuss: Hacker News
🦀Rust Web Services
You don't avoid the chaos. You filter it.
threadreaderapp.com·5h
🧹Spam Filters
simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.com·4h·
Discuss: r/programming
⚡Developer Experience
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·6h
✨Code Aesthetics
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·5h·
Discuss: Hacker News
🎯BM25
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
🪄Prompt Engineering
Multi-Core By Default
rfleury.com·20h·
Discuss: Lobsters, Hacker News
🧵Concurrency
Size doesn't matter: Just a small number of malicious files can corrupt LLMs of any size
techxplore.com·7h
🕳LLM Vulnerabilities
YouTube gets ~5% CTR lift on Shorts by replacing embedding tables with Semantic IDs
shaped.ai·22h
📊Feed Optimization
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·21h·
Discuss: Hacker News
🏆LLM Benchmarking
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·22h
🔧Developer tools
The Linus Method: How we simiplifed RFC reviews
devashish.me·5h·
Discuss: Hacker News
🪄Prompt Engineering