✓ Formal verification

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

Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🔌Embedded
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·9h·
Discuss: Hacker News
🤖AI
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·21h·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·3h·
Discuss: Hacker News
🔌Embedded
Flag this post
Can LLMs subtract numbers?
arxiv.org·7h·
Discuss: Hacker News
🔌Embedded
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·13h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·20h·
Discuss: Hacker News
🤖AI
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·7h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·1h·
Discuss: Hacker News
🗃️Local databases
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·17h·
Discuss: Hacker News
🤖AI
Flag this post
Creating Lisp Systems
renato.athaydes.com·4h·
Discuss: Hacker News
🔌Embedded
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Quoting Steve Francia
simonwillison.net·1d
🤝Using AI for programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post