✓ Formal verification

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

Lexiq – Learn English for Computer Science with Quizzes and Flashcards
lexiq.etudionet.life·9h·
Discuss: Hacker News
🤝Using AI for programming
LLM Inflation
tratt.net·21h·
Discuss: Hacker News
🤝Using AI for programming
D-Wave Introduces New Developer Tools to Advance Quantum AI Developement
dwavequantum.com·2d·
Discuss: Hacker News
🤖AI
Building My Own Astrodynamics Library in Zig
atempleton.dev·7h·
Discuss: Hacker News
🤝Using AI for programming
The Claude Test
hollisrobbinsanecdotal.substack.com·11h·
Discuss: Substack
🤝Using AI for programming
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·1d·
Discuss: Hacker News
🤝Using AI for programming
OpenAI’s new model can't believe that Trump is back in office
theregister.com·13h·
Discuss: Hacker News
🤖AI
Eval-maxing an AI FFmpeg command generator
getkiln.ai·12h·
Discuss: Hacker News
🤖AI
Your LLM Does Not Care About MCP
hackteam.io·4h·
Discuss: Hacker News
🤖AI
LF AI and Data Hosts Vortex Project for Data Access for AI and Analytics
linuxfoundation.org·16h·
Discuss: Lobsters, Hacker News
🤖AI
Why your Playwright end-to-end tests are slow
endform.dev·21h·
Discuss: Hacker News
🔌Embedded
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Project Ire autonomously identifies malware at scale
microsoft.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
Ask HN: Do you struggle with flow state when using AI assisted coding tools?
news.ycombinator.com·19h·
Discuss: Hacker News
🤝Using AI for programming
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·1d·
Discuss: Hacker News
🤝Using AI for programming
New Method Is the Fastest Way To Find the Best Routes
quantamagazine.org·18h·
Discuss: Lobsters, Hacker News
🔌Embedded
Measuring the effectiveness of software development tools and practices
amazon.science·11h·
Discuss: Hacker News
🤖AI
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🔌Embedded
Understanding Stack Traces in Elixir
blog.appsignal.com·1d·
Discuss: Hacker News
🤝Using AI for programming
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·1d·
Discuss: Hacker News
🤖AI