home.social

#nanopass — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #nanopass, aggregated by home.social.

fetched live
  1. interesting Cadence Research Systems-oriented Cisco patent featuring Andy Keep as an inventor:

    "Theres a system compiler comprising: block 1 compiler to compile logic for a logical block in a first language, the 1st language being a DSL & the 1st logic block being switching logic for a network switch; a 2nd block compiler to compile logic for a 2nd logical block in another DSL, the 2nd language being a non-DSL..."
    patents.justia.com/patent/1055

    #chez #scheme #nanopass #cisco #compilers

  2. interesting Cadence Research Systems-oriented Cisco patent featuring Andy Keep as an inventor:

    "Theres a system compiler comprising: block 1 compiler to compile logic for a logical block in a first language, the 1st language being a DSL & the 1st logic block being switching logic for a network switch; a 2nd block compiler to compile logic for a 2nd logical block in another DSL, the 2nd language being a non-DSL..."
    patents.justia.com/patent/1055

    #chez #scheme #nanopass #cisco #compilers

  3. interesting Cadence Research Systems-oriented Cisco patent featuring Andy Keep as an inventor:

    "Theres a system compiler comprising: block 1 compiler to compile logic for a logical block in a first language, the 1st language being a DSL & the 1st logic block being switching logic for a network switch; a 2nd block compiler to compile logic for a 2nd logical block in another DSL, the 2nd language being a non-DSL..."
    patents.justia.com/patent/1055

    #chez #scheme #nanopass #cisco #compilers

  4. interesting Cadence Research Systems-oriented Cisco patent featuring Andy Keep as an inventor:

    "Theres a system compiler comprising: block 1 compiler to compile logic for a logical block in a first language, the 1st language being a DSL & the 1st logic block being switching logic for a network switch; a 2nd block compiler to compile logic for a 2nd logical block in another DSL, the 2nd language being a non-DSL..."
    patents.justia.com/patent/1055

    #chez #scheme #nanopass #cisco #compilers

  5. interesting Cadence Research Systems-oriented Cisco patent featuring Andy Keep as an inventor:

    "Theres a system compiler comprising: block 1 compiler to compile logic for a logical block in a first language, the 1st language being a DSL & the 1st logic block being switching logic for a network switch; a 2nd block compiler to compile logic for a 2nd logical block in another DSL, the 2nd language being a non-DSL..."
    patents.justia.com/patent/1055

    #chez #scheme #nanopass #cisco #compilers

  6. @mzan @pfpoitras

    Totally, and the #nanopass framework is a joy to use. While I'm starting to get interested in #LLVM, primarily because the learning resources are immense, I'm not sure why anyone would choose it except for very low-level matters, or targeting something like SPIRV.

  7. @mzan @pfpoitras

    Totally, and the #nanopass framework is a joy to use. While I'm starting to get interested in #LLVM, primarily because the learning resources are immense, I'm not sure why anyone would choose it except for very low-level matters, or targeting something like SPIRV.

  8. @mzan @pfpoitras

    Totally, and the #nanopass framework is a joy to use. While I'm starting to get interested in #LLVM, primarily because the learning resources are immense, I'm not sure why anyone would choose it except for very low-level matters, or targeting something like SPIRV.

  9. @mzan @pfpoitras

    Totally, and the #nanopass framework is a joy to use. While I'm starting to get interested in #LLVM, primarily because the learning resources are immense, I'm not sure why anyone would choose it except for very low-level matters, or targeting something like SPIRV.

  10. Nora: an experimental #Racket implementation using #MLIR (the megapass variant of the #nanopass framework from #LLVM)

    github.com/pmatos/nora

  11. Nora: an experimental #Racket implementation using #MLIR (the megapass variant of the #nanopass framework from #LLVM)

    github.com/pmatos/nora

  12. Nora: an experimental #Racket implementation using #MLIR (the megapass variant of the #nanopass framework from #LLVM)

    github.com/pmatos/nora

  13. Nora: an experimental #Racket implementation using #MLIR (the megapass variant of the #nanopass framework from #LLVM)

    github.com/pmatos/nora

  14. Nora: an experimental #Racket implementation using #MLIR (the megapass variant of the #nanopass framework from #LLVM)

    github.com/pmatos/nora

  15. If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to interpret the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.

    #scheme #racket

  16. If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to interpret the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.

    #scheme #racket

  17. If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to interpret the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.

    #scheme #racket

  18. If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to interpret the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.

    #scheme #racket

  19. If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to address the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.

    #scheme #racket

  20. andy keep's #nanopass framework for chez #scheme should become the #LLVM of functional programming

  21. andy keep's #nanopass framework for chez #scheme should become the #LLVM of functional programming

  22. andy keep's #nanopass framework for chez #scheme should become the #LLVM of functional programming

  23. andy keep's #nanopass framework for chez #scheme should become the #LLVM of functional programming