🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Theoretical Computer Science
A Rust Shaped Hole
mnvr.in·11h·
Discuss: Hacker News
🦀Rust Macros
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·19h
💻Programming languages
Cactus Language • Stylistics 4
inquiryintoinquiry.com·7h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·22h·
Discuss: Hacker News
🔍Type Inference
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Historical highlights?
logicmatters.net·11h
🔀Category Theory
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
🎯Performance Proofs
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Rivulets of Life
dothemath.ucsd.edu·9h
🔲Cellular Automata
Functional Abstract Interpretation
simon.peytonjones.org·22h·
Discuss: Hacker News
🔗Functional Compilers
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1h·
Discuss: Hacker News
🎯Interactive Provers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·4d·
Discuss: Hacker News
🌐Computational Topology
Coroutines in C
hackaday.com·1d
🔩Systems Programming
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·7h·
Discuss: Hacker News
💻Programming languages
Beyond Argument: The Creative Craft of Philosophy Writing (guest post)
dailynous.com·11h
🏛️Philosophy
The “Biggest” AI That Came Out Of Nowhere!
youtube.com·7h
🔲Cellular Automata
Edsger W. Dijkstra on IPW's
cs.utexas.edu·2h·
Discuss: Hacker News
🇷🇺Soviet Computing
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap