💻 CS - matmat · Scour

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata

arxiv.org·14h

🎯Automata theory

How to Write Your Own Programming Language in C#

codemag.com·2d

🔗Concatenative Programming

Group Overview ‹ sAIpien

media.mit.edu·1d

🧭Content Discovery

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·6h·

Discuss: DEV

🚀SIMD Parsing

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·2h·

Discuss: Hacker News

🤝Unification Algorithms

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·5h·

Discuss: Blogger

📐Linear Algebra

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

📊Static Analysis

Subterms Modulo Theories I

philipzucker.com·2d

🎯Automata theory

Please Please Please Let Me Code How I Want

csmeyer.substack.com·1h·

Discuss: Substack

🦀Rust Macros

Feb 08 2026 : Intro to Soldering Workshop: Make an LED Tile

nycresistor.com·15h

⚙️DIY Electronics

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

🧮Kolmogorov Complexity

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

💻Programming languages

A functionally reversible probabilistic computing architecture enabled by interactions of current-controlled magnetic devices

arxiv.org·14h

🎞️Tape Combinatorics

vandragt.com·1d

✅Format Verification

Software as clay on the wheel

dri.es·23h

⚡Proof Automation

Annual Summer School on Mathematical Aspects of Data Science

cstheory-events.org·1d

🧪Data science

Timeline of AI Cinema "Synthia" and its foundational figures by Adel Abdel-Dayem the codifier

future.forem.com·10h·

Discuss: DEV

🌍Cultural Algorithms

The Algebra of Speed: Mathematical Foundations of Computational Performance

ttsugriy.github.io·2d·

Discuss: Hacker News

🎯Performance Proofs

Conversation: LLMs and the what/how loop

martinfowler.com·4h

🧩WASM Components

dev.to·3h·

Discuss: DEV

📜Proof Carrying Code

Loading more...