✓ Formal verification

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

The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
High-speed and ultra-low-power superconductive neuron with ReLU activation
iopscience.iop.org·23h·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·15h·
Discuss: Hacker News
🤖AI
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·10h·
Discuss: Hacker News
🔌Embedded
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·2d·
Discuss: Hacker News
🤖AI
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Ethics by Spinoza
gutenberg.org·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
reddit.com·2d·
Discuss: r/LocalLLaMA
🔌Embedded
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·17h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·2d·
Discuss: DEV, Hacker News
🗃️Local databases
Flag this post