microsoft.com: 105 stories from 51 submitters

  1. 20
    The Impact of Generative AI on Critical Thinking pdf ai cogsci microsoft.com
    toast avatar via toast 26 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  2. 7
    Division and Modulus for Computer Scientists (2003) plt programming microsoft.com
    andyc avatar via andyc 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  3. 7
    Fast Arithmetic with Tagged Integers - A Plea for Hardware Support (2022) programming microsoft.com
    andyc avatar via andyc 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  4. 15
    Desugaring Haskell's do-Notation into Applicative Operations pdf haskell plt microsoft.com
    xoranth avatar via xoranth 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 7
    Uncursing the ncurses: Memory corruption vulnerabilities found in library security microsoft.com
    fro avatar via fro 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 6
    Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language compilers programming microsoft.com
    andyc avatar via andyc 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 4
    Programming with Implicit Values, Functions, and Control (2019) pdf plt microsoft.com
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 32
    FP^2: Fully in-Place Functional Programming pdf plt microsoft.com
    brendan avatar via brendan 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  9. 10
    New macOS vulnerability, Migraine, could bypass System Integrity Protection mac security microsoft.com
    fro avatar via fro 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 17
    A fork() in the road pdf osdev microsoft.com
    fanf avatar via fanf 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 41 comments
  11. 25
    CHERIoT: Rethinking security for low-cost embedded systems hardware security microsoft.com
    david_chisnall avatar authored by david_chisnall 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 35 comments
  12. 4
    Combining Model Checking and Testing pdf formalmethods testing microsoft.com
    akkartik avatar via akkartik 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 4
    Rethinking the Library OS from the Top Down (2011) pdf osdev windows microsoft.com
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 4
    Automating String Processing in Spreadsheets using Input-Output Examples (2011) plt programming microsoft.com
    gcd avatar via gcd 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 6
    Uncovering a macOS App Sandbox escape vulnerability: A deep dive into CVE-2022-26706 mac security microsoft.com
    fro avatar via fro 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 3
    Paxos Made Simple (2001) pdf distributed microsoft.com
    yonkeltron avatar via yonkeltron 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 8
    Designing a Framework for Conversational Interfaces ai api cogsci microsoft.com
    ztellman avatar authored by ztellman 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 26
    A fork() in the road (2019) ☶ pdf osdev unix microsoft.com
    dbremner avatar via dbremner 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  19. 25
    Mimalloc: Free List Sharding in Action pdf c performance microsoft.com
    francesco avatar via francesco 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  20. 24
    Microsoft finds new macOS vulnerability, Shrootless, that could bypass System Integrity Protection mac security microsoft.com
    fro avatar via fro 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  21. 8
    Perceus: Garbage Free Reference Counting with Reuse ☶ pdf programming microsoft.com
    dbremner avatar via dbremner 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 3
    A deep-dive into the SolarWinds Serv-U SSH vulnerability reversing security microsoft.com
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 17
    C--: A Portable Assembly Language (1997) pdf assembly plt microsoft.com
    sebastian avatar via sebastian 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  24. 2
    New sophisticated email-based attack from NOBELIUM security microsoft.com
    lattera avatar via lattera 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 5
    Hints for Computer System Design pdf programming microsoft.com
    thrgamon avatar via thrgamon 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>