Stories tagged as plt – Programming language theory, types, design

Tip: read stories across multiple tags with /t/tag1,tag2

  1. 4
    Five Little Languages and How They Grew historical plt bell-labs.com
    idrougge avatar via idrougge 13 hours ago | cached | no comments
  2. 12
    Reconstructing TypeScript, part 0: intro and background ☶ javascript plt jaked.org
    calvin avatar via calvin 4 days ago | cached | no comments
  3. 11
    Verification for Dummies: SMT and Induction plt discuss.ocaml.org
    mseri avatar via mseri 4 days ago | cached | 1 comment
  4. 8
    Seven Deadly Sins of Introductory Programming Language Design (1996) pdf plt users.monash.edu
    breck avatar via breck 5 days ago | cached | 4 comments
  5. 61
    The problem with macros lisp plt ianthehenry.com
    ianthehenry avatar authored by ianthehenry 6 days ago | cached | 40 comments
  6. 3
    Algebraic Effects for the Rest of Us (2019) javascript plt overreacted.io
    xojoc avatar via xojoc 6 days ago | cached | no comments
  7. 36
    Better operator precedence plt scattered-thoughts.net
    calvin avatar via calvin 8 days ago | cached | 19 comments
  8. 2
    loop_tool tutorial - a lazy symbolic linear algebra toolkit ai compilers plt python github.com
    bwasti avatar authored by bwasti 9 days ago | cached | no comments
  9. 8
    Beyond Programming Languages (1979) ☶ pdf plt programming john.cs.olemiss.edu
    Sietsebb avatar via Sietsebb 9 days ago | cached | 2 comments
  10. 40
    Project Verona plt microsoft.github.io
    snej avatar via snej 11 days ago | cached | 16 comments
  11. 9
    Implicit Overflow Considered Harmful (and how to fix it) plt blog.polybdenum.com
    NieDzejkob avatar via NieDzejkob 14 days ago | cached | 7 comments
  12. 7
    Runtype 0.2 - Runtype is a collection of run-time type utilities for Python ☶ show plt python github.com
    erezsh avatar authored by erezsh 14 days ago | cached | 1 comment
  13. 32
    Dune: A shell by the beach show plt unix github.com
    oats avatar via oats 15 days ago | cached | 1 comment
  14. 15
    Programming languages resources compilers plt bernsteinbear.com
    eatonphil avatar via eatonphil 17 days ago | cached | 1 comment
  15. 83
    The seven programming ur-languages apl historical lisp ml plt madhadron.com
    felixyz avatar via felixyz 18 days ago | cached | 54 comments
  16. 24
    How We Made Bracket Pair Colorization 10,000x Faster In Visual Studio Code performance plt code.visualstudio.com
    werat avatar via werat 19 days ago | cached | 10 comments
  17. 11
    A New Medium for Communicating Research on Programming Languages plt willcrichton.net
    brendan avatar via brendan 20 days ago | cached | 1 comment
  18. 2
    Code Smell: Primitive Obsession video plt practices danielbmarkham.com
    DanielBMarkham avatar authored by DanielBMarkham 23 days ago | cached | 2 comments
  19. 6
    Type Check Your Django Application plt python kracekumar.com
    kracekumar avatar authored by kracekumar 24 days ago | cached | no comments
  20. 8
    loda-lang - language, computational model, and OEIS miner ai assembly plt loda-lang.org
    utz avatar via utz 24 days ago | cached | 2 comments
  21. 20
    Go generics have a new "type sets" way of doing type constraints go plt utcc.utoronto.ca
    calvin avatar via calvin 25 days ago | cached | 6 comments
  22. 11
    The Catala Language law plt programming catala-lang.org
    xojoc avatar via xojoc 25 days ago | cached | 6 comments
  23. 1
    Amazon Coretto OpenJDK, A Journey Into Latency Reduction video compilers java plt youtube.com
    eatonphil avatar via eatonphil 25 days ago | cached | no comments
  24. 2
    The Curry-Howard Correspondence video plt youtube.com
    Hail_Spacecake avatar via Hail_Spacecake 26 days ago | cached | no comments
  25. 7
    Cheap interpreter, part 1: overview plt cuddly-octo-palm-tree.com
    Hail_Spacecake avatar via Hail_Spacecake 27 days ago | cached | 5 comments
Page 2 >>