FB posts 2020
Dec 26: 1) MIP* = RE, 2) Conway knot is not “slice”, 3) formalizing mathematics in Lean. https://www.youtube.com/watch?v=HL7DEkXV_60
Dec 06: Visualization of minimum coverage cycles using Python’s Turtle module. These are for 5x5 grid and 7x7 grid. The objective is to minimize the total number of 90 degree turns and forwards.
Dec 01: Ethereum 2.0 genesis block will be produced tonight at 8pm SGT. The first step of a multi-year migration from Proof of Work to Proof of Stake. https://beaconcha.in/
Nov 06: TIL Bitcoin’s energy consumption per year is about 1.5 times of Singapore’s. Looking forward to Ethereum’s migration to Proof of Stake consensus. Refs: https://digiconomist.net/bitcoin-energy-consumption https://www.ema.gov.sg/singapore-energy-statistics/Ch03/index3 https://launchpad.ethereum.org/ https://launchpad.ethereum.org/
Oct 29: DBS getting into digital asset trading for institutions. Either someone messed up and made the page live too early or it is a sneaky new marketing strategy. Seems to be a genuine mistake as they have removed all the cached copies of said page. https://www.businesstimes.com.sg/companies-markets/dbs-creates-buzz-with-its-plans-for-crypto-currency-exchange
Oct 04: Most stablecoins are pegged to USD. Supporting our local efforts to create an SGD denominated stablecoin by getting some XSGD today.
Oct 02: Happening tonight at 7pm via Zoom. Come and share with us about something you’ve learned in 15mins.
Sep 29: TIL Singapore is one of three sovereign city-states (the other two are Monaco and Vatican City) and the only one with its own currency and defends itself with its own armed forces.
Aug 15: Finally able to explore the world of ConQUEST today. I’ve been intrigued by its premise of classes characters and player-generated content (personal lairs, player shops, and guild houses) but it was down when I learnt about it. https://www.conquestmud.ca/ https://www.conquestmud.ca/
Aug 09: One People, One Nation, One Singapore (30th Anniversary remake) https://www.youtube.com/watch?v=-GEpYOXFVsg
Aug 02: Making of the Dr. Stone anime. Lots of interesting details and interviews with the staff, such as visiting a glass factory for the glass making scene. https://www.youtube.com/watch?v=ykEp0wlchiY
Jul 25: Fighting games have great depth to them but often make it hard to pull off the special moves. Fantasy Strike solves that by making all the moves easy to execute, moving the emphasis to the decision making. The F2P model is fair, pay for cosmetics/extra game modes. http://www.fantasystrike.com/blog/2020/fantasy-strike-is-free-to-play
Jul 25: GeekcampSG is back! 19th-20th September 2020, Online. I’ve submitted a talk on Schorre’s META II, a DSL and compiler-compiler. Hope I get the change to show some cool demos during the conference. https://geekcamp.sg/
Jul 19: Brian Kernighan interviews Ken Thompson about how he got to Bell Labs, UNIX, pipes, grep, B, and chess https://www.youtube.com/watch?v=EY6q5dv_B-o&t=500s https://www.youtube.com/watch?v=EY6q5dv_B-o&t=500s
Jul 10: TIL about James Ryan’s “Talk of the town” which “generates an American small town and simulates its history (day by day) over the course of 200 years, with an emphasis on social exchanges and the internal lives of characters.” There was supposed to be a game set in this town, but it was not completed. Details of the social simulation of the town is described in http://www.gameaipro.com/GameAIPro3/GameAIPro3_Chapter37_Simulating_Character_Knowledge_Phenomena_in_Talk_of_the_Town.pdf Ref: https://www.jamesryan.world/projects#/talktown/ https://www.jamesryan.world/projects#/talktown/
Jul 10: Playing https://christopherlee.itch.io/timeout in preparation for tonight’s Indie Soapbox by the author. A short 20mins adventure game with gorgeous pixel art, dynamic lightning, and great ambience. https://www.facebook.com/events/1372971122900641/
Jun 27: After months of using Zoom with PulseAudio, finally found a solution to Zoom’s auto volume adjustment. Disable PulseAudio’s flat-volume option. https://200ok.ch/posts/2019-05-20_disable_flatvolume_for_pulseaudio.html https://200ok.ch/posts/2019-05-20_disable_flatvolume_for_pulseaudio.html
Jun 21: TIL: MUD2 (1985) has a much more detailed simulation (akin to Dwarf Fortress) as compared to modern MMOs/CRPGs. Quote: “So when I talk about physics, it is this kind of thing. Light cannot pass through a closed wooden door. Most MMOs don’t have doors these days. Or what happens when you pour four pints of water into a three pint container. Most MMOs don’t do this. And plate armor doesn’t float.” https://www.raphkoster.com/2010/10/08/gdconline-liveblog-of-dr-bartles-talk/
Mar 21: Excited to dig into this newly open-sourced Prismata AI with GUI. Side note: Prismata on Steam is now playable with Proton. It is free to play and competitive from the start as all players have access to the same units in-game, pay for puzzles and cosmetics. https://github.com/davechurchill/PrismataAI
Mar 18: “AlphaGo (the documentary) chronicles a journey from the halls of Oxford, through the backstreets of Bordeaux, past the coding terminals of Google DeepMind in London, and ultimately, to the seven-day tournament in Seoul. As the drama unfolds, more questions emerge: What can artificial intelligence reveal about a 3000-year-old game? What can it teach us about humanity?” – https://www.alphagomovie.com/ https://www.youtube.com/watch?v=WXuK6gekU1Y
Feb 22: A phishing live video recommended by YouTube’s algorithm. Scams are getting more innovative, even the live chat comments are faked. If it is too good to be true, it probably is. Ref: https://www.youtube.com/watch?v=KDcNAkJpDn0
Feb 04: “Learning Day is a bi-weekly night where folks teach and learn something, anything, from each other!”