Cyclic Proofs for iGL via Corecursion
arxiv.org·4h
⚔️Lean Tactics
Flag this post
Creating Lisp Systems
🔗Lisp
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🎯Performance Proofs
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
🔓Open Source Software
Flag this post
essential spectrum
ncatlab.org·22h
🕸️Algebraic Topology
Flag this post
Low-Level Hacks
🔩Systems Programming
Flag this post
Build your own GPG in Rust
🌳Archive Merkle Trees
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·20h
📝Concrete Syntax
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·12h
📝Concrete Syntax
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·4h
🧮Theoretical Computer Science
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
🔍Information Retrieval
Flag this post
Loading...Loading more...