VirtualTam's bookmarks

1. Numbat - A statically typed programming language for scientific computations 2025-02-07

   tags: mathematics, physics, programming-language, programming/rust, science

   [ permalink ]
2. LEAN - Programming Language and Theorem Prover 2024-12-23

   tags: mathematics, programming-language, programming/functional-programming

   [ permalink ]

   • leanprover/lean4
   • About Lean
   • Lean FRO (Focus Research Organization)
   • The Lean FRO Year 2 Roadmap
   • Functional Programming in Lean
3. The Soul of Erlang and Elixir - Sasa Juric - GOTO 2019 2024-04-25

   tags: concurrency, programming-language, programming/elixir, programming/erlang

   [ permalink ]

   • The Soul of Erlang and Elixir - Sasa Juric - GOTO 2019
   • Slides
4. Andrei N. Ciobanu - My list of challenging software projects some programmers should try 2024-03-31

   tags: algorithm, cellular-automaton, data-structure, game, probability, programming-language, programming-language/esoteric, window-manager/tiling

   [ permalink ]
5. postgres_lsp - Language Server for PostgreSQL 2023-12-08

   tags: database/postgresql, programming-language, programming/sql

   [ permalink ]

   • Postgres Language Server: implementing the Parser
   • Hacker News announcement thread
6. Go: A Documentary 2022-03-05

   tags: programming-language, programming/go

   [ permalink ]

   This document collects many interesting (publicly observable) issues, discussions, proposals, CLs, and talks from the Go development process, which intents to offer a comprehensive reference of the Go history.

7. Darker Corners of Go – Rytis Biel 2021-08-21

   tags: programming-language, programming/go

   [ permalink ]
8. Easy Rust: Rust explained using easy English 2020-09-23

   tags: book, programming-language, programming/rust

   [ permalink ]
9. Life As A Developer: My Code Does Not Work Because I Am A Victim Of Complex Societal Factors... 2019-10-15

   tags: agile, australia, database/mongodb, development, editor/emacs, event/talk, fun, programming, programming-language, wtf

   [ permalink ]
10. Node-RED - Low-code programming for event-driven applications 2019-10-06

    tags: flow, internet-of-things, internet/browser, programming, programming-language, visual, web

    [ permalink ]
11. ChocoPy: A Programming Language for Compilers Courses 2019-09-19

    tags: embedded, programming-language, programming/python

    [ permalink ]
12. Microsoft Excel as a Programming Language 2019-09-02

    tags: excel, microsoft, program, programming-language, spreadsheet, turing

    [ permalink ]

    • https://news.ycombinator.com/item?id=429505
    • https://www.quora.com/Can-MS-Excel-be-considered-a-functional-programming-language
    • http://www.felienne.com/archives/2974
    • https://news.ycombinator.com/item?id=6416631
    • https://pt.stackoverflow.com/questions/99642/o-excel-%c3%a9-uma-linguagem-de-programa%c3%a7%c3%a3o
13. go-perfbook: Thoughts on Go performance optimization 2019-07-29

    tags: performance, programming-language, programming/go

    [ permalink ]
14. Yaegi is Yet Another Elegant Go Interpreter 2019-07-25

    tags: command-line, interpreter, programming-language, programming/go, programming/script

    [ permalink ]

    • https://blog.containo.us/announcing-yaegi-263a1e2d070a
    • https://www.reddit.com/r/golang/comments/ch9fec/announcing_yaegi_the_first_complete_golang/
15. shenzhen-go: Experimental visual Go environment 2019-06-11

    tags: game, programming-language, programming/go, visualization

    [ permalink ]

    • https://google.github.io/shenzhen-go/
    • https://www.youtube.com/watch?v=AB9AUAmMlDo
16. Rethinking Visual Programming with Go · divan's blog 2019-06-11

    tags: brain, editor, graph, knowledge, programming, programming-language, text, visualization

    [ permalink ]

    • https://www.reddit.com/r/golang/comments/bwq39f/rethinking_visual_programming_with_go_divans_blog/
17. Python built-ins worth learning - Trey Hunner 2019-05-22

    tags: beginner, programming-language, programming/library, programming/python

    [ permalink ]
18. Orca: Esoteric Programming Language 2019-05-21

    tags: command-line, instrument/midi, programming-language, programming/node.js, sequencer

    [ permalink ]

    • https://wiki.xxiivv.com/#orca
    • https://patchstorage.com/platform/orca/
19. go-patterns: Curated list of Go design patterns, recipes and idioms 2019-04-26

    tags: programming, programming-language/idiom, programming/design-pattern, programming/go, programming/object-oriented-programming

    [ permalink ]
20. The Julia Language 2019-03-30

    tags: mathematics, performance, programming-language, visualization

    [ permalink ]

    • https://docs.julialang.org/en/v1/index.html
    • https://julialang.org/blog/
    • https://julialang.org/blog/2012/02/why-we-created-julia