Interests: Digital design, RISC-V hardware system design, Haskell and functional programming, puns, cricket, world events and foibles of human hubris
Rishiyur Nikhil
- 42 Followers
- 13 Following
- 73 Posts
(also @nikhil)
Interests: Digital design, RISC-V hardware system design, Haskell and functional programming, puns, cricket, world events and foibles of human hubris
Interests: Digital design, RISC-V hardware system design, Haskell and functional programming, puns, cricket, world events and foibles of human hubris
@shriramk Blockchain mining should think of adding masala dosas and filter coffee as mining rewards.
@jangray Also FYI, I'm mostly on another Mastodon account, @[email protected]
Moshe VardiShould Higher Ed be considered a public good? Absolutely, but only if it commits itself to the public good. https://medium.com/@vardi/higher-ed-as-a-public-good-2534759b339c
This is some Shubman Gill show! Six in the City! #IPL #ShubmanGill
If you follow me here ('at Nikhil at mastodon dot online') you may wish to switch to 'at Nikhil at mastodon dot acm dot org', which is where I now spend my Mastodon time. Thanks.
If you follow me here, you may wish to change it to @nikhil which is where I now spend most of my Mastodon time. Thanks.
RSNikhil
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.
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."
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."