#computerscience

@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

@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

@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

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

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

@lobsters The secret history of Recursion Schemes #Programming #FunctionalProgramming #ComputerScience

@lobsters An Algorithmic Reconstruction of Normalisation by Evaluation #Programming #ComputerScience #Algorithms

@lobsters Mind the van Emden Gap #AI #LLM #ComputerScience

@hackernews A simplified model of Fil-C #HackerNews #Tech #ComputerScience

@lobsters A simplified model of Fil-C #Programming #ComputerScience #CCoding

@lobsters Too much Discussion of the XOR swap trick #Programming #ComputerScience #SoftwareDevelopment

@quanta The AI Revolution in Math Has Arrived #ComputerScience

@hackernews The Paper Computer #HackerNews #Tech #ComputerScience

@quanta Why Do We Tell Ourselves Scary Stories About AI? #ComputerScience

@hackaday Dodging a 60-Year-Old Design Flaw In Your RAM #computerhacks #computerscience #dynamicram

@aartaka Binary Lambda Calculus is Hard #Tech #Programming #ComputerScience

@aartaka Making Sense of Lambda Calculus 6: Recurring Problems #Tech #Programming #ComputerScience