#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

@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

@daniel_lemire Sovereign #ComputerScience #Performance #Research

@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

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

@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

@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

@daniel_lemire Checking multiplication overflow #ComputerScience #Performance #Algorithms

@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

@lobsters A Letter from Dijkstra on APL(1982) #Programming #History #ComputerScience

@lobsters Posits: tapered precision real numbers (2018) #ComputerScience #Math #Programming

@lobsters You can beat the binary search #Algorithm #Optimization #ComputerScience

@daniel_lemire You can beat the binary search #ComputerScience #Algorithms #Optimization

@lobsters On Interaction Nets and Hardware #Hardware #ComputerScience #Tech

@lobsters Basic Type System Terminology #Programming #TypeSystem #ComputerScience