Elektrine lite

← Feed

RSNikhil

nikhil@mastodon.acm.org

<p>Interests: Digital design, RISC-V hardware system design, Haskell and functional programming, puns, cricket, world events and foibles of human hubris.<br />Also (for now): <span class="h-card" translate="no"><a href="https://mastodon.online/@rsnikhil" class="u-url mention">@<span>rsnikhil</span></a></span></p>

Posts

  • Post #2780025

    Lead line in an article in an Indian newspaper: &amp;quot;Since at first it did not succeed, TRAI&amp;#39;s trying again&amp;quot; (Telecom Regulatory Authority of India)

  • Post #2780024

    Saudi Arabia to Trump: All our bases are belong to us. #SaudiArabia #Trump

  • Post #2780023

    An AI chatbot may inform about The connection of shells to Sligo[1]; But know that the chatbot without any sources, would be nought but GIGO. The AI chatbot scrapes some know From Wikipedia, built with labor; Result: to Wikipedia fewer people go, Cutting its traffic like a sabre. 1/2

  • Post #2780022

    @pigworker If at any time you think it would help for people to write letters (to your uni, to your local politician, ... anybody), count me in.

  • Post #1315665

    &amp;quot;Ours goes to eleven&amp;quot; #KevinMcCarthy #SpeakerElection #Congress #GOP

  • Post #1315661

    1/2 Another lovely Dijkstra quote (from &amp;quot;A Discipline of Programming&amp;quot;, Prentice Hall 1976) &amp;quot;Eventually I came to regard nondeterminacy as the normal situation, determinacy being reduced to a—not even very interesting—special case. …

  • Post #1315660

    #Cricket ESPN &amp;quot;Worm&amp;quot;, #SouthAfrica v. #England, a moment ago 🙂

  • Post #1132452

    TIL, that the &amp;quot;eu&amp;quot; in &amp;quot;Eureka!&amp;quot; is not the &amp;quot;eu&amp;quot; in eulogy/Europe/eucalyptus/eukaryote, ... but is actually the &amp;quot;heu&amp;quot; in &amp;quot;heuristic&amp;quot; (the &amp;quot;h&amp;quot; got dropped at some point). In Eureka and heuristic it comes from &amp;quot;to find/discover&amp;quot;.

  • Post #1132449

    Heads-up: Mon Apr 13 (one week away): &amp;quot;FP Launchpad&amp;quot; kickoff-event at IIT Madras FP Launchpad is a new research center at IITM focusing on all aspects of functional programming. Schedule of talks, abstracts: https://fplaunchpad.org/2026/03/30/fp-launchpad-kickoff.html #OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec