Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Scriptable mutating admission hook?
reddit.com·4h·
Discuss: r/kubernetes
🎯Gradual Typing
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust Macros
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🔗Parser Combinators
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·3h·
Discuss: DEV
⚡Incremental Computation
TypeScript Flaws (2024)
intercaetera.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Intelligent Search in Rails with Typesense
avohq.io·2d·
Discuss: Hacker News
🎯Gradual Typing
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·4d
🎯Gradual Typing
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·6h·
Discuss: Hacker News
🚀Indie Hacking