Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
⚔️Lean Theorem
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Historical highlights?
logicmatters.net·15h
🔀Category Theory
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5h·
Discuss: Hacker News
🎯Interactive Provers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·11h
🌳Context free grammars
Extensions and Shadows (6)
sites.psu.edu·1d
🎯Proof Tactics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Complex knots can actually be easier to untie than simple ones
newscientist.com·15h
🕸️Algebraic Topology
Piano Keys
mathpages.com·4h·
Discuss: Hacker News
🌈Spectral Audio
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
Students, here are 5 key things to know when learning how to train large language models
techradar.com·9h
💻Local LLMs
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·12h
📐Mathematical Art
Linkage
11011110.github.io·11h
🕸️Algebraic Topology
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Playful Math 181: The Symmetry Carnival
denisegaskins.com·13h
📐Mathematical Art
A new look at twin reduction
cameroncounts.wordpress.com·1d
🔗Graph Isomorphism
Beyond Argument: The Creative Craft of Philosophy Writing (guest post)
dailynous.com·15h
🏛️Philosophy
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·12h
🦀Rust Verification
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types