✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

Matter’s latest update doubles down on stability and pushes the platforms to play better together
theverge.com·1h
🔌Embedded
HRT's Python Fork: Leveraging PEP 690 for Faster Imports
hudsonrivertrading.com·2d·
Discuss: Hacker News
🤝Using AI for programming
The Amaranth hardware description language
amaranth-lang.org·5d·
Discuss: Hacker News
🔌Embedded
How I Used Test Techniques on Chatbots
spin.atomicobject.com·3d·
Discuss: Hacker News
🤖AI
ChatGPT Is Still a Bullshit Machine
gizmodo.com·2d·
Discuss: Hacker News
🤝Using AI for programming
An AI Native Dependency Manager
github.com·10h·
Discuss: Hacker News
🤖AI
Hypothesis is now thread-safe
hypothesis.works·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
Built a new VLM (MicroLlaVA) on a single NVIDIA 4090
reddit.com·15h·
Discuss: r/LocalLLaMA
🤖AI
My thoughts on gpt-oss-120b
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI
Philosophy of Information
plato.stanford.edu·2d·
Discuss: Hacker News
🤖AI
Show HN: Creating a Binary Puzzle Game
taengo.vercel.app·3d·
Discuss: Hacker News
🔌Embedded
Logarithmic mean energy optimization a metaheuristic algorithm
nature.com·1d·
Discuss: Hacker News
🤖AI
A personal take: LLMs are stuck, but local might win?
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
LLMs Can't Navigate Through the Physical World
hansenq.substack.com·4d·
Discuss: Substack
🤖AI
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·3d·
Discuss: Substack
🤝Using AI for programming
Reflections on the React Community
leerob.com·3h·
Discuss: Hacker News
🤖AI
Replacing Agent Prompt Templates with Trainable Control Modules in DSPy
viksit.substack.com·3d·
Discuss: Substack
🤖AI
MCP: An (Accidentally) Universal Plugin System
worksonmymachine.ai·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
Finally, I Wrote a 600-Page Book About My Mad LLM fine-tuning experiments
amazon.com·2d·
Discuss: r/LocalLLaMA
🤖AI
Vector Search Is Reaching Its Limit. Here’s What Comes Next
thenewstack.io·2d·
Discuss: Hacker News
🤖AI