Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·1d·
Discuss: r/LocalLLaMA
🧮Programming Language Theory
Macros, Matter, & Malleability
clojurecivitas.github.io·1d
📝Lisp
You're probably not learning with AI
aryas.dev·1h·
Discuss: Hacker News
🧩Theorem Proving
v3.37.2
gitlab.exherbo.org·17h
🦀Rust
Review of CWE-843 Type Confusion Vulnerability and Exploit
dev.to·14h·
Discuss: DEV
🔍Static Analysis
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·2d
🔍Static Analysis
Encoding SAT in OCaml GADTs
farlow.dev·5d·
Discuss: Hacker News
🧮Programming Language Theory
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
⚙Functional Programming
Issue 483
haskellweekly.news·1d
⚙Functional Programming
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
TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·1d
🧮Programming Language Theory
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·15h·
Discuss: Hacker News
🏗Computer Architecture
Fermat's Last Theorem in Lean – Imperial College London
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·1d·
Discuss: DEV
📝Lisp
Transpiling a Forth dialect to LLVM IR
onirom.fr·8h
🔧Compiler Design