rsnikhil.bsky.social
@rsnikhil.bsky.social
Reposted by rsnikhil.bsky.social
I've completed five weeks of work at my new company Harmonic. It's intense, fast paced, highly engaging and I love being back at the whiteboard. If we succeed in our mission "Theorems For Free" will have a new meaning.
December 5, 2025 at 6:16 AM
I've completed five weeks of work at my new company Harmonic. It's intense, fast paced, highly engaging and I love being back at the whiteboard. If we succeed in our mission "Theorems For Free" will have a new meaning.
Reposted by rsnikhil.bsky.social
Putin said earlier this week that Russia has no plans to invade Europe. I had a deja vu moment when I was listening to his crap:
November 30, 2025 at 8:15 PM
Putin said earlier this week that Russia has no plans to invade Europe. I had a deja vu moment when I was listening to his crap:
Reposted by rsnikhil.bsky.social
Me, too! It’s a fantastic project that is under a lot of pressure right now.
I happily donate to Wikipedia, incredible resource in this day and age especially.
I take Wikipedia for granted. Reading this Jimmy Wales interview reminded me in our Fantasyland age what a remarkable and important creation it is. True pillar of civilization. Runs on only $200 million a year. Requires our support. So I’m finally donating. Gift link: www.nytimes.com/2025/10/18/m...
December 1, 2025 at 7:29 AM
Me, too! It’s a fantastic project that is under a lot of pressure right now.
Reposted by rsnikhil.bsky.social
My Zero to ASIC courses are the most recognized, highest-rated programs, and still the only ones that guarantee a tapeout!
Start your journey toward holding a custom ASIC in the palm of your hand and save $150 with code Z2ABLACK25.
ZeroToASICcourse.com
Start your journey toward holding a custom ASIC in the palm of your hand and save $150 with code Z2ABLACK25.
ZeroToASICcourse.com
November 28, 2025 at 11:42 AM
My Zero to ASIC courses are the most recognized, highest-rated programs, and still the only ones that guarantee a tapeout!
Start your journey toward holding a custom ASIC in the palm of your hand and save $150 with code Z2ABLACK25.
ZeroToASICcourse.com
Start your journey toward holding a custom ASIC in the palm of your hand and save $150 with code Z2ABLACK25.
ZeroToASICcourse.com
Reposted by rsnikhil.bsky.social
I’m a past winner of the Orwell Prize & won partly because I exposed Vote Leave’s unlawful activities.
Michael Gove was its co-convener & refused to answer a single q. He’s now a judge of the prize & our world is truly one that Orwell would recognise
bylinetimes.com/2025/11/25/m...
Michael Gove was its co-convener & refused to answer a single q. He’s now a judge of the prize & our world is truly one that Orwell would recognise
bylinetimes.com/2025/11/25/m...
Michael Gove Made Orwell Prize Judge Despite Record of Attacking Journalists and Dodging Scrutiny
Critics say "Orwell would have enjoyed the irony" of the former Conservative minister's appointment
bylinetimes.com
November 25, 2025 at 5:53 PM
I’m a past winner of the Orwell Prize & won partly because I exposed Vote Leave’s unlawful activities.
Michael Gove was its co-convener & refused to answer a single q. He’s now a judge of the prize & our world is truly one that Orwell would recognise
bylinetimes.com/2025/11/25/m...
Michael Gove was its co-convener & refused to answer a single q. He’s now a judge of the prize & our world is truly one that Orwell would recognise
bylinetimes.com/2025/11/25/m...
NASA's Copilot (not relation to Microsoft or GitHub Copilot): "language and framework to program hard-realtime, embedded systems ... supports temporal logic, clocks, voting algorithms and state machines, ... general purpose algorithms."
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z
#bluespec | Rishiyur Nikhil
NASA's Copilot (not to be confused with Microsoft or GitHub Copilot): "a language and framework to program hard-realtime, embedded systems ... supports temporal logic (LTL, PTLTL and MTL), clocks, vot...
tinyurl.com
November 25, 2025 at 11:28 PM
NASA's Copilot (not relation to Microsoft or GitHub Copilot): "language and framework to program hard-realtime, embedded systems ... supports temporal logic, clocks, voting algorithms and state machines, ... general purpose algorithms."
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z
Reposted by rsnikhil.bsky.social
If I’m understanding this correctly, X is owned by a white nationalist who pays poor people of color in developing countries to pretend to be working class white Americans to scare other white Americans into being afraid poor people of color from developing countries are going to ruin America?
November 23, 2025 at 7:30 PM
If I’m understanding this correctly, X is owned by a white nationalist who pays poor people of color in developing countries to pretend to be working class white Americans to scare other white Americans into being afraid poor people of color from developing countries are going to ruin America?
The Donzerly Light
November 23, 2025 at 1:19 PM
The Donzerly Light
Reposted by rsnikhil.bsky.social
Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...
Introducing ARIA’s next CEO
Kathleen Fisher will join us in February 2026.
ariaresearch.substack.com
November 19, 2025 at 8:23 AM
Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...
Reposted by rsnikhil.bsky.social
📢 Media invite: Artemis II
🚀 Sign up by 30 Nov to witness the first crewed mission around the Moon in 50+ years
🛰️ @esa.int's European Service Module will propel Orion and provide them with water 💧, air 🌬️, electricity ⚡ and a comfortable temperature 🌡️
www.esa.int/Newsroom/Pre...
🚀 Sign up by 30 Nov to witness the first crewed mission around the Moon in 50+ years
🛰️ @esa.int's European Service Module will propel Orion and provide them with water 💧, air 🌬️, electricity ⚡ and a comfortable temperature 🌡️
www.esa.int/Newsroom/Pre...
November 18, 2025 at 3:38 PM
📢 Media invite: Artemis II
🚀 Sign up by 30 Nov to witness the first crewed mission around the Moon in 50+ years
🛰️ @esa.int's European Service Module will propel Orion and provide them with water 💧, air 🌬️, electricity ⚡ and a comfortable temperature 🌡️
www.esa.int/Newsroom/Pre...
🚀 Sign up by 30 Nov to witness the first crewed mission around the Moon in 50+ years
🛰️ @esa.int's European Service Module will propel Orion and provide them with water 💧, air 🌬️, electricity ⚡ and a comfortable temperature 🌡️
www.esa.int/Newsroom/Pre...
Reposted by rsnikhil.bsky.social
Hooray for bitblt, a.k.a. rasterop in some backward provinces.
You younguns don’t get it — but if all you knew was 24x80 character displays (*) or worse, bitblt was a long tall drink of water.
Color is fine but 80% of the advance came with the bilevel display.
(*) vector displays notwithstanding
You younguns don’t get it — but if all you knew was 24x80 character displays (*) or worse, bitblt was a long tall drink of water.
Color is fine but 80% of the advance came with the bilevel display.
(*) vector displays notwithstanding
I declare that today, Nov. 19, 2025 is the 50th anniversary of BitBLT, a routine so fundamental to computer graphics that we don't even think about it having an origin. Dan Ingalls came up with a working implementation on the Xerox Alto as part of his work on Smalltalk.
November 19, 2025 at 8:26 AM
Hooray for bitblt, a.k.a. rasterop in some backward provinces.
You younguns don’t get it — but if all you knew was 24x80 character displays (*) or worse, bitblt was a long tall drink of water.
Color is fine but 80% of the advance came with the bilevel display.
(*) vector displays notwithstanding
You younguns don’t get it — but if all you knew was 24x80 character displays (*) or worse, bitblt was a long tall drink of water.
Color is fine but 80% of the advance came with the bilevel display.
(*) vector displays notwithstanding
Gave a talk yesterday:
"Property Based Testing to verify a pipelined CPU design (hardware)"
at the New England Programming Languages and Systems Symposium,
about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG and RISC-V Intl.'s RISC-V ISA Formal Spec
nepls.org/Events/36/
"Property Based Testing to verify a pipelined CPU design (hardware)"
at the New England Programming Languages and Systems Symposium,
about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG and RISC-V Intl.'s RISC-V ISA Formal Spec
nepls.org/Events/36/
New England Programming Languages and Systems Symposium Series (NEPLS): Schedule
nepls.org
November 19, 2025 at 12:18 AM
Gave a talk yesterday:
"Property Based Testing to verify a pipelined CPU design (hardware)"
at the New England Programming Languages and Systems Symposium,
about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG and RISC-V Intl.'s RISC-V ISA Formal Spec
nepls.org/Events/36/
"Property Based Testing to verify a pipelined CPU design (hardware)"
at the New England Programming Languages and Systems Symposium,
about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG and RISC-V Intl.'s RISC-V ISA Formal Spec
nepls.org/Events/36/
Vibgyor coding.
November 15, 2025 at 9:07 PM
Vibgyor coding.
Reposted by rsnikhil.bsky.social
New: for @equatormag.bsky.social I spent months talking to BBC journalists, from front-line reporters to the former head of the World Service, about how the corporation came unstuck over Gaza. But as I was working on the story, it collided with something... bigger... www.equator.org/articles/ins...
Inside the BBC’s Gaza Fiasco • Articles • EQUATOR
How the world’s most trusted media organisation fell apart
www.equator.org
November 13, 2025 at 2:50 PM
New: for @equatormag.bsky.social I spent months talking to BBC journalists, from front-line reporters to the former head of the World Service, about how the corporation came unstuck over Gaza. But as I was working on the story, it collided with something... bigger... www.equator.org/articles/ins...
Reposted by rsnikhil.bsky.social
These patriotic displays have gone a bit too far now, if you ask me.
November 13, 2025 at 4:47 PM
These patriotic displays have gone a bit too far now, if you ask me.
Reposted by rsnikhil.bsky.social
I wrote a thing! Technically it’s an opinion piece but secretly it’s a love letter to Cornell.
www.cornellsun.com/article/2025...
www.cornellsun.com/article/2025...
FOSTER | "Any Person, Any Study," — If You Can Keep It
In our guest room, Professor of Computer Science Nate Foster reflects on Cornell’s recent settlement with the Trump administration — a deal he argues trades principle for expedience.
www.cornellsun.com
November 12, 2025 at 12:45 AM
I wrote a thing! Technically it’s an opinion piece but secretly it’s a love letter to Cornell.
www.cornellsun.com/article/2025...
www.cornellsun.com/article/2025...
Reposted by rsnikhil.bsky.social
In 2006 a high school English teacher asked students to write to a famous author & ask for advice.
KURT VONNEGUT - born 103yrs ago today - was the only one to respond.
His reply was a doozy.
KURT VONNEGUT - born 103yrs ago today - was the only one to respond.
His reply was a doozy.
November 11, 2025 at 10:39 AM
In 2006 a high school English teacher asked students to write to a famous author & ask for advice.
KURT VONNEGUT - born 103yrs ago today - was the only one to respond.
His reply was a doozy.
KURT VONNEGUT - born 103yrs ago today - was the only one to respond.
His reply was a doozy.
It seems that Banksy has just appeared in Lviv
We already know that in these difficult times, the world's most famous street artist has chosen Ukraine.
Art as resistance. Art as solidarity. Art as voice.
When the world watches, artists speak.
What's your message? 🇺🇦
We already know that in these difficult times, the world's most famous street artist has chosen Ukraine.
Art as resistance. Art as solidarity. Art as voice.
When the world watches, artists speak.
What's your message? 🇺🇦
November 10, 2025 at 9:07 PM
"How do you acquire the fundamental computer skills to hack on a complex systems project?"
K.C.Sivaramakrishnan's suggestions:
kcsrk.info/ocaml/2025/1...
#SystemsProgramming #OCaml #Compilers #RuntimeSystems #Debuggers #GarbageCollection
K.C.Sivaramakrishnan's suggestions:
kcsrk.info/ocaml/2025/1...
#SystemsProgramming #OCaml #Compilers #RuntimeSystems #Debuggers #GarbageCollection
Foundations for hacking on OCaml · KC Sivaramakrishnan
kcsrk.info
November 10, 2025 at 3:50 PM
"How do you acquire the fundamental computer skills to hack on a complex systems project?"
K.C.Sivaramakrishnan's suggestions:
kcsrk.info/ocaml/2025/1...
#SystemsProgramming #OCaml #Compilers #RuntimeSystems #Debuggers #GarbageCollection
K.C.Sivaramakrishnan's suggestions:
kcsrk.info/ocaml/2025/1...
#SystemsProgramming #OCaml #Compilers #RuntimeSystems #Debuggers #GarbageCollection
Reposted by rsnikhil.bsky.social
Once every 20 years or so, the director-general of the BBC is forced to resign for being insufficiently rightwing. Alastair Milne in 1987. Greg Dyke in 2004. Tim Davie in 2025. The great irony is that the BBC was in all cases profoundly biased towards established power. But just not biased enough …
November 10, 2025 at 5:44 AM
Once every 20 years or so, the director-general of the BBC is forced to resign for being insufficiently rightwing. Alastair Milne in 1987. Greg Dyke in 2004. Tim Davie in 2025. The great irony is that the BBC was in all cases profoundly biased towards established power. But just not biased enough …
Reposted by rsnikhil.bsky.social
Last chance to get on our ChipFoundry sponsored TTSKY25b shuttle!
There are still 2 discounted dev kits left - tapeout and receive a physical copy of the chip for just €185!
There are still 2 discounted dev kits left - tapeout and receive a physical copy of the chip for just €185!
November 10, 2025 at 12:37 PM
Last chance to get on our ChipFoundry sponsored TTSKY25b shuttle!
There are still 2 discounted dev kits left - tapeout and receive a physical copy of the chip for just €185!
There are still 2 discounted dev kits left - tapeout and receive a physical copy of the chip for just €185!