Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·3d
🤝Protocol Design
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·1d·
Discuss: Hacker News
🔍Static Analysis
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧩Theorem Proving
Pattern Matching in Java: The Modern Way to Write Cleaner Code
dev.to·1d·
Discuss: DEV
⚙Functional Programming
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🔢Mathematical Logic
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·23h·
Discuss: Hacker News
🏗Computer Architecture
Issue 483
haskellweekly.news·2d
⚙Functional Programming
Fermat's Last Theorem in Lean – Imperial College London
github.com·2d·
Discuss: Hacker News
🧩Theorem Proving
undefined in Optional Types: The Gotcha No One Warned Me About
dev.to·2h·
Discuss: DEV
🧮Programming Language Theory
A one-week deep dive into building a dual-mode template engine (Runtime Parser vs. Build-time AST Compiler)
reddit.com·19m·
Discuss: r/programming
🔧Compiler Design
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·2d·
Discuss: DEV
📝Lisp
TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·1d
🧮Programming Language Theory
Transpiling a Forth dialect to LLVM IR
onirom.fr·15h
🔧Compiler Design
Pallas, Vesta, and Zcash
johndcook.com·3h
🔐Cryptography
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·3d
🔐Cryptography
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
From Astrophysics to Applied Artificial Intelligence, Hilary Egan Charts a Creative Path Through Science
cleantechnica.com·1d
🤖Sci-Fi
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·1d
🔐Cryptography
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·4d
🧩Theorem Proving
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·23h·
Discuss: Lobsters, Hacker News
👐Open Source Software