Stories tagged as compsci – Other computer science/programming
  1. 17
    Collapsing Towers of Interpreters ☶ compilers compsci
    animatronic avatar authored by animatronic 9 hours ago | 1 comment
  2. 4
    Comprehensive Threadripper tests - memory vs cpu freq at capped power compsci dragonflybsd hardware lists.dragonflybsd.org
    sevan avatar via sevan 21 hours ago | cached | 1 comment
  3. 25
    What Did Ada Lovelace's Program Actually Do? compsci historical twobithistory.org
    calvin avatar via calvin 24 hours ago | cached | 2 comments
  4. 7
    Universal Method for Approximate Nearest-Neighbor Search Found compsci quantamagazine.org
    mjn avatar via mjn 3 days ago | cached | no comments
  5. 6
    Kitsune: Efficient, General-Purpose Framework for Dynamic, Software Updating in C ☶ c compsci kitsune-dsu.com
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | 1 comment
  6. 16
    A Very Small SAT Solver compsci haskell cse.chalmers.se
    ehamberg avatar via ehamberg 3 days ago | cached | 2 comments
  7. 19
    Modern SAT solvers: fast, neat and underused (part 2 of N) compsci codingnest.com
    calvin avatar via calvin 4 days ago | cached | 1 comment
  8. 29
    Luna v1.4 released — a programming language with dual (textual/visual) representation ☶ compsci programming luna-lang.org
    akavel avatar via akavel 5 days ago | cached | 45 comments
  9. 8
    Those Memex Dreams Again compsci databases natecull.org
    yumaikas avatar via yumaikas 5 days ago | cached | 1 comment
  10. 6
    GSoC 2018 Reports: Integrate libFuzzer with the Basesystem, Part 3 compsci netbsd security blog.netbsd.org
    sevan avatar via sevan 8 days ago | cached | no comments
  11. 9
    Dijkstra's in Disguise compsci blog.evjang.com
    GeoffWozniak avatar via GeoffWozniak 8 days ago | cached | no comments
  12. 2
    Functional Bits: Lambda Calculus based Algorithmic Information Theory pdf compsci math tromp.github.io
    rain1 avatar via rain1 10 days ago | cached | no comments
  13. 2
    Bounding data races in space and time – part I compilers compsci programming blog.acolyer.org
    gasche avatar via gasche 12 days ago | cached | no comments
  14. 13
    Eller's Algorithm compsci neocomputer.org
    calvin avatar via calvin 12 days ago | cached | 1 comment
  15. 12
    GLB: GitHub’s open source load balancer compsci release web githubengineering.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 12 days ago | cached | 2 comments
  16. 7
    Herbie: Automatically Improving Floating Point Accuracy ☶ compsci math programming herbie.uwplse.org
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
  17. 6
    Tries as the evolution of nothing compsci wordsandbuttons.online
    pushcx avatar via pushcx 13 days ago | cached | no comments
  18. 11
    Introduction to µUBSan - a clean-room reimplementation of the Undefined Behavior Sanitizer runtime compilers compsci netbsd security blog.netbsd.org
    sevan avatar via sevan 13 days ago | cached | 11 comments
  19. 8
    Data Structures for Text Sequences (1998) ☶ pdf compsci programming cs.unm.edu
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | 5 comments
  20. 4
    Floating (point) butterfly effect: Searching for tiny bugs that cause big problems c++ compsci debugging blog.esciencecenter.nl
    egpbos avatar authored by egpbos 14 days ago | cached | no comments
  21. 1
    A Survey of Programming Languages and Platforms for Multi-Agent Systems (2006) pdf compsci programming vsis-www.informatik.uni-hamburg.de
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | no comments
  22. 33
    Modern SAT solvers: fast, neat and underused (part 1 of N) compsci codingnest.com
    calvin avatar via calvin 17 days ago | cached | 20 comments
  23. 3
    Survey of Contemporary, Real-Time, Operating Systems (2004) ☶ pdf compsci osdev eng.auburn.edu
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | no comments
  24. 26
    A Typed, Algebraic Approach to Parsing compsci semantic-domain.blogspot.com
    GeoffWozniak avatar via GeoffWozniak 20 days ago | cached | 7 comments
  25. 17
    A Practical Theory Of Programming pdf book compsci programming cs.toronto.edu
    zdsmith avatar via zdsmith 20 days ago | cached | 4 comments
Page 2 >>