✓ Formal verification

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

What Is Occult Grammar?
blog.izs.me·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·1d·
Discuss: Hacker News
🤖AI
Flag this post
Quoting Steve Francia
simonwillison.net·2d
🤝Using AI for programming
Flag this post
Fourier Transforms
continuummechanics.org·13h·
Discuss: Hacker News
🔌Embedded
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·9h·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Death of Traditional QA (Or: "AI Everywhere " Reaches SQA)
functionize.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
I Use AI
ben.stolovitz.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·11h·
Discuss: Hacker News
🤖AI
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·14h·
Discuss: Hacker News
🤖AI
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·6d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
AI Energy Score
huggingface.github.io·16h·
Discuss: Hacker News
🤖AI
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Switching from GPG to Age
luke.hsiao.dev·14h·
Discuss: Hacker News
🔌Embedded
Flag this post
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
cloud.google.com·17h·
Discuss: Hacker News
🤖AI
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·1d·
Discuss: Hacker News
🔌Embedded
Flag this post