Stories tagged as compsci Other computer science/programming

Most often also tagged with math compilers hardware distributed security historical haskell c

  1. 10
    Finally, a Fast Algorithm for Shortest Paths on Negative Graphs compsci math quantamagazine.org
    dzwdz avatar via dzwdz 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 1
    Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs ☶ pdf compsci hyfshishen.github.io
    calvin avatar via calvin 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 1
    Optimizing Redis’ Default Compiler Flags compsci performance redis.com
    asteroid avatar via asteroid 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 10
    Three Sins of Authors in Computer Science and Math compsci math cs.cmu.edu
    lucic71 avatar via lucic71 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  5. 21
    Convergence verification of the Collatz problem compsci math pcbarina.fit.vutbr.cz
    Corbin avatar via Corbin 10 days ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  6. 8
    On the Algebraic Properties of Flame Graphs compsci math performance arxiv.org
    Corbin avatar via Corbin 11 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 2
    The Pubgrub version solving algorithm compsci github.com
    hwayne avatar via hwayne 12 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 2
    Shor's Algorithm - Explanation and Illustration compsci cryptography qiskit.org
    river avatar via river 12 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 1
    How many logical qubits are needed to run Shor's algorithm efficiently on large integers compsci cryptography quantumcomputing.stackexchange.com
    river avatar via river 12 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 2
    The Impossible Power of This Simple Math Proof video compsci math youtube.com
    Corbin avatar via Corbin 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 6
    A curated list of software and architecture related design patterns compsci github.com
    asteroid avatar via asteroid 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  12. 4
    Can Logic Programming Execute as Fast as Imperative Programming? (1990) pdf compilers compsci plt eecs.berkeley.edu
    chrislloyd avatar via chrislloyd 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 2
    Mechanizing Modern Mathematics audio compsci math plt typetheoryforall.com
    Corbin avatar via Corbin 18 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 5
    Logic at its Limit: The Grelling-Nelson Paradox video compsci math plt youtube.com
    Corbin avatar via Corbin 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 29
    Good theory books you would recommend? ☶ ask compsci
    teymour avatar authored by teymour 21 days ago | 29 comments
  16. 20
    Examples of floating point problems compsci math jvns.ca
    Corbin avatar via Corbin 22 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  17. 4
    Tetris is Capable of Universal Computation compsci games meatfighter.com
    carlmjohnson avatar via carlmjohnson 26 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 6
    Wittgenstein versus Turing on the nature of Church's thesis compsci projecteuclid.org
    lucic71 avatar via lucic71 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 4
    Faster general parsing through context-free memoization (PLDI 2020) ☶ compilers compsci dl.acm.org
    vrthra avatar via vrthra 29 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  20. 9
    A Curious Integral compsci math golem.ph.utexas.edu
    Corbin avatar via Corbin 29 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 30
    Galactic algorithm compsci en.m.wikipedia.org
    smaddox avatar via smaddox 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  22. 1
    The Automatic Sequence Controlled Calculator pdf compsci historical inversethought.com
    calvin avatar via calvin 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 5
    Claude Shannon - Father of the Information Age video compsci person youtube.com
    Zamicol avatar via Zamicol 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 3
    Satisfiability: Theory, Practice, and Beyond Boot Camp ☶ video compsci simons.berkeley.edu
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 14
    Complexity Zoo compsci math complexityzoo.net
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments

Tip: read stories across multiple tags with /t/tag1,tag2

Page 2 >>