What does HackerNews think of bsc?

Higher-Order Virtual Machine (HVM) | Mar 2023

What are your thoughts around WebAssembly, Typed Assembly [1] and will you be using BlueSpec [2] to implement these ideas in hardware?

[1] https://www.semanticscholar.org/search?q=typed%20assembly%20...

namely, Greg Morrisett and Neal Glew's work

https://www.semanticscholar.org/author/J.-G.-Morrisett/14364...

https://www.semanticscholar.org/author/MorrisettGreg/1643921... (semantic scholar incorrectly thinks there are two Greg Morrisetts)

https://www.semanticscholar.org/author/Neal-Glew/1710858

[2] https://github.com/B-Lang-org/bsc

Building the SHAKTI Microprocessor | Oct 2022

Expand Context ↕

Yes, but where is the actual Verilog for the cores? At least BlueSec doesn't seem to be a proprietary dialect: https://github.com/B-Lang-org/bsc (BSD License)

Verilog Is Weird | Mar 2022

Expand Context ↕

Bluespec was open sourced slightly over two years ago:

https://twitter.com/bluespec/status/1225184669978841090 https://github.com/B-Lang-org/bsc

Indeed seems Bluespec Inc. has pivoted to RISC-V CPU IP. No obvious mention of BSV on their webpage (https://bluespec.com/)

MyHDL: Using Python as a hardware description and verification language | Nov 2021

Expand Context ↕

And I've been involved in a project that's making heavy use of Bluespec: https://github.com/B-Lang-org/bsc/

Same problem though - you have to transpile it down to Verilog to use it in anything beyond a simulation.

Designing a RISC-V CPU, Part 1: Learning hardware design as a software engineer | Feb 2021

Has anyone worked with BlueSpec https://github.com/B-Lang-org/bsc How does it compare to nMigen. Recently heard oxide computer folks talking about it and they were all gungon about it.

FPGA dev board that's cheap, simple and supported by OSS toolchain | Jan 2021

FPGA Thread: Bluespec SystemVerilog is now completely open source, very nice HDL although quite opinionated.

https://github.com/B-Lang-org/bsc

it's Haskell underneath (https://xkcd.com/356/)

XLS: Accelerated HW Synthesis | Sep 2020

Google is also investing some developer time on Bluespec since it was opensourced (https://github.com/B-Lang-org/bsc). I wonder if these projects make part of a bigger plan at Google.

FPGA: Why So Few Open Source Drivers for Open Hardware? | Jun 2020

Expand Context ↕

In addition to Chisel and SpinalHDL, BlueSpec is now open source! [0]

Among the available options, I remember people being very happy with BlueSpec even before, and now you don't really have many excuses.

[0]: https://github.com/B-Lang-org/bsc

Clash: A modern, functional, hardware description language | May 2020

Expand Context ↕

Bluespec is still around and actually got open-sourced recently! [0] The Bluespec company is focused on using their tools to build RISC-V cores: https://bluespec.com/

[0]: https://github.com/B-Lang-org/bsc