Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·2h
📏Linear Logic
Apply the Trie: Word Search
mmhaskell.com·22h·
Discuss: Hacker News
🌳Trie Structures
Using an LLM on the Advent of Code
funcall.blogspot.com·13h·
Discuss: www.blogger.com
⚔️Lean Tactics
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Proving
blog.fsck.com·3h
⚔️Lean Tactics
Cracking the Code: Unveiling LLM Secrets with Vector Architectures by Arvind Sundararajan
dev.to·48m·
Discuss: DEV
💻Local LLMs
A statistic is as a statistic does
surfingcomplexity.blog·1d
🔲Cellular Automata
GEAR: A General Evaluation Framework for Abductive Reasoning
arxiv.org·2h
✓Automated Theorem Proving
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.com·23h
🔗Topological Sorting
From Ambiguity to Verdict: A Semiotic-Grounded Multi-Perspective Agent for LLM Logical Reasoning
arxiv.org·2h
🏛️Isabelle HOL
A tutorial for the Mercury programming language
sebastian.graphics·3d·
Discuss: Hacker News
🔗Concatenative Programming
High-level intuitions for the Bulletproofs/IPA protocol
cryptologie.net·3d
🎯Performance Proofs
A Puzzling Performance Puzzle
kodewerk.com·1h·
Discuss: Hacker News
🧪Binary Fuzzing
Building a Production-Ready Medical AI Assistant with Python FastAPI, Tavili, Gemini & LangChain
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
BeyondBench: Benchmark-Free Evaluation of Reasoning in Language Models
arxiv.org·2h
🧠Intelligence Compression
Expanding Computation Spaces of LLMs at Inference Time
arxiv.org·2h
💻Local LLMs
Knowledge Homophily in Large Language Models
arxiv.org·2h
🧮Kolmogorov Complexity
The Lowest Level PL
pramatias.github.io·2d·
Discuss: Hacker News, r/rust
🦀Rust Macros
CodeQL zero to hero part 5: Debugging queries
github.blog·15h
🔓Reverse engineering
Sguaba: Type-safe spatial math in Rust
youtube.com·16h
🦀Rust Borrowing