Replying to
@Em0nM4stodon Not just emails. If you're reviewing a paper for a journal and you ask an LLM to summarize it for you, you've leaked that paper.
Remote
RSNikhil
@nikhil@mastodon.acm.org
mastodon 4.7.3Interests: Digital design, RISC-V hardware system design, Haskell and functional programming, puns, cricket, world events and foibles of human hubris.
Also (for now): @rsnikhil@mastodon.online
82 Followers
42 Following
22 Posts
Joined December 15, 2022
Heads-up: Mon Apr 13 (one week away): "FP Launchpad" 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
Saudi Arabia to Trump: All our bases are belong to us.
@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.
Replying to
@thezoq2@mastodon.social Thanks. Vijayvithal Jahagirdar was a senior engineer at TI Bengaluru, where he designed a major IP for the OMAP chip using Bluespec. Now he runs his own design services company, continuing to use Bluespec.
Lead line in an article in an Indian newspaper: "Since at first it did not succeed, TRAI's trying again"
(Telecom Regulatory Authority of India)
Replying to
@shriramk@mastodon.social In the lambda silhouette one can almost imagine a fast bowler stepping forward, bending backward, about to unleash a zinger.
Replying to
@Natasha_Jay Young people may be unaware that these are RCA plugs: Rubs, Condiments and Accompaniments
Replying to
@elduvelle @Em0nM4stodon Yes, but what about the extra unfairness towards other authors who submitted to the same conference/journal? That's why it's worse.
Replying to
@elduvelle @Em0nM4stodon And, to make it even worse, some authors have added "hidden text" (white font) in their papers that prompt the LLM to provide a good review.
Replying to
3/2 cf. Dijkstra's Guarded Command Language, Lamport's TLA+, Abrial et. al.'s Event-B, Term Rewriting Systems, Chandy and Misra's UNITY, Bluespec, ... all fundamentally non-deterministic languages.
Replying to
2/2
Once the mathematical equipment needed for the design of nodeterministic mechanisms achieving a purpose has been developed, the nondeterministic machine is no longer frightening. On the contrary! We shall learn to appreciate it, even as a valuable stepping stone in the design of an ultimately fully deterministic mechanism."
Replying to
Thrilling game, high-scoring and coming into the last over.
TIL, that the "eu" in "Eureka!" is not the "eu" in eulogy/Europe/eucalyptus/eukaryote, ... but is actually the "heu" in "heuristic" (the "h" got dropped at some point). In Eureka and heuristic it comes from "to find/discover".
"Ours goes to eleven" #KevinMcCarthy #SpeakerElection #Congress #GOP
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
Replying to
@thezoq2@mastodon.social I'd like to do (or someone to do) a similar plug in for Bluespec.