@purplesyringa The NX bit is not just about security #Security #Technology #ComputerScience
@daniel_lemire Python sets and dictionaries can have quadratic-time performance #Python #Performance #ComputerScience
@lobsters Let's build a compressor from scratch #Programming #Rust #ComputerScience
@lobsters Flat vs segmented memory -- it's recursive #ComputerScience #Programming #Memory
@lobsters Coherence and orphan instance rules #Haskell #Programming #ComputerScience
@hillel_wayne A Crash Course in Predicate Logic #Logic #ComputerScience #Programming
@hackernews Agent Memory as a File Format #HackerNews #Tech #ComputerScience
@lobsters Parallel O(sqrt n) Overhead LSD Radix Sort #Algorithms #DataStructures #ComputerScience
@lobsters Does Computer Science Need Computers? #ComputerScience #Academia #Technology
@quanta Does Computer Science Need Computers? #ComputerScience #Theory #Academia
@lobsters The Sync Heap: Delete First, Ask Questions Later #ComputerScience #Research #Programming
@lobsters 50 years of proof assistants #ComputerScience #History #Logic
@lobsters A Design Space Exploration of Async/Await #Programming #Async #ComputerScience
@lobsters Making the Impossible Possible (Again): Ten Years of Flexible Paxos #DistributedSystems #ComputerScience #Paxos
@lobsters Thoughts on powerful primitives for simplified computer systems architecture #ComputerScience #SystemsDesign #OpenSource
@lobsters Programming Paradigms #Programming #SoftwareDevelopment #ComputerScience
@lobsters The changing role of finite-state model checking #ComputerScience #FormalMethods #SoftwareEngineering
@lobsters My favorite Computer Science books, and why #ComputerScience #Programming #Books
@lobsters Foundational Verification of Running-Time Bounds for Interactive Programs #FormalMethods #ComputerScience #Research
@lobsters Programming Language Semantics and Memory Safety #Programming #ComputerScience #MemorySafety
@hackernews I came to write THAT paper with Leslie Lamport #HackerNews #Tech #ComputerScience
@lobsters Everyone Says Assembly Is Untyped--Everyone Is Wrong - gingerBill #Assembly #Programming #ComputerScience
@daniel_lemire Parsing IP addresses in C# at crazy speeds #CSharp #Performance #ComputerScience
@hackernews Curvature Beziers - Improving on a timeless recipe #HackerNews #Tech #ComputerScience
@lobsters Four levels of in-place initialization #Programming #Software #ComputerScience
@lobsters A Programming Paradigm for Spatiotemporal Composability #Programming #SoftwareEngineering #ComputerScience
@hackernews Modeling and Verification of Keeta's Consensus [pdf] #HackerNews #Tech #ComputerScience
@lobsters Computing graph dominators #ComputerScience #Algorithms #Programming
@lobsters A long division story #Algorithm #ComputerScience #Mathematics
@hackernews Intriguing Stories in Computer Science #HackerNews #Tech #ComputerScience
@daniel_lemire AI programming : are you angry yet? #AI #Programming #ComputerScience
@lobsters Tail-Call Interpreters in Rust #Rust #Programming #ComputerScience
@lobsters Multistack Concatenative Programming Languages #Programming #LangDev #ComputerScience
@lobsters Almost consensus: ABD and the edges of quorum replication #DistributedSystems #ComputerScience #Consensus
@hackernews Ask HN: Any tips for a college freshman enrolled in computer science? #HackerNews #Tech #ComputerScience
@hackernews Demystifying DRAM Read Disturbance: RowHammer and RowPress Phenomena #HackerNews #Tech #ComputerScience
@lobsters Logic for Programmers #Programming #Logic #ComputerScience
@hackernews Register deprivation: spills and runtime under forced register scarcity #HackerNews #Tech #ComputerScience
@hackernews Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC) #HackerNews #Tech #ComputerScience
@hillel_wayne Logic for Programmers is Now Available #Programming #SoftwareEngineering #ComputerScience