Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.orgยท2d
๐Ÿง Computational Logic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท1dยท
Discuss: Hacker News
๐Ÿ”Type Inference
Cactus Language โ€ข Stylistics 4
inquiryintoinquiry.comยท1d
๐ŸŒณContext free grammars
My Experience with the Scott Logic Graduate Training
blog.scottlogic.comยท1d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Historical highlights?
logicmatters.netยท1d
๐Ÿ”€Category Theory
Rethinking Distributed Computing for the AI Era
cacm.acm.orgยท1h
โšกIncremental Computation
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilยท23hยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
A Rust shaped hole
ente.ioยท2d
๐Ÿฆ€Rust Macros
How to reason from first principles
caseyhandmer.wordpress.comยท1h
๐ŸŽฏProof Tactics
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.orgยท17h
๐ŸŒณContext free grammars
Turing, Wagner, Ruth
blog.computationalcomplexity.orgยท2hยท
Discuss: blog.computationalcomplexity.org
๐Ÿ“Mathematical Art
A PhD's Apology
cappadokes.github.ioยท8hยท
Discuss: Hacker News
๐ŸงฎTheoretical Computer Science
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.orgยท2d
๐Ÿ—๏ธConstructive Mathematics
Functional Abstract Interpretation
simon.peytonjones.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Asymmetry of Verification and Verifier's Law
jasonwei.netยท19hยท
Discuss: Hacker News
๐Ÿ”ฎProof Search
Kiro and the future of AI spec-driven software development
kiro.devยท6hยท
Discuss: Lobsters, Hacker News
๐Ÿ”ŒInterface Evolution
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.ioยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ›ก๏ธPreservation Proofs
2011 N1 = 2024 A2
blog.evanchen.ccยท3h
๐Ÿ”ฌLean
What can we expect of LLMs as Software Engineers?
chelseatroy.comยท2d
๐Ÿ“Text Parsing
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.toยท5hยท
Discuss: DEV
๐ŸŒ€Brotli Internals