✓ Formal verification

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

Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·16h·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·13h·
Discuss: Hacker News
🔌Embedded
Flag this post
Prog8
github.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
cloud.google.com·3h·
Discuss: Hacker News
🤖AI
Flag this post
OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·8h·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Death of Traditional QA (Or: "AI Everywhere " Reaches SQA)
functionize.com·23h·
Discuss: Hacker News
🤖AI
Flag this post
RPT-1: SAP Launches a Relational Foundation Model for the Enterprise
thenewstack.io·1d·
Discuss: Hacker News
🤖AI
Flag this post
I Use AI
ben.stolovitz.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·24m·
Discuss: Hacker News
🤖AI
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·5d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
AI Energy Score
huggingface.github.io·2h·
Discuss: Hacker News
🤖AI
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·21h·
Discuss: Hacker News
🤖AI
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·21h·
Discuss: Hacker News
🤖AI
Flag this post
Switching from GPG to Age
luke.hsiao.dev·34m·
Discuss: Hacker News
🔌Embedded
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·11h·
Discuss: Hacker News
🤖AI
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·1d·
Discuss: Hacker News
🤖AI
Flag this post