#computerscience

@cstheory_stackexchange Is there an Oracle $A$ with $P^A=NP^A$ and $NP^A\subseteq DTIME(2^{o(n)})$? #ComputerScience #Theory #PvsNP

@hackernews Alan Kay: Shannon gave us a way of dealing with noisy channels [video] #HackerNews #Tech #ComputerScience

@lobsters Do not let your type system reason about aliasing in your programming language #Programming #SoftwareEngineering #ComputerScience

@lobsters A First Futamura Projection #Programming #ComputerScience #Research

@hackernews In Search of a Compositional Theory of Self-Stabilization #HackerNews #Tech #ComputerScience

@hackernews Avoiding the babbling-idiot failure in a time-triggered communication system #HackerNews #Tech #ComputerScience

@lobsters Relation algebra is not relational algebra #Databases #Math #ComputerScience

@lobsters Running an Optimal Trace #ComputerScience #Programming #Tech

@lobsters Coding Theory: A Playful Introduction #Coding #ComputerScience #Education

@anish_athalye Running an Optimal Trace #ComputerScience #Programming #SoftwareDevelopment

@lobsters Adversarial examples for fast hash functions #ComputerScience #Cryptography #Algorithms

@lobsters Lambda MicroEgg #Programming #ComputerScience #Research

@adlrocha_beyond_the_code @adlrocha - LLMs are Rediscovering the Memory Hierarchy #AI #LLM #ComputerScience

@lobsters ZK-JPEG: Zero-knowledge Image Editing and Compression #Cryptography #ComputerScience #ImageCompression

@cstheory_stackexchange Can Boolean Nullstellensatz dual witnesses be represented by few Boolean evaluations? #ComputerScience #Theory #Research

@lobsters Consistent Hashing Proofs #ComputerScience #Algorithms #Mathematics

@lobsters FAQ: Why isn't mutable a subtype of immutable, or vice versa? #Programming #ComputerScience #Lisp

@lobsters Intuitionistic Type Theory (2024) #ComputerScience #Logic #Mathematics

@cstheory_stackexchange Complexity of maintaining H-minor-freeness on edge insertions #ComputerScience #Algorithms #ComplexityTheory

@jepsen Lessons From Testing Distributed Systems #DistributedSystems #Testing #ComputerScience

@cstheory_stackexchange Is this alternating version of set cover NP-Complete? #ComputerScience #Algorithms #NPComplete

@hackernews Typesafe-computer-use drives a Mac toward a goal for 1/50th of a cent per step #HackerNews #Tech #ComputerScience

@hackernews Randomized query complexity can beat certificate complexity #HackerNews #Tech #ComputerScience

@lobsters A New Equal-Area Map for Interactive Computer Use #ComputerScience #WebDev #Cartography

@lobsters SplitFT: Fault Tolerance for Disaggregated Datacenters via Remote Memory Logging #DistributedSystems #ComputerScience #Research

@hackernews Show HN: Navier-Stokes Visualized as 1kB i386 demos #HackerNews #Tech #ComputerScience

@lobsters A Few Good Ideas in Programming Languages #Programming #SoftwareDevelopment #ComputerScience

@cstheory_stackexchange Complexity of problems whose solution count has polynomially bounded smoothness #ComputerScience #ComplexityTheory #Algorithms

@hackernews On Binary Translation and Its Consequences #HackerNews #Tech #ComputerScience

@cstheory_stackexchange Coq proof - no verifier can be simultaneously sound and complete on a µ-sensitive claim from an identical classical trace. Check me please! #ComputerScience #FormalMethods #ProofAssistant

@hackernews LRU is harder to beat than the KV-cache papers suggest #HackerNews #Tech #ComputerScience

@cstheory_stackexchange PSPACE⊆EXPTime? Or PSPACE⊂EXPTime? #ComputerScience #ComplexityTheory #Research

@lobsters How to avoid correctness space leaks on a lazy setting in Haskell (2023) #Haskell #Programming #ComputerScience

@lobsters A Design Space Exploration of Async/Await #Programming #Async #ComputerScience

@cstheory_stackexchange References for local-distribution lower bounds in n-Queens Completion #ComputerScience #Algorithms #Research

@lobsters Why Function Arguments Are Not Function Colors #Programming #ComputerScience #SoftwareEngineering

@lobsters Bitap: my favorite string matching algorithm #Algorithms #Programming #ComputerScience

@cstheory_stackexchange Does this prove a Boolean formula lower bound for NP? #ComputerScience #Theory #NP

@hackernews Understanding Computer Memory Architecture and SSD Internals #HackerNews #Tech #ComputerScience

@lobsters Shared Memory Consistency From Scratch Part 1: Causality #ComputerScience #Hardware #Programming