✓ Formal verification

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

Magnetic Resonator Piano
instrumentslab.org·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
What Leaders Carry
nikrad.io·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Avalonia Partners with Google's Flutter Team to Bring Impeller Rendering to .NET
avaloniaui.net·19h·
Discuss: Hacker News
🔌Embedded
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Using XDP for Egress Traffic
loopholelabs.io·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Stainless Docs Platform — Early Access
stainless.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·2d·
Discuss: Hacker News, r/programming
🤖AI
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Lakekeeper – a fast, lightweight Iceberg REST catalog in Rust
github.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
A File Format Uncracked for 20 Years
landaire.net·1d·
Discuss: Lobsters, Hacker News, Hacker News
🗃️Local databases
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
One-Second Voice-to-Voice Latency with Modal, Pipecat, and Open Models
modal.com·4d·
Discuss: Hacker News, r/LocalLLaMA
🤝Using AI for programming
Flag this post
The worst way to use AI for your productivity
codiris.build·22h·
Discuss: Hacker News
🤖AI
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·4d·
Discuss: Hacker News
🔌Embedded
Flag this post