FP Launchpad Kickoff Centre for Functional Systems Research and Education at IIT Madras

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, abstracts: fplaunchpad.org/2026/03/30/f...

#OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec

#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...

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

RISC-V Developer Workshops 2025: Learn to Design and Verify a 6-stage pip... View more about this event at RISC-V Developer Workshops 2025

Next week, Wed Oct 22, 8:30am-10:30am: my tutorial at Developer's Day at #RISCV Summit:

"Learn to Design and Verify a 6-stage pipelined RISC-V CPU"
tinyurl.com/5dxbdp54
tinyurl.com/4pxdbpwj
github.com/rsnikhil/Lea...

#Bluespec

#Bluespec

Many of the engineers who learned about designing RISC-V CPUs, and learned hardware coding in #Bluespec #BSV, while working on the "#Vega" processor line at #CDAC in Thiruvananthapuram in India, had been hired away by MIPS in India. Hope they are not facing disruption.

The Joy of Hardware

The Joy of Hardware Manifesto 🚀

joyofhardware.com

…Our in-browser IDE will let you write, compile, and program hardware without ever leaving your browser.

#FPGA #Bluespec #Nix