✓ Formal verification

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

RPT-1: SAP Launches a Relational Foundation Model for the Enterprise
thenewstack.io·1d·
Discuss: Hacker News
🤖AI
Flag this post
Fourier Transforms
continuummechanics.org·15h·
Discuss: Hacker News
🔌Embedded
Flag this post
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
cloud.google.com·18h·
Discuss: Hacker News
🤖AI
Flag this post
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·13h·
Discuss: Hacker News
🤖AI
Flag this post
Switching from GPG to Age
luke.hsiao.dev·16h·
Discuss: Hacker News
🔌Embedded
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Complexity fills the space it's given
wilsoniumite.com·22m·
Discuss: Hacker News
🔌Embedded
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
An overview of the PPPP protocol for IoT cameras
palant.info·17h·
Discuss: Hacker News
🔌Embedded
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Using XDP for Egress Traffic
loopholelabs.io·15h·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
QuackStack
quackstack.siddharththakkar.xyz·8h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Pint: Python library that makes units easy
github.com·5h·
Discuss: Hacker News
🔌Embedded
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·2d·
Discuss: Hacker News, Hacker News
🔌Embedded
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·1d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post