Stories tagged as plt Programming language theory, types, design

Most often also tagged with compilers rust formalmethods haskell lisp javascript ml compsci

  1. 3
    Monongahela: A Balanced Ternary Computer hardware plt wiki.alopex.li
    icefox avatar authored by icefox 6 hours ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 12
    Teaching and Learning Compilers Incrementally compilers plt iucompilercourse.github.io
    amirouche avatar via amirouche 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 12
    Building a Programming Language in Twenty-Four Hours plt ersei.net
    eBPF avatar authored by eBPF 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 166
    The Rust I Wanted Had No Future plt rust graydon2.dreamwidth.org
    matklad avatar via matklad 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 40 comments
  5. 30
    DreamBerd: perfect programming language plt satire github.com
    hwayne avatar via hwayne 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  6. 9
    Higher-Order, Data-Parallel Structured Deduction pdf performance plt arxiv.org
    janus avatar via janus 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 10
    Implementing Co, a Small Language With Coroutines #4: Adding Channels compilers haskell plt abhinavsarkar.net
    abhin4v avatar authored by abhin4v 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 11
    The Expressivity Limitations of Object-Oriented Programming philosophy plt two-wrongs.com
    kqr avatar authored by kqr 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  9. 18
    What Vale Taught Me About Linear Types, Borrowing, and Memory Safety plt verdagon.dev
    Verdagon avatar authored by Verdagon 7 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  10. 10
    Does a programming language with ML-style modules need packages? compsci plt softwareengineering.stackexchange.com
    Corbin avatar authored by Corbin 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  11. 2
    The Gateway Pattern plt mattbrictson.com
    krapans avatar via krapans 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 9
    I think I finally “get” JS objects javascript plt dev.to
    carlmjohnson avatar via carlmjohnson 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  13. 5
    Language Pragmatics Engineering plt borretti.me
    davish avatar via davish 9 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 20
    GraphQL and Type Systems api plt hypirion.com
    hyPiRion avatar authored by hyPiRion 11 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  15. 10
    A story about one refactoring of the parser grammar in IntelliJ-AWK plt programming maximullaris.com
    xonix avatar authored by xonix 12 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 7
    Flux -- Liquid Types for Rust video plt rust youtube.com
    5d22b avatar via 5d22b 14 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 59
    SectorC: A C Compiler in 512 bytes c compilers plt xorvoid.com
    halosghost avatar via halosghost 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  18. 27
    The State Of Garnet, 2023 plt wiki.alopex.li
    icefox avatar authored by icefox 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  19. 3
    Scryer Prolog Meetup 2023 event plt hsd-pbsa.de
    aarroyoc avatar via aarroyoc 15 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 35
    Gleam v0.29 - Gleam gets autocompletion erlang plt release gleam.run
    lpil avatar authored by lpil 16 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  21. 17
    ПП-BESM - a Soviet PL historical plt xav.io
    alexkorban avatar via alexkorban 18 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  22. 12
    Beyond Relooper: recursive translation of unstructured control flow to structured control flow pdf compilers plt dl.acm.org
    Corbin avatar via Corbin 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  23. 5
    Giving, lending, and async closures plt rust smallcultfollowing.com
    5d22b avatar via 5d22b 21 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 4
    The Future of Programming audio ai haskell ml plt signalsandthreads.com
    toastal avatar via toastal 21 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 7
    Deco: Delimiter Collision Free Format plt github.com
    prussian avatar via prussian 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments

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

Page 2 >>