Explore >> Select a destination


You are here

raphaelkabo.com
| | www.vegardno.net
7.8 parsecs away

Travel
| | WARNING/DISCLAIMER: Audio programming always carries the risk of damaging your speakers and/or your ears if you make a mistake. Therefore, r...
| | www.righto.com
7.7 parsecs away

Travel
| | I've built a register-level simulator of a 1974 TI calculator chip that shows what actually happens inside a calculator when you perform ope...
| | austinmorlan.com
6.5 parsecs away

Travel
| | The ODROID-GO has a lithium-ion battery so we can create a game that can be played on the go. That's an intriguing concept for someone who grew up playing the original Gameboy. We thus need a way to be able to query the ODROID-GO's battery level. The battery is connected to a pin on the ESP32 so we can read the voltage to get a rough estimate of the life remaining.
| | rakhim.org
46.0 parsecs away

Travel
| [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.