VirtualTam's bookmarks

1. rerun-io/revy - Proof-of-concept time-travel debugger for the Bevy game engine, built using Rerun 2024-03-31

   tags: debugging, engine/bevy, graphics/2d, graphics/3d, programming/rust

   [ permalink ]

   • rerun-io/rerun - Visualize streams of multimodal data
2. Between the Lanes: The Sound (Proof Booths) of Silence 2023-10-29

   tags: diy, game, glass, noise, soundproof

   [ permalink ]
3. The Coq Proof Assistant 2019-02-08

   tags: algorithm, logic, mathematics, proof, software

   [ permalink ]

   • https://github.com/coq/coq
4. “What is this s#*t?!” → assertchris.io 2019-01-21

   tags: network/http, programming/html, programming/php, programming/xml, websocket

   [ permalink ]

   • https://github.com/preprocess/pre-phpx
   • https://github.com/preprocess/example-phpx-live
   • https://github.com/nikic/PHP-Parser
   • https://github.com/marcioAlmada/yay
   • http://calebporzio.com/proof-of-concept-phoenix-liveview-for-laravel/
5. The Credible Hulk 2015-02-09

   tags: fact, green, hulk, mutant, proof

   [ permalink ]
6. Thomas P. Peschak: Discovering the Ocean of Childhood Dreams | PROOF 2014-07-05

   tags: atoll, documentary, national-geographic, ocean

   [ permalink ]