Search
 
   

111 results for "domain:mit.edu"

  1. 1
    Synquid - program synthesis with refinement types compsci comcom.csail.mit.edu
    craigstuntz avatar via craigstuntz 2 years ago | cached | no comments
  2. 7
    The Unreasonable Reputation of Neural Networks cogsci math programming thinkingmachines.mit.edu
    j2kun avatar via j2kun 2 years ago | cached | no comments
  3. 7
    End-to-End Arguments in System Design pdf distributed web.mit.edu
    tylertreat avatar via tylertreat 2 years ago | cached | 1 comment
  4. 5
    Sniffly privacy security web zyan.scripts.mit.edu
    pushcx avatar via pushcx 2 years ago | cached | 1 comment
  5. 6
    Application Performance and Flexibility on Exokernel Systems (1995) programming pdos.csail.mit.edu
    pushcx avatar via pushcx 2 years ago | cached | 3 comments
  6. 7
    (2006) Tim Sweeney - The Next Mainstream Programming Language pdf c games haskell programming groups.csail.mit.edu
    akurilin avatar via akurilin 2 years ago | cached | 1 comment
  7. 3
    Building Robust Systems an essay pdf compsci groups.csail.mit.edu
    rubenbarroso avatar via rubenbarroso 2 years ago | cached | no comments
  8. 11
    First new cache-coherence mechanism in 30 years ☶ compsci hardware scaling news.mit.edu
    jitterted avatar via jitterted 2 years ago | cached | 4 comments
  9. 11
    Crash-tolerant data storage compsci news.mit.edu
    craigstuntz avatar via craigstuntz 3 years ago | cached | 11 comments
  10. 24
    Backdooring your JavaScript using minifier bugs compilers javascript security zyan.scripts.mit.edu
    hdevalence avatar via hdevalence 3 years ago | cached | 2 comments
  11. 2
    The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors (2013) pdf compsci web.mit.edu
    peterhorne avatar via peterhorne 3 years ago | cached | 1 comment
  12. 6
    UNIX Haters Handbook pdf rant unix web.mit.edu
    calvin avatar via calvin 3 years ago | cached | 8 comments
  13. 17
    The Little Prover book compsci mitpress.mit.edu
    zem avatar via zem 3 years ago | cached | 2 comments
  14. 16
    How Complex Systems Fail pdf programming web.mit.edu
    Sinjo avatar via Sinjo 3 years ago | cached | 5 comments
  15. 1
    Lisp: A Language for Stratified Design pdf lisp dspace.mit.edu
    SeanTAllen avatar via SeanTAllen 3 years ago | cached | no comments
  16. 4
    The AI Programmer's Bookshelf programming alumni.media.mit.edu
    vvh avatar via vvh 3 years ago | cached | no comments
  17. 2
    CogNet science cognet.mit.edu
    robin avatar via robin 3 years ago | cached | no comments
  18. 1
    The Meditations by Marcus Aurelius philosophy classics.mit.edu
    bitemyapp avatar via bitemyapp 3 years ago | cached | no comments
  19. 5
    OpenTuner: An Extensible Framework for Program Autotuning pdf compsci groups.csail.mit.edu
    aysylu avatar via aysylu 3 years ago | cached | 1 comment
  20. 0
    MIT computer scientists can predict the price of Bitcoin cryptocurrencies newsoffice.mit.edu
    lormayna avatar via lormayna 3 years ago | cached | 2 comments
Page: 1 2 3 4 5