VirtualTam's bookmarks

1. Zoekt - Fast trigram based code search 2025-02-19

   tags: programming/go, search-engine, source-code-management/git

   [ permalink ]

   • FAQ
   • Zoekt Query Language Guide
   • isker/neogrok - A frontend for Zoekt
   • Query Language Guide by Neogrok
2. Numbat - A statically typed programming language for scientific computations 2025-02-07

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

   [ permalink ]
3. Intellij Community - FernFlower - An analytical decompiler for Java 2025-01-14

   tags: game/minecraft, intellij, programming/java, reverse-engineering

   [ permalink ]

   • MinecraftForge/FernFlower - Forge's modifications to FernFlower
   • MinecraftForge/ForgeFlower
   • Vineflower/vineflower - A modern, general purpose JVM language decompiler
   • leibnitz27/cfr - A modern Java decompiler written in Java 6
4. Microsoft Desired State Configuration v3 2025-01-13

   tags: infrastructure/automation, programming/c#, programming/go, programming/powershell, programming/rust

   [ permalink ]

   • Get-Test-Set
   • PowerShell Team 2021 Investments
   • powershell/dsc
   • powershell/psdesiredstateconfiguration
   • PowerShell/DSC-Samples
   • Write your first DSC Resource in Go
5. 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
6. pytextrank - Python implementation of TextRank algorithms ("textgraphs") for phrase extraction 2024-12-04

   tags: natural-language-processing, programming/python, text

   [ permalink ]
7. Model Context Protocol (MCP) - An open protocol that enables seamless integration between LLM applications and external data sources and tools 2024-11-30

   tags: editor, network/http, network/json-rpc, neural-network/large-language-model, programming/json, text

   [ permalink ]

   • Anthropic - Introducing the Model Context Protocol
   • modelcontextprotocol repositories
8. Automatic Summarization 2024-11-27

   tags: natural-language-processing, programming/python, programming/r, text

   [ permalink ]

   • TextRank: Bringing Order into Texts (PDF)
   • TextRank example for summarizing text with R
   • TextRank example for text summarization with Python, Numpy, Pandas, NLTK and Networkx
9. Leonhard Euler's letters to a German Princess 2024-11-22

   tags: history, language/french, mathematics, writing

   [ permalink ]
10. SimCities and SimCrises - Transcript of the keynote for the 2017 International City Gaming Conference 2024-11-22

    tags: architecture/urban-planning, city, game/sandbox, game/sim-city, game/simulation, politics, research, science-fiction, society/demographics, weather

    [ permalink ]

    • Matteo Brittanti - How to get rid of homeless? - A 600-page epic split in two volumes documenting the so-called “homeless scandal” that affected the newly released game SimCity (Maxis/Electronic Arts, 2013)
    • Stanisław Lem - The Cyberiad
    • MIT - Urban Intervention Simulation (archive)
    • MIT - City Science Research Group
    • The Landlord's Game, a realty and taxation game intended to educate users about Georgism
    • Invisible Cities, prose poems describing 55 fictitious cities, many of which can be read as commentary on culture, language, time, memory, death, or human experience
11. go-i18n - Translate your Go program into multiple languages 2024-11-21

    tags: internationalization, programming/go

    [ permalink ]

    • Golang internationalization & localization examples with go-i18n
    • Internationalization of a Go web application
12. Embassy - Write safe, correct and energy-efficient embedded code faster, using the Rust programming language 2024-11-18

    tags: embedded, microcontroller/espressif/esp32, microcontroller/espressif/esp8266, network/wireless/bluetooth, network/wireless/wifi, programming/rust, raspberry-pi, serial-communication/usb

    [ permalink ]

    • embassy-rs/embassy
13. Protoscope - A simple, human-editable language for representing and emitting the Protobuf wire format 2024-10-23

    tags: network/grpc, network/protocol-buffers, programming/go

    [ permalink ]
14. A Pattern Language - An abridged, hyper-textual, and copyleft manifestation of the 1977 architecture classic A Pattern Language by Christopher Alexander 2024-05-15

    tags: architecture, book, city

    [ permalink ]

    • zenodotus280/apl
    • Christopher Alexander - Patterns in Architecture
    • HN thread
    • List of related HN threads
15. 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
16. ltex-ls - LTeX Language Server: LSP language server for LanguageTool with support for LaTeX, Markdown, and others 2024-04-22

    tags: editor, programming/kotlin, programming/latex, programming/markdown, text, text/spellcheck

    [ permalink ]

    • LTEX – Grammar/Spell Checker Using LanguageTool with Support for LATEX, Markdown, and Others
17. TypeSpec - A language for defining cloud service APIs and shapes 2024-04-05

    tags: documentation, network/grpc, network/http, network/protocol-buffers, programming/api/rest, programming/json, programming/typescript

    [ permalink ]

    • microsoft/typespec
18. 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 ]
19. Diffing patches for visual programming language MaxMSP 2024-03-16

    tags: digital-audio-workstation/ableton-live, multimedia/max-msp, programming/python, source-code-management/git, text/diff

    [ permalink ]

    • gitattributes - Performing text diffs of binary files
20. GPT From Scratch - GPT in 60 Lines of NumPy 2024-02-28

    tags: neural-network, neural-network/large-language-model, programming/python, programming/python/numpy, programming/sql, text

    [ permalink ]

    • Happy New Year: GPT in 500 lines of SQL