💻 CS Theory - ch1n3du

Links 08/06/2026: "Rising Emissions, Depleting Water" Due to the Pyramid Scheme of Slop; "Canada Needs to Rebuild Public Telecoms"

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

λType Theory Code

github.com··Hacker News

How Terry Tao Became an Evangelist for AI in Math

λType Theory

quantamagazine.org··Hacker News

Weighing Timed Regular Languages: The Final Step (long version)

📡Information Theory Academic

arxiv.org·

LLL Algorithm for Computer Scientists

λType Theory Blog

leetarxiv.substack.com··Substack, r/programming

US, UN and Arab League Back Civilian-Led Sudan Dialogue With Six-Month Deadline

🗳️Social Choice

easternherald.com·

crafting with code: how architects reinvent making through robotics and digital fabrication

🌀Complexity Science

designboom.com·

CS107 Assignment 1: Reassemble

λType Theory

web.archive.org··Hacker News

In Architecture, What’s Old Is New Again

🌀Complexity Science

commonedge.org·

Quantum Walks on Simplicial Complexes and Harmonic Homology: Application to Topological Data Analysis with Superpolynomial Speedups

λType Theory Academic

arxiv.org·

what 262,715 regex questions on stack overflow haven't answered (part 2)

λType Theory Blog

iev.ee··Lobsters

🥇Top AI Papers of the Week

🔍Interpretability News

nlp.elvissaravia.com·

Fly Genetics Simplifies Mammalian Neurobiology Models

🧠Cognitive Science

neurosciencenews.com·

Links 08/06/2026: "Rising Emissions, Depleting Water" Due to the Pyramid Scheme of Slop; "Canada Needs to Rebuild Public Telecoms"

Using Ropes for Computation

Buffalo commission will draft up major reforms to city charter

Asynchronous AI cuts computing energy by orders of magnitude while learning continuously

Sim2Schedule: A Simulator-Guided LLM Framework for Autonomous Open-Pit Mine Scheduling

Sandholm Receives SIGecom Test of Time Award

The Birth of ‘Artificial Intelligence’

Understanding Principal Component Analysis (PCA)

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

How Terry Tao Became an Evangelist for AI in Math

Weighing Timed Regular Languages: The Final Step (long version)

LLL Algorithm for Computer Scientists

US, UN and Arab League Back Civilian-Led Sudan Dialogue With Six-Month Deadline

crafting with code: how architects reinvent making through robotics and digital fabrication

CS107 Assignment 1: Reassemble

In Architecture, What’s Old Is New Again

Quantum Walks on Simplicial Complexes and Harmonic Homology: Application to Topological Data Analysis with Superpolynomial Speedups

what 262,715 regex questions on stack overflow haven't answered (part 2)

🥇Top AI Papers of the Week

Fly Genetics Simplifies Mammalian Neurobiology Models