@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
@daniel_lemire How many branches can your CPU predict? #CPU #Performance #ComputerScience
@daniel_lemire Text formats are everywhere. Why? #ComputerScience #Data #Tech
@daniel_lemire The cost of a function call #Performance #ComputerScience #Optimization
@russcox Fast Unrounded Scaling: Proof by Ivy #Programming #ComputerScience #Algorithms
@russcox Floating-Point Printing and Parsing Can Be Simple And Fast #Programming #ComputerScience #Algorithms
@daniel_lemire A new way to call C from Java: how fast is it? #Performance #ComputerScience #Programming
@russcox Pulling a New Proof from Knuth's Fixed-Point Printer #Programming #ComputerScience #Algorithms
@russcox Floating Point Formatting #Programming #Tech #ComputerScience
@aartaka Making Sense of Lambda Calculus 6: Recurring Problems #Tech #Programming #ComputerScience
@hillel_wayne A Very Early History of Algebraic Data Types #Programming #ComputerScience #History
@hillel_wayne Hiatus #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne Toolbox languages #Programming #SoftwareEngineering #ComputerScience
@hillel_wayne What We Know We Don't Know: Empirical Software Engineering #SoftwareEngineering #ComputerScience #Research
@hillel_wayne Comment Section: Software Friction #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne Software Friction #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne Don't let Alloy facts make your specs a fiction #SoftwareEngineering #FormalMethods #ComputerScience
@hillel_wayne Comment Section: The Hunt For The Missing Data Type #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne The Hunt for the Missing Data Type #Programming #SoftwareEngineering #ComputerScience
@russcox C and C++ Prioritize Performance over Correctness #Programming #SoftwareEngineering #ComputerScience
@russcox The Magic of Sampling, and its Limitations #Programming #ComputerScience #Algorithms
@russcox What is Software Engineering? #SoftwareEngineering #Programming #ComputerScience
@russcox Using Uninitialized Memory for Fun and Profit #Programming #ComputerScience #MemoryManagement