✓ Formal verification

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

How to get a character from a codepoint in Spark SQL
prequel.co·20h·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·19h·
Discuss: Hacker News
🤖AI
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Searles's Chinese Room: Case study in philosophy of mind and cognitive science
cse.buffalo.edu·21h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Gullible bots struggle to distinguish between facts and beliefs
theregister.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Deploying Temporal on AWS ECS with Terraform
papnori.github.io·6h·
Discuss: Hacker News
🔌Embedded
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·9h·
Discuss: Hacker News
🤖AI
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·2h·
Discuss: Hacker News
🔌Embedded
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·20h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·18h·
Discuss: Hacker News
🤖AI
Flag this post
What data do coding agents send, and where to?
chasersystems.com·23h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·1h·
Discuss: Hacker News
🤖AI
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·1d·
Discuss: Substack
🤖AI
Flag this post
User Experience Is Computation
madebynathan.com·9h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post