Nov 13, 2022A relatively interesting dayNote: This is my personal experience and I arrived 45 minutes late to the event. (Imma blame the traffic and the rain. Is funnier). Introduction For the last 2 months in the city of horrible traffic….. I mean the city of horrendous rain……I mean Bangalore, I’ve been bumbling my way around…Foss3 min readFoss3 min read
Jul 8, 2022Getting Agda up and runningTLDR : Agda + VSCode for HoTT summer school. — Note: This is for the HoTT summer school. You can also use this for agda too, but its main purpose is different. Skip to step 5 to just run it. My system is running Pop-Os 22.04, so I used the Ubuntu installation for everything. I cannot tell what errors might…Type Theory4 min readType Theory4 min read
Jun 8, 2022Getting a website up on VultrTLDR : Or any VPS really. Digital Ocean too. — Let’s say you have a VPS and want to get an application up. Can be an twitter bot, can be a website, can be anything, really. Follow the steps below to claim your reward! (of getting your website up. Also something something Raid Shadow Legends). You also will need a…Technology3 min readTechnology3 min read
May 23, 2022Languages and CountingTLDR : How do different languages count? (Atleast the ones I know) — I’m always fascinated by languages, and one of the fascinating things is how languages count, or at least how different languages count. Here’s a brief rundown of how 4 languages count between 0 and 100. English 0 to 9 → Unique ⇒ I Multiples of 10 till 90→ Unique ⇒ II 11 to…100DayChallenge2 min read100DayChallenge2 min read
May 23, 2022History PrimerTLDR : A (very) brief look at a bunch of events in history — It is often fascinating to read about stuff that has happened around the world, but sometimes you often hit a depressing stretch of genocides and massacres that took place. Because history ain’t a neat subject. Here’s a bunch of stuff that happened in the last 100 years that is worth…100DayChallenge2 min read100DayChallenge2 min read
May 19, 2022Freecodecamp, Firefox, ReactTLDR : God hates me. Also, don’t use firefox with freecodecamp. — Note: Someone mentioned that this could’ve been because of the browser caching previous versions of code. So clearing cache might work. Check it out. Let’s look at today’s fun topic. Bashing my head on a wall until something works! ̷W̷h̷e̷n̷ ̷I̷ ̷w̷a̷s̷ ̷y̷o̷u̷n̷g̷ ̶O̶n̶c̶e̶ ̶u̶p̶o̶n̶ ̶a̶ ̶t̶i̶m̶e̶ Yesterday, I solved…100DayChallenge2 min read100DayChallenge2 min read
May 18, 2022Advertising and Red FlagsTLDR: Give your data away! Yeah, no. But let’s start with a bit of context. I once had a discussion where the question was to whether there was a need to collect personal data of people who use the internet. What would happen if we prevented companies from doing so…100DayChallenge3 min read100DayChallenge3 min read
May 17, 2022Slavery and FraudTLDR : Tech serfdom — For those of you who know me (and for those of you who don’t), the occasional comedy of errors that propelled my life into a weird trajectory is evident from my writing (my friends can attest to my emotional state), and so very rarely does something surprise me beyond the…Work5 min readWork5 min read
Feb 23, 2022The AlchemistTLDR : Timeless classics and Parallels — For those of you who didn’t read The Alchemist by Paulo Coelho, go read it. It’s a riveting tale, one of a journey of a man for a treasure he dreamt of. If you really wish to read the book, I’ll be spoiling the ending for you (though, as I’ve…Life3 min readLife3 min read
Feb 19, 2022Weird ParallelsTLDR: Parallels and musings. — If this whole thing seems disjointed, I do apologise. I’m pretty tired so I’m simply pumping this out as I go along. I’ll edit this in the future if I can be bothered. Forgive the bad writing. I watched this video about the Greek debt crisis, and one of the…India3 min readIndia3 min read
