💻 CS - matmat · Scour

Algo P\"art: An Algorithmic Reconstruction of Arvo P\"art's Summa 🎯Performance Proofs

arxiv.org·2d·

bobeff/programming-math-science: This is a list of links to different freely available learning resources about computer programming, math, and science. 🧬Functional Programming

github.com·6d·Hacker News·

Building CompilerSutra 🔨Compilers

docs.google.com·7h·DEV·

A+ 📊APL Heritage

aplwiki.com·2d·Hacker News·

Programming languages for AI 💻Programming languages

blog.ploeh.dk·3d·

Computer Science Notes 🔤Type Theory

klatz.co·1d·

Formal Verification in Any Language for Everybody ⚔️Lean Tactics

dev-log.me·1d·Hacker News·

Introduction to Embedded Systems 🦀Embedded Rust

amazon.com·6d·r/embedded·

From Prompt to Prediction: Understanding Prefill, Decode, and the KV Cache in LLMs 🚀SIMD Text Processing

machinelearningmastery.com·2d·

My theoretical computer science notes from Epsilon Camp 🧮Theoretical Computer Science

scottaaronson.blog·4d·

A WASM first programming language with effect typing 🧩WASM Components

voyd.dev·1d·Hacker News·

Garbage Collection: From First Principles to Modern Collectors in Java, Go and Python 🧠Memory Allocators

shbhmrzd.github.io·1d·Hacker News, r/programming·

Breaking Enigma with Index of Coincidence on a Commodore 64 🔐Cryptographic Archaeology

imapenguin.com·1d·Hacker News, r/crypto, r/programming·

C++ support by stedolan · Pull Request #14701 🦀Rust Macros

github.com·11h·Hacker News·

Absolute convergence and Taylor expansion in web based models of Linear Logic 🔮Proof Search

arxiv.org·6d·

Beyond Bits: An Introduction to Computation over the Reals 🎯Performance Proofs

arxiv.org·1d·

Azer0s/tin: A freshly canned systems language 🥫 💧Liquid Types

github.com·1d·Hacker News·

Proofdoors and Efficiency of CDCL Solvers 🎯Interactive Provers

arxiv.org·3d·

dropbox/dMATH: Formal verification and theorem proving tools ⚔️Lean Tactics

github.com·2d·Hacker News·

On the Complexity of Determinations 🎯Performance Proofs

arxiv.org·2d·

Loading more...