🧮 Z3 Applications

Character Classification, SMT Integration, Automated Reasoning, Constraint Programming

http://listjs.com/
listjs.com·6h
🔗Concatenative Programming
Talking robots learn to manage human interruptions
hub.jhu.edu·16h·
Discuss: Hacker News
🤖AI Curation
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.ai·23h·
Discuss: Hacker News, Hacker News
🤖Grammar Induction
The Emacs dumper dispute (2016)
lwn.net·9h·
Discuss: Hacker News
🔩Systems Programming
How JIT builds of CPython work
savannah.dev·3d·
Discuss: Hacker News
📝Concrete Syntax
Rules_derive: Deriving Using Macro_rules
matx.com·3d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Building an AI-native multi-model UI with SurrealDB
surrealdb.com·4d·
Discuss: Hacker News
🕸Linked data
Skimpy HBM Memory Opens Up The Way AI Inference Memory Godbox
nextplatform.com·3d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Self-Hosting AI Models After Claude's Usage Limits
steipete.me·2d·
Discuss: Hacker News, Hacker News
⚡Homebrew CPUs
Escaping AI Slop: A Design System Approach to Claude Code
raduan.xyz·30m·
Discuss: Hacker News
🦋Format Metamorphosis
Show HN: ReplyFast – Let AI reply to your emails, instantly and in your style
news.ycombinator.com·23h·
Discuss: Hacker News
🌳Incremental Parsing
LLMs and Mental Health
towardsdatascience.com·1d
🎵Audio ML
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·2d·
Discuss: Hacker News
🔍Concolic Testing
“We want AWS to be the place where everyone runs enterprise AI agents" - the agentic era is here for your business, so be prepared for the new age
techradar.com·3h
🏠Homelab Orchestration
Mistral-Small-3.2-24B-Instruct-2506 is now available on Amazon Bedrock Marketplace and Amazon SageMaker JumpStart
aws.amazon.com·3d
🌀Brotli Internals
Kreuzberg: The Python Document Intelligence Framework That Will Blow Your Mind!
dev.to·5d·
Discuss: DEV
🤖Archive Automation
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.org·1d
🧠Machine Learning
FovEx: Human-Inspired Explanations for Vision Transformers and Convolutional Neural Networks
arxiv.org·1d
📊Learned Metrics
How SLMs and knowledge graphs supercharge AI
techradar.com·3d
💻Local LLMs
A New AI Language Threatens Python’s Legacy: What Developers Need to Know in 2025
dev.to·16h·
Discuss: DEV
🔄Language Evolution