#computerscience

@hackernews Edsger Dijkstra's Library (Housed and Archived in Leuven, Belgium) #HackerNews #Tech #ComputerScience

@math_stackexchange Finding the degeneracy of the square of a graph #Math #GraphTheory #ComputerScience

@hackernews MSc Thesis - The Limits of Generalized Sync #HackerNews #Tech #ComputerScience

@hackernews Bipartite Matching Is in NC #HackerNews #Tech #ComputerScience

@lobsters How a Computer Should Work #ComputerScience #Programming #Tech

@lobsters Why languages should never reorder structs #Programming #SoftwareEngineering #ComputerScience

@scientific_american Fei-Fei Li #AI #ComputerScience #Tech

@lobsters Xavier Leroy's new book on Control Sturctures in Programming #Programming #Software #ComputerScience

@hackaday Is a CS Degree DOA thanks to LLMs? IEEE Says TBD. #AI #ComputerScience #FutureOfWork

@emi_h A New mCRL2 Type System #Programming #FormalSystems #ComputerScience

@hackernews Why Your CPU Is Fast but Your Program Is Slow: Understanding the Memory Wall #HackerNews #Tech #ComputerScience

@lobsters Learning Regular Languages with the TTT Algorithm #ComputerScience #Algorithms #Programming

@lobsters A Brief Introduction to Icon #Programming #Software #ComputerScience

@lobsters Debootstrapping without Archeology: Stacked Implementations in Camlboot #Programming #ComputerScience #Caml

@hackernews Why a Computer Science Degree Still Opens Hidden Doors #HackerNews #Tech #ComputerScience

@lobsters Passing DBs Through Continuations #Programming #ComputerScience #SoftwareDevelopment

@hackernews Bit Propagation over a Noisy Grid #HackerNews #Tech #ComputerScience

@lobsters The 12 Commandments of Synchronization #DistributedSystems #ComputerScience #Concurrency

@lobsters PivCo-Huffman #ComputerScience #Algorithms #DataCompression

@lobsters No Let, No Rec, No Problem: A Gentler Introduction to the Y and Z combinators #Programming #ComputerScience #FunctionalProgramming

@lobsters Coalgebras and Automata #Haskell #ComputerScience #Logic

@lobsters CSCI 1377: Tools for Thought (Spring 2026) #Education #ComputerScience #Learning

@lobsters Back to the Building Blocks' Building Blocks #Hardware #ComputerScience #Engineering

@lobsters Only 17% of all 64-bit Integers are products of two 32-bit integers #Math #Programming #ComputerScience

@lobsters The case against boolean logic #Logic #Philosophy #ComputerScience

@lobsters Virtual Time for discrete event simulation and distributed concurrency control (1985) #Simulation #DistributedSystems #ComputerScience

@occasionally_cogent Base Case #Programming #Recursion #ComputerScience

@lobsters L1 instruction cache set conflicts, associativity, and code alignment in Go #GoLang #Performance #ComputerScience

@lobsters Church Encoding, Parametricity, and the Yoneda Lemma #Programming #Math #ComputerScience

@lobsters Programming as Theory Building (1985) #Programming #ComputerScience #History

@lobsters A Simple Runtime Invariant Miner #ComputerScience #SoftwareEngineering #Programming

@erik_mcclure The Universal Needle In A Haystack Finder #SoftwareEngineering #Algorithms #ComputerScience

@lobsters Generalising monads to arrows (1998) #Programming #FunctionalProgramming #ComputerScience

@quanta How Unknowable Math Can Help Hide Secrets #Math #Cryptography #ComputerScience

@lobsters Abstract Machines for Logic Programs #Programming #Logic #ComputerScience

@lobsters The agent principal-agent problem #Programming #ComputerScience #AI

@hackernews The Traveling Salesdog Problem #HackerNews #Tech #ComputerScience

@lobsters 6.828: Operating System Engineering (2012) #OperatingSystems #ComputerScience #Education

@lobsters On (not) using "cryptographic hashes" for hash table keys #ComputerScience #Security #Algorithms

@purplesyringa You might misunderstand arithmetic coding #Coding #Algorithms #ComputerScience