VirtualTam's bookmarks

1. Perforator - A cluster-wide continuous profiling tool designed for large data centers

   2025-06-09
   performance/profiling programming/c programming/c++ programming/python

   Permalink
   • Perforator Documentation
   • Optimizing Native Applications with Perforator
   • Yandex’s High-Performance Profiler Is Now Open Source
   • Google-Wide Profiling: A Continuous Profiling Infrastructure for Data Centers
2. Archiving URLs | Gwern

   2025-04-09
   network/http personal-knowledge/bookmark personal-knowledge/digital-garden programming/go programming/html programming/java programming/python web web/scraping

   Permalink
   • Archiving Web Sites (LWN)
   • Robots.txt meant for search engines don’t work well for web archives

   Web page archive formats:

   • ARC (1996)
   • WARC (BnF, 2009)
     • WARC Specifications
     • The WARC Ecosystem

   Tools for crawling, scraping and archiving Web pages:

   • internetarchive/heritrix3 - Extensible, web-scale, archival-quality web crawler project (Java)
   • internetarchive/Zeno - State-of-the-art web crawler (Go)
     • internetarchive/gowarc - Read and write WARC files in Go
   • webrecorder/pywb - Web Archiving Toolkit for replay and recording of web archives (Python)

   Self-hosted solutions:

   • ArchiveBox - A self-hosted app that lets you preserve content from websites in a variety of formats
   • Wallabag - Save and classify articles, read them later
3. AFL++ - American Fuzzy Lop Fuzzing Framework

   2025-02-15
   compiler/llvm genetic-algorithm programming/c++ programming/fuzzing programming/rust research security virtualization/qemu

   Permalink
   • AFLplusplus/AFLplusplus
   • AFLplusplus/LibAFL - A collection of reusable pieces of fuzzers
   • rc0r/afl-utils - Utilities for automated crash sample processing/analysis, job management and corpus optimization
   • 0xricksanchez/AFL_Runner - Scaling best-practice AFLPlusPlus fuzzing campaigns made easy
   • AFL++ Papers
   • Sister Projects
   • The LibAFL Book
   • Fuzzing projects with american fuzzy lop (AFL)
   • afl - american fuzzy lop
4. LEAN - Programming Language and Theorem Prover

   2024-12-23
   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
5. SimCities and SimCrises - Transcript of the keynote for the 2017 International City Gaming Conference

   2024-11-22
   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
6. CERN Open Hardware Licence

   2024-11-03
   diy electronics hardware license research

   Permalink
   • CERN OHL version 2
7. Blackboard bold - Writing bold symbols on a blackboard by doubling certain strokes

   2024-10-23
   mathematics programming/latex research science text text/font

   Permalink
   • Mathematics Meta Stack Exchange - Why do people use blackboard bold here and elsewhere in print?
   • LaTeX Stack Exchange - Looking for a blackboard bold (\mathbb) math font that is thicker than Latin Modern or Computer Modern
   • The LaTeX Font Catalogue - Fonts with math support
   • CTAN - bbold – Sans serif blackboard bold
   • CTAN - amsfonts – TeX fonts from the American Mathematical Society
8. Gymnasium - An API standard for reinforcement learning with a diverse collection of reference environments

   2024-10-13
   artificial-intelligence programming/python research

   Permalink
   • Farama-Foundation/Gymnasium
   • 2407.17032 - Gymnasium: A Standard Interface for Reinforcement Learning Environments (PDF, 2024-07-24)
9. BeamNG.tech - A real time soft-body physics with a comprehensive, expandable platform

   2024-10-13
   artificial-intelligence car image programming/c++ programming/lua programming/python research

   Permalink
   • BeamNG.tech Technical Paper (2021-06-21)
   • Publications
   • BeamNG.tech Blog
   • Project References
   • BeamNG/BeamNGpy - Python API for BeamNG.tech
   • BeamNG/beamng-ros2-integration - Robot Operating System integration
10. Zotero - A free, easy-to-use tool to help you collect, organize, annotate, cite, and share research

    2024-08-29
    document/pdf programming/javascript research text

    Permalink
    • Zotero Documentation
    • zotero/zotero
11. Colour Science - Python package providing a comprehensive number of algorithms and datasets for colour science

    2024-05-31
    color image optics programming/python

    Permalink
    • colour-science/colour
    • Tutorial
    • Interactive Tutorial
    • Features
12. NS-3 Network Simulator - A discrete-event network simulator for Internet systems, targeted primarily for research and educational use

    2024-05-08
    network programming/c programming/c++ programming/python programming/xml simulator user-interface/qt

    Permalink
    • nsnam/ns-3-dev
    • Tutorial
    • Installation
    • Models
    • NetAnim - Animates a previously executed simulation using an XML trace file generated during a simulation
13. Leela Zero - Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper

    2024-05-02
    game/go neural-network programming/c++ programming/java research

    Permalink
    • leela-zero/leela-zero
    • featurecat/lizzie - Leela Zero Interface
    • Mastering the game of Go without human knowledge [PDF]
14. All you need is Wide Events, not "Metrics, Logs and Traces"

    2024-04-19
    database distributed-system observability observability/logging observability/metrics observability/tracing

    Permalink
    • Scuba: Diving into Data at Facebook - International Conference on Very Large Data Bases (VLDB) (PDF, Talk)
    • HN discussion
    • Axiom - Stop sampling, observe every event
      • Adaptive _time compression — A database hacker story
    • Eventrelay - An event streaming/storage system for the rest of us
    • Honeycomb - Identify Outliers
    • Rill - Fast operational dashboards that your team will actually use
    • Strangeloop 17 - Why We Built Our Own Distributed Column Store by Sam Stokes
15. Wageningen University & Research - Image Collections

    2024-04-11
    biology history image map nature plant

    Permalink
16. Odyssey Audio - Community project to research and reconstruct the music of Halo

    2024-04-04
    game/halo instrument/synthesizer microsoft/xbox music music/soundtrack

    Permalink
    • Alex Ball - The Sounds Of HALO: Combat Evolved
17. The Sunlight Certificate Transparency Log

    2024-03-16
    cryptography/certificate cryptography/certificate-authority data-structure/tree data-structure/tree/merkle-tree letsencrypt programming/go

    Permalink
    • Introducing Sunlight, a CT implementation built for scalability, ease of operation, and reduced cost
    • Transparent Logs for Skeptical Clients
    • C2SP/C2SP - Community Cryptography Specification Project
    • FiloSottile/sunlight
    • transparency-dev/serverless-log
18. AWS Access Key Format

    2024-02-28
    cloud-computing/aws programming/go programming/python security security/credentials security/token

    Permalink
    • AWS Security Credentials Formats
    • A short note on AWS KEY ID
    • Research Uncovers AWS Account Numbers Hidden in Access Keys
    • TruffleHog Now Detects AWS Canaries without setting them off
19. Live preview of LaTeX documents with Zathura and Neovim

    2023-10-22
    document/pdf editor/neovim programming/latex

    Permalink
    • ahrm/sioyek - a PDF viewer with a focus on textbooks and research papers
    • frabjous/knap - Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown, and other files
20. A Beg­inner’s Guide to Finding User Needs

    2023-06-24
    research user user-experience user-interface

    Permalink

    Qualitative research on user motivations, activities and problems.