rsnikhil.bsky.social
@rsnikhil.bsky.social
If you are a past, current, or potential future user of #Haskell, please
fill out the annual State of Haskell online form, at:
www.surveymonkey.com/r/6M3Z6NV
fill out the annual State of Haskell online form, at:
www.surveymonkey.com/r/6M3Z6NV
State of Haskell 2025
Take this survey powered by surveymonkey.com. Create your own surveys for free.
www.surveymonkey.com
December 12, 2025 at 12:18 PM
If you are a past, current, or potential future user of #Haskell, please
fill out the annual State of Haskell online form, at:
www.surveymonkey.com/r/6M3Z6NV
fill out the annual State of Haskell online form, at:
www.surveymonkey.com/r/6M3Z6NV
Reposted by rsnikhil.bsky.social
The most compelling argument for this is that Sam was once a baby raised without ChatGPT, and look how he turned out.
FALLON: “And do you use ChatGPT when raising your baby?"
ALTMAN: "I cannot imagine figuring out how to raise a newborn without ChatGPT."
@moreperfectunion.bsky.social
ALTMAN: "I cannot imagine figuring out how to raise a newborn without ChatGPT."
@moreperfectunion.bsky.social
December 10, 2025 at 2:00 AM
The most compelling argument for this is that Sam was once a baby raised without ChatGPT, and look how he turned out.
Reposted by rsnikhil.bsky.social
Composable custom extensions work in progress:
We’ve started drafting another spec section for a new uniform (extension-agnostic) extension state context management extension.
github.com/riscv/compos...
lists.riscv.org/g/tech-compo...
Interested? Join us. Join RVI and this CX TG.
We’ve started drafting another spec section for a new uniform (extension-agnostic) extension state context management extension.
github.com/riscv/compos...
lists.riscv.org/g/tech-compo...
Interested? Join us. Join RVI and this CX TG.
composable-custom-extensions/src/isa-state.adoc at main · riscv/composable-custom-extensions
This task group will propose ISA extension(s) and non-ISA hardware and software interop interfaces to enable routine reuse and composition of a subcategory of custom extensions called composable ex...
github.com
December 6, 2025 at 6:08 PM
Composable custom extensions work in progress:
We’ve started drafting another spec section for a new uniform (extension-agnostic) extension state context management extension.
github.com/riscv/compos...
lists.riscv.org/g/tech-compo...
Interested? Join us. Join RVI and this CX TG.
We’ve started drafting another spec section for a new uniform (extension-agnostic) extension state context management extension.
github.com/riscv/compos...
lists.riscv.org/g/tech-compo...
Interested? Join us. Join RVI and this CX TG.
Reposted by rsnikhil.bsky.social
(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events!
youtube.com/@acmsigplan
youtube.com/@acmsigplan
ACM SIGPLAN
Special Interest Group on Programming Languages
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...
youtube.com
December 5, 2025 at 1:52 PM
(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events!
youtube.com/@acmsigplan
youtube.com/@acmsigplan
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.