Search
 
   

7 results for "domain:seas.harvard.edu"

  1. 2
    BrainCoqulus: A Formally Verified Optimizing Compiler of Lambda Calculus to Brainfuck ☶ pdf compilers formalmethods read.seas.harvard.edu
    nickpsecurity avatar via nickpsecurity 23 days ago | cached | no comments
  2. 7
    “Breakthrough” algorithm exponentially faster than any previous one ai compsci seas.harvard.edu
    mempko avatar via mempko 1 month ago | cached | 3 comments
  3. 1
    Noise warfare ai security seas.harvard.edu
    mempko avatar via mempko 6 months ago | cached | no comments
  4. 2
    Single metalens focuses all colors of the rainbow in one point science seas.harvard.edu
    Yogthos avatar via Yogthos 7 months ago | cached | 1 comment
  5. 5
    Shill: Scripting with Least Privilege - Open Projects ☶ freebsd security unix shill.seas.harvard.edu
    rain1 avatar via rain1 2 years ago | cached | no comments
  6. 13
    Shill: Scripting with Least Privilege compsci freebsd programming shill.seas.harvard.edu
    BruceM avatar via BruceM 3 years ago | cached | 2 comments
  7. 2
    Needle beam - light beam that propagates over long distance without scattering science seas.harvard.edu
    ww520 avatar via ww520 5 years ago | cached | no comments