💻 CS Theory - ch1n3du · Scour

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems λType Theory

arxiv.org·1d

Tree Calculus λType Theory

news.ycombinator.com·16h·Hacker News

Master Data Structures & Algorithms ⚙️Compilers

risingbrain.org·6d·DEV, r/AskProgramming

Lectures in Advanced Data Structures (6.851) λType Theory

courses.csail.mit.edu·22h

Algorithms for Modern Hardware ⚙️Compilers

en.algorithmica.org·1d·Hacker News

Functional Algorithms, Verified λType Theory

www21.in.tum.de·6d·Lobsters

Retrospective on binary search and comp{ress,ilat}ion (2015) λType Theory

pvk.ca·20h·Hacker News

Computer Science Crossword Puzzles λType Theory

cstrivia.com·2d

Incremental Lambda Calculus λType Theory

inc-lc.github.io·6h·Hacker News

Reflection On Recursion • 2 λType Theory

inquiryintoinquiry.com·1d

How Complex is my Code? ⚙️Compilers

philodev.one·6d·Hacker News

SkeletOSS/ccc: A collection of C containers for programmers that need complete control over memory allocation. λType Theory

github.com·18h·r/C_Programming

Structured Software Architecture ⚙️Compilers

programmingsimplicity.substack.com·1d·Substack

Deterministic Breach of Public-Key Cryptographic Systems (RSA/ECC) via Theorem IV λType Theory

medium.com·14h

Fun Little Solutions λType Theory

blog.computationalcomplexity.org·4d·blog.computationalcomplexity.org

Essentials of Complex Analysis: A Computational Approach λType Theory

blog.wolfram.com·1d

WeakC4, or Distilling an Emergent Object 🔍Interpretability

2swap.github.io·1d·Hacker News

Partial functions and Church’s Thesis λType Theory

logicmatters.net·3d

The Boolean surface area of polynomial threshold functions 🔍Interpretability

arxiv.org·11h

Designing from Invariants 🔍Interpretability

looppass.mindmeld360.com·2d·DEV

Loading more...