VirtualTam's bookmarks

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

   2024-03-31
   debugging game-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
   diy game glass noise soundproof

   Permalink
3. The Coq Proof Assistant

   2019-02-08
   algorithm logic mathematics proof software

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

   2019-01-21
   network/http network/websocket programming/html programming/php programming/xml

   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
   fact green hulk mutant proof

   Permalink
6. Thomas P. Peschak: Discovering the Ocean of Childhood Dreams | PROOF

   2014-07-05
   atoll documentary national-geographic ocean

   Permalink