VirtualTam's bookmarks

1. AFL++ - American Fuzzy Lop Fuzzing Framework 2025-02-15

   tags: 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
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. 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
4. CERN Open Hardware Licence 2024-11-03

   tags: diy, electronics, hardware, license, research

   [ permalink ]

   • CERN OHL version 2
5. Blackboard bold - Writing bold symbols on a blackboard by doubling certain strokes 2024-10-23

   tags: 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
6. Gymnasium - An API standard for reinforcement learning with a diverse collection of reference environments 2024-10-13

   tags: artificial-intelligence, programming/python, research

   [ permalink ]

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

   tags: 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
8. Zotero - A free, easy-to-use tool to help you collect, organize, annotate, cite, and share research 2024-08-29

   tags: document/pdf, programming/javascript, research, text

   [ permalink ]

   • Zotero Documentation
   • zotero/zotero
9. Colour Science - Python package providing a comprehensive number of algorithms and datasets for colour science 2024-05-31

   tags: color, image, optics, programming/python

   [ permalink ]

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

    tags: 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
11. Leela Zero - Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper 2024-05-02

    tags: 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]
12. All you need is Wide Events, not "Metrics, Logs and Traces" 2024-04-19

    tags: 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
13. Wageningen University & Research - Image Collections 2024-04-11

    tags: biology, history, image, map, nature, plant

    [ permalink ]
14. Odyssey Audio - Community project to research and reconstruct the music of Halo 2024-04-04

    tags: game/halo, instrument/synthesizer, microsoft/xbox, music, music/soundtrack

    [ permalink ]

    • Alex Ball - The Sounds Of HALO: Combat Evolved
15. The Sunlight Certificate Transparency Log 2024-03-16

    tags: 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
16. AWS Access Key Format 2024-02-28

    tags: 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
17. Live preview of LaTeX documents with Zathura and Neovim 2023-10-22

    tags: 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
18. A Beg­inner’s Guide to Finding User Needs 2023-06-24

    tags: research, user, user-experience, user-interface

    [ permalink ]

    Qualitative research on user motivations, activities and problems.

19. So your institute went cold turkey on publisher X. What now? 2023-06-05

    tags: article, internet/browser, research

    [ permalink ]

    Related:

    • Accéder à des articles scientifiques de manière éthique [FR]
20. HyperLogLog - Approximate the number of distinct elements in a set 2022-12-14

    tags: algorithm, database/postgresql, database/redis

    [ permalink ]

    • HyperLogLog: the analysis of a near-optimal cardinality estimation algorithm (PDF)
    • HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardinality Estimation Algorithm
    • https://agkn.wordpress.com/2012/10/25/sketch-of-the-day-hyperloglog-cornerstone-of-a-big-data-infrastructure/
    • Redis new data structure: the HyperLogLog
    • https://www.reddit.com/r/programming/comments/21wshj/redis_new_data_structure_the_hyperloglog/
    • https://redis.uptrace.dev/guide/go-redis-hll.html
    • https://towardsdatascience.com/hyperloglog-a-simple-but-powerful-algorithm-for-data-scientists-aed50fe47869
    • https://odino.org/my-favorite-data-structure-hyperloglog/
    • http://blog.notdot.net/2012/09/Dam-Cool-Algorithms-Cardinality-Estimation
    • https://supabase.com/blog/seen-by-in-postgresql
    • https://www.citusdata.com/blog/2017/12/22/distributed-count-vs-hyperloglog/