r/compsci

1. 644points

   PSA: This is not r/Programming. Quick Clarification on the guidelines (self.compsci) [pinned]

   submitted Jun 2019 by u/iSaithh to r/compsci

   101 comments

2. 645points

   The Exponential Time Hypothesis is false (github.com)

   submitted 2d ago by u/Most-Bookkeeper-950 to r/compsci

   168 comments · source

3. 3points

   Revisiting my 2014 BLAS implementation — turns out good designs don't rust :)

   submitted 4d ago by u/False_Actuator_6236 to r/compsci

   0 comments · source

4. 45points

   What if brain surgery affected your ability to code? (self.compsci)

   submitted 5d ago by u/voz83333 to r/compsci

   18 comments

5. 143points

   I made a game to teach digital logic: build up from NAND gates to a working CPU (i.redd.it)

   submitted 6d ago by u/kottbusser_floor to r/compsci

   28 comments · source

6. 0points

   I built a CPU out of a Multi-tape Turing machine (614 states, 8 tapes, runs real programs), and the IDE that made it possible (reddit.com)

   submitted 8d ago by u/dedSEKTR to r/compsci

   6 comments · source

7. 271points

   No scripts: a virtual fly driven by its real brain wiring diagram (70k simulated neurons), live 24/7 (i.redd.it)

   submitted 10d ago by u/WatchInternational89 to r/compsci

   65 comments · source

8. 18points

   I built a canvas simulator for automata theory: DFA/NFA/PDA/Turing machines, regex to NFA conversion, and real-time team collaboration (old.reddit.com)

   submitted 9d ago by u/KebanFiru to r/compsci

   1 comments · source

9. 2points

   what is context switching? (self.compsci)

   submitted 9d ago by u/Mossack-Fonseca to r/compsci

   22 comments

10. 56points

    Replacing B-Trees with streaming linear models (PGM): cache locality and bounds in practice (self.compsci)

    submitted 10d ago by u/gilnett to r/compsci

    20 comments

11. 0points

    What if structured data didn't repeat its schema for every record? (internetobject.org)

    submitted 9d ago by u/AssociationNo4311 to r/compsci

    6 comments · source

12. 0points

    Understanding Jev and Decision Models (dwmkerr.com)

    submitted 12d ago by u/dwmkerr to r/compsci

    0 comments · source

13. 0points

    Measuring the "Bullwhip Effect" in multi-tier databases: Why immediate retries spike PostgreSQL variance by 48% (and how token-bucket budgets fix it)

    submitted 13d ago by u/Key-Impress5490 to r/compsci

    0 comments · source

14. 16points

    [Paper + Code] BloomSpan: A new memory-efficient algorithm for maximal frequent substring mining (self.compsci)

    submitted 17d ago by u/raliev to r/compsci

    3 comments

15. 133points

    The dedication page of SICP/The Wizard Book (2nd edition, 1996) (i.redd.it)

    submitted 18d ago by u/j15y to r/compsci

    1 comments · source

16. 20points

    Implementation of Andreas Bjorklund's algorithm for determining hamiltonicity (self.compsci)

    submitted 18d ago by u/Willy_Importance69 to r/compsci

    4 comments

17. 0points

    Believing P≠NP is fundamentally an act of faith in a world that values the journey over the destination, a belief that the universe was designed to reward deep, grueling effort rather than making all truths instantly cheap (i.redd.it)

    submitted 18d ago by u/big_hole_energy to r/compsci

    9 comments · source

18. 1,268points

    All the complexity improvements released by OpenAI today (old.reddit.com)

    submitted 22d ago by u/cringevampire to r/compsci

    559 comments · source

19. 109points

    John Urschel 🏈 proves sqrt(n) growth factor for partial pivots (arxiv.org) [Research]

    submitted 21d ago by u/beeskness420 to r/compsci

    14 comments · source

20. 331points

    An algorithm for sub-quadratic 3SUM and sub-cubic APSP has been found (arxiv.org)

    submitted 22d ago by u/azurerazor to r/compsci

    52 comments · source

21. 10points

    bloom filters and the math behind their false positive rate (self.compsci)

    submitted 23d ago by u/Putrid-Ad-3768 to r/compsci

    3 comments

22. 24points

    Is lean, and similar programming languages the only acceptable way to prove theorem with computers? (self.compsci)

    submitted 23d ago by u/FollowingEvery4802 to r/compsci

    20 comments

23. 105points

    RuleFlow: A research engine/framework and terminal IDE (Not AI Slop) (old.reddit.com)

    submitted 24d ago by u/sciencenerd_1943 to r/compsci

    9 comments · source

24. 0points

    Thesis with AI

    submitted 24d ago by u/xenrey17orks to r/compsci

    8 comments · source

25. 7points

    Tiles-based video codec for videos of video games (self.compsci)

    submitted 26d ago by u/Usual_Piano9826 to r/compsci

    9 comments