lambda-the-ultimate.org: 19 stories from 18 submitters

  1. 8
    A Manufacturer's Perspective on PL Progress plt lambda-the-ultimate.org
    icefox avatar via icefox 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 40
    Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes compilers lambda-the-ultimate.org
    sanxiyn avatar via sanxiyn 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 26
    What will programming look like in 2020? (2012) practices programming lambda-the-ultimate.org
    xojoc avatar via xojoc 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  4. 36
    The Little Typer book plt lambda-the-ultimate.org
    hashemi avatar via hashemi 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  5. 22
    Chez Scheme now open-source lisp programming lambda-the-ultimate.org
    adamo avatar via adamo 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 16
    hobbes, Morgan Stanley OSS ☶ finance programming lambda-the-ultimate.org
    solidsnack avatar via solidsnack 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 14
    What is the type of eval? lisp ml lambda-the-ultimate.org
    bsima avatar via bsima 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 4
    kdb+ 3.5 released last month databases lambda-the-ultimate.org
    apy avatar via apy 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  9. 7
    Do Be Do Be Do (Frank language) compsci programming lambda-the-ultimate.org
    xcombelle avatar via xcombelle 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 22
    Programming by poking: why MIT stopped teaching SICP lisp practices programming lambda-the-ultimate.org
    michaelochurch avatar via michaelochurch 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  11. 7
    Djinn, a theorem prover in Haskell, for Haskell (2005) ☶ haskell math programming lambda-the-ultimate.org
    zedoary avatar via zedoary 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 4
    Eve: the development diary of a programming environment aimed at non-programmers programming release lambda-the-ultimate.org
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 23
    Some notes on Rust, the language. rust lambda-the-ultimate.org
    mseri avatar via mseri 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  14. 1
    Zélus : A Synchronous Language with ODEs compsci science lambda-the-ultimate.org
    animatronic avatar via animatronic 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 9
    Why do we need modules at all? [Lambda the Ultimate discussion] compsci programming lambda-the-ultimate.org
    zem avatar via zem 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  16. 8
    Programming with Managed Time programming lambda-the-ultimate.org
    inactive-user avatar via inactive-user 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 1
    Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading compsci programming lambda-the-ultimate.org
    apy avatar via apy 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 5
    A glimpse into a new general purpose programming language under development at Microsoft ☶ c programming lambda-the-ultimate.org
    journeysquid avatar via journeysquid 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 3
    (Confessions From A Recovering Typoholic) programming lambda-the-ultimate.org
    SeanTAllen avatar via SeanTAllen 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments