๐Ÿ“‹ Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

Clarity
robinsloan.comยท1d
๐Ÿง Intelligence Compression
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
[R] How to retrieve instructions given to annotators - RLHF
reddit.comยท20hยท
Discuss: r/MachineLearning
๐Ÿ“šDocumentation Archaeology
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท9hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
The Conveyor Belt Protocol: Understanding Iterators
dev.toยท1hยท
Discuss: DEV
๐ŸงฌFunctional Programming
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.orgยท1d
๐Ÿ’ปProgramming languages
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
ChatGPT Pretends to Run Code
eriklonnroth.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Item Patterns and Struct Await
noratrieb.devยท23hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The Trillion Dollar AI Software Development Stack
a16z.comยท7hยท
Discuss: Hacker News
โšกProof Automation
The Day I Hacked XCTrack
blog.syrac.orgยท14hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Quantum-Aware Federated Learning for Open QaaS Platform Validation
dev.toยท1dยท
Discuss: DEV
โš›๏ธQuantum Compilers
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.devยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Refactoring: A way to write better Code
dev.toยท3hยท
Discuss: DEV
โš™๏ธOperational Semantics
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.orgยท1d
๐Ÿ“‹Document Grammar
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling