@lobsters Improving Heuristics (2015) #ComputerScience #Algorithms #GameDev
@lobsters Functional programming from first principles, part 1 - motivation #Programming #FunctionalProgramming #ComputerScience
@lobsters History of John Backus's FP languages #History #Programming #ComputerScience
@hackernews Multiway Turing Machines (2021 pre-ai) #HackerNews #Tech #ComputerScience
@lobsters Xavier Leroy on programming, languages and formal verification #Programming #FormalMethods #ComputerScience
@lobsters Maybe we should revisit microkernels #Microkernels #OperatingSystems #ComputerScience
@quanta A Master of the Traveling Salesperson Problem Finds His Own Path #ComputerScience #Math #Algorithms
@lobsters Capture Clauses as Effects #Rust #Programming #ComputerScience
@lobsters Thoughts On Integers #Programming #Math #ComputerScience
@lobsters Unfolding trees breadth-first in Haskell (2025) #Haskell #Programming #ComputerScience
@lobsters A novel computer Scrabble engine based on probability that performs at championship level (2021) #AI #Games #ComputerScience
@lobsters Abstracting effects with continuations #Programming #GleamLang #ComputerScience
@lobsters Computer Science Off Course - Programming as Theory Building #ComputerScience #Programming #Podcast
@eli_bendersky Dot product: Component vs. Geometric definition #Math #LinearAlgebra #ComputerScience
@purplesyringa Optimal parse with phminposuw #Programming #Algorithms #ComputerScience
@hackernews Collaboration Networks in Brazilian Computer Science #HackerNews #Tech #ComputerScience
@lobsters Superoptimizer -- A Look at the Smallest Program #ComputerScience #Programming #Optimization
@lobsters Unicode's Transliteration Rules Are Turing-Complete #ComputerScience #Unicode #Programming
@lobsters Monoid Composition & Maximum Subarray Sum Problem #Programming #Algorithms #ComputerScience
@hackernews Unicode's transliteration rules are Turing-complete #HackerNews #Tech #ComputerScience
@lobsters Seventy Years of Parsing: Theoretical and Practical Consequences #ComputerScience #Parsing #Programming
@quanta Researchers Reveal the Power of 'Quantum Proofs' #QuantumComputing #ComputerScience #Science
@lobsters Metastability in Recovery: Cascading Recovery with a Loop #Tech #DistributedSystems #ComputerScience
@hackernews Completing a Computer Science Degree on Coursera #HackerNews #Tech #ComputerScience
@lobsters Suffix BWT vs cyclic shift BWT, and fast computation #Algorithms #DataStructures #ComputerScience
@chris_siebenmann Go maps, hashes of map keys, and pointers: a little surprise #Programming #GoLang #ComputerScience
@lobsters Markets are competitive if and only if P != NP #PNP #ComputerScience #Economics
@hackernews Markets are competitive if and only if P = NP #HackerNews #Tech #ComputerScience
@purplesyringa Suffix BWT vs cyclic shift BWT, and fast computation #Algorithms #DataStructures #ComputerScience
@lobsters Optimizing an Algorithm That's Quadratic by Design #Algorithm #Optimization #ComputerScience
@hackernews Local Reasoning for Global Properties #HackerNews #Tech #ComputerScience
@lobsters You Don't Know Jack About Formal Verification #FormalVerification #SoftwareEngineering #ComputerScience
@lobsters The Scanline Sweeper: A Glyph Rendering Algorithm #Graphics #Algorithm #ComputerScience
@lobsters A Typed, Algebraic Approach to Parsing #Programming #Parsing #ComputerScience
@lobsters How ARM64 Instructions Are Really Encoded #ARM #Assembly #ComputerScience
@hackernews Edsger Dijkstra's Library (Housed and Archived in Leuven, Belgium) #HackerNews #Tech #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