💻 CS - matmat · Scour

CS 7520: Programming Languages and Semantics 💻Programming languages

my.eng.utah.edu·6d

Complexity Classes Arising from Circuits over Finite Algebraic Structures 🎞️Tape Combinatorics

Models of computation 📼Tape Combinators

curiouscoding.nl·6d

[2026] Harvard CS50 Guide: How to Pick the Right Course (with Free Certificate) 📐Linear Algebra

classcentral.com·4d

The seven programming ur-languages (2022) 💻Programming languages

news.ycombinator.com·6d·Hacker News

Show HN: Four years of my CS degree, typeset in LaTeX (850 pages) 📐Document Calculus

starikov.co·5d·Hacker News

Carnegie Mellon at ICLR 2026 💻Programming languages

blog.ml.cmu.edu·5d

Introduction to Programming 🔗Concatenative Programming

w3schools.com·6d

JoyAI-RA 0.1: A Foundation Model for Robotic Autonomy 🔲Cellular Automata

Finding duplicated code with tools from your CS course λLambda Encodings

purplesyringa.moe·3d·Hacker News

Design and application of general circuits for solving matrix equation 📐Linear Algebra

sciencedirect.com·6d

Physics of Computation and Behavior in Plants 🔲Cellular Automata

Algebraic Diversity: Principles of a Group-Theoretic Approach to Signal Processing 🌈Spectral Methods

CSC: Turning the Adversary's Poison against Itself 🔐Cryptographic Archaeology

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline ⚡Proof Automation

RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen 🎯Performance Proofs

Metastability-Containing Turing Machines 🎞️Tape Combinatorics

On the Emergence of Syntax by Means of Local Interaction 💻Programming languages

Automatic constraint satisfaction problem 🧮Constraint SMT

Learning to Reason with Insight for Informal Theorem Proving 🧮Theorem Proving

Log in to enable infinite scrolling