Newest stories submitted by veqq.

  1. 9
    Category Theory in Programming education lisp math docs.racket-lang.org
    veqq avatar via veqq 15 hours ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 23
    How do you manage Personal Email, Registar and Host Accounts to Prevent Lock Out? ☶ email privacy security
    veqq avatar authored by veqq 26 hours ago | 16 comments
  3. 6
    How we prevent conflicts in authoritative DNS configuration using formal verification formalmethods lisp blog.cloudflare.com
    veqq avatar via veqq 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 6
    A Typed Foundation for Directional Logic Programming pdf ai plt cs.bham.ac.uk
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 8
    Type Tailoring pdf lisp plt users.cs.utah.edu
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 22
    How to Make Racket Go (Almost) As Fast As C lisp lambdaland.org
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  7. 1
    Permacomputing Aesthetic in Computational Art, Design and Culture (2023) pdf culture retrocomputing monoskop.org
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 12
    Tutorial on Good Lisp Programming Style (1993) pdf lisp cs.umd.edu
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  9. 7
    The Science of Functional Programming book programming github.com/winitzki
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 6
    Behavorial Programming in Clojure lisp thomascothran.tech
    veqq avatar via veqq 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 8
    macro-forth: Forth implemented in compile-time rust macros plt rust github.com/zdimension
    veqq avatar via veqq 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 11
    Implementation of Functional Languages Using Custom Hardware (1985) hardware lisp cl.cam.ac.uk
    veqq avatar via veqq 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  13. 5
    Logic and Computation Intertwined formalmethods lisp cs.uwaterloo.ca
    veqq avatar via veqq 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 19
    Common Lisp Cookbook lisp lispcookbook.github.io
    veqq avatar via veqq 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  15. 5
    Hello Frink (2015) plt science ncreep.github.io
    veqq avatar via veqq 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 15
    A Forth Story (1995) programming groups.google.com
    veqq avatar via veqq 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 8
    Rill - Library for Simpler Concurrency in Go go github.com/destel
    veqq avatar via veqq 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 13
    Lambda Way Project - Lisp, IDE & SSG lisp lambdaway.fr
    veqq avatar via veqq 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  19. 12
    Common Lisp is Not a Single Language, but Many lisp aartaka.me
    veqq avatar via veqq 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  20. 10
    Common Lisp for Shell Scripting lisp simonsafar.com
    veqq avatar via veqq 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  21. 1
    Mocks and Explicit Contracts in Elixir (2015) elixir testing dashbit.co
    veqq avatar via veqq 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 12
    Software Engineering's Greatest Hits education programming third-bit.com
    veqq avatar via veqq 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  23. 51
    Go 1.22: Interactive Release Notes go antonz.org
    veqq avatar via veqq 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  24. 1
    All Code is Technical Debt programming tokyodev.com
    veqq avatar via veqq 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 27
    NASA Library of Formal Method Developments formalmethods lisp github.com/nasa
    veqq avatar via veqq 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>