frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

SUS Lang: The SUS Hardware Description Language

https://sus-lang.org/
35•nateb2022•6h ago

Comments

randomNumber7•5h ago
I really feel that hardware description languages could need some fresh air (especially the tooling), but on the other hand it must be insanely difficult to come up with s.th. that can compete with the major players.
mdhb•4h ago
Also worth checking out is this project from Intel: https://github.com/intel/rohd/tree/main

> The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

1024bees•4h ago
A point of frustration for newer languages, that sus continues, is the lack of thought towards simulation and testbench design, and how it integrates with the language.

While it would be nice to have more elegant support for "modern" codegen in the sv/verilog/vhdl, the real unergonomic experiences are test bench design and integration. The only real options are (for sv, verilog, I have less experience with vhdl): use verilator and write your tb in cpp, use verilator and then write your testbench in cocotb, or you work at a chip design company and use one of the big 3's compilers and maybe you use UVM or cocotb. Verilator and cocotb are okay, but you're crossing a language boundar(ies) and referencing generated code -- it is both mechanical and complex to get any design working with it.

If sus had first class interfaces to create testbenches that could map to UVM or verilator, it would be much more interesting. Spade does some interesting things by having its own package manager, but doesn't (afaik) expose a ton within the language itself

artemonster•3h ago
as a HW designer that writes RTL for living I will repeat this 150 times and will put this on my gravestone: WE DONT NEED ANOTHER SHMANCY HDL. really. existing ones are moooooorrreeee than fine. our tools suck, verification sucks. your design complexity is entirely limited by your verification capabilities (and automation infra). having fancy constructs for CDC or pipelining in HDL is utterly useless, especially that CDC checking is done by special tools that do it nearly perfect with a bit of constraints.
bgnn•2h ago
Totally agreed. This is the problem of academia unfortunately, the people working on these have no experience in designing complex chips and facing the real limitations.

We are so stupidly limited by our EDA tooling and infrastructure. I wish these efforts would have been put to use in that front.

thijson•2h ago
It would be nice to have a simulator like Verilator for VHDL.
kvemkon•2h ago
There is mature GHDL https://github.com/ghdl/ghdl and rather new NVC https://github.com/nickg/nvc.
thijson•2h ago
I was aware of GHDL. NVC looks like it's potentially more performant.
almostgotcaught•2h ago
> We are so stupidly limited by our EDA tooling and infrastructure.

The problem that no one will ever solve is there's no gcc equivalent to NXT. Everything is downstream of that problem.

artemonster•1h ago
are you sure it will do anything at all? I am not. The current setup, while objectively sucks for engineers is still quite capable and it *works*. we are far from reaching limits of what is capable to design and tape with current flows. frontend money aspect for tools is still peanuts in comparison to backend and actual fabrication, so it will not generate a renaissance era like gcc did for software
bgnn•1h ago
Backend and fab costs are dominant (or even packaging costs are on par with silicon costs these days), correct, but verification is an multiplier on overall costs. The cost of a re-spin is huge. To your point though, most issues warranting a resping are backend related.
almostgotcaught•1h ago
> are you sure it will do anything at all? I am not. The current setup, while objectively sucks for engineers is still quite capable and it works

go back in time to before gcc - i'm 100% sure people were saying the exact same thing about borland (or whatever).

ei8ths•2h ago
this whole thing is sus...

New sphere-packing record stems from an unexpected source

https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
170•pseudolus•4h ago•58 comments

My first verified imperative program

https://markushimmel.de/blog/my-first-verified-imperative-program/
101•TwoFx•4h ago•37 comments

LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping

https://studios.disneyresearch.com/2025/06/09/lookingglass-generative-anamorphoses-via-laplacian-pyramid-warping/
7•jw1224•26m ago•0 comments

Mercury: Ultra-fast language models based on diffusion

https://arxiv.org/abs/2506.17298
352•PaulHoule•10h ago•143 comments

The chemical secrets that help keep honey fresh for so long

https://www.bbc.com/future/article/20250701-the-chemical-secrets-that-help-keep-honey-fresh-for-so-long
40•bookofjoe•3d ago•14 comments

Launch HN: Morph (YC S23) – Apply AI code edits at 4,500 tokens/sec

128•bhaktatejas922•7h ago•84 comments

I used o3 to profile myself from my saved Pocket links

https://noperator.dev/posts/o3-pocket-profile/
270•noperator•9h ago•117 comments

The Miyawaki Method of micro-forestry

https://www.futureecologies.net/listen/fe-6-5-the-method
74•zeristor•2d ago•17 comments

Adding a feature because ChatGPT incorrectly thinks it exists

https://www.holovaty.com/writing/chatgpt-fake-feature/
591•adrianh•7h ago•220 comments

When Figma starts designing us

https://designsystems.international/ideas/when-figma-starts-designing-us/
197•bravomartin•1d ago•95 comments

You Should Run a Certificate Transparency Log

https://words.filippo.io/run-sunlight/
49•Metalnem•2h ago•9 comments

François Chollet: The Arc Prize and How We Get to AGI [video]

https://www.youtube.com/watch?v=5QcCeSsNRks
156•sandslash•4d ago•129 comments

Show HN: Ossia score – a sequencer for audio-visual artists

https://github.com/ossia/score
59•jcelerier•5h ago•7 comments

Bitchat – A decentralized messaging app that works over Bluetooth mesh networks

https://github.com/jackjackbits/bitchat
640•ananddtyagi•22h ago•298 comments

Show HN: NYC Subway Simulator and Route Designer

https://buildmytransit.nyc
100•HeavenFox•8h ago•8 comments

The Era of Exploration

https://yidingjiang.github.io/blog/post/exploration/
58•jxmorris12•7h ago•4 comments

Lightfastness Testing of Colored Pencils

https://sarahrenaeclark.com/lightfast-testing-pencils/
95•picture•2d ago•22 comments

Artist in Residence on a Satellite

http://global.cafa.edu.cn/infoDetail/1/324
3•thenthenthen•2d ago•0 comments

Solving Wordle with uv's dependency resolver

https://mildbyte.xyz/blog/solving-wordle-with-uv-dependency-resolver/
117•mildbyte•1d ago•12 comments

How did X-Rays gain mass adoption?

https://www.aditharun.com/p/how-did-x-rays-gain-mass-adoption
11•tinymagician•2h ago•11 comments

Hymn to Babylon, missing for a millennium, has been discovered

https://phys.org/news/2025-07-hymn-babylon-millennium.html
148•wglb•3d ago•57 comments

SUS Lang: The SUS Hardware Description Language

https://sus-lang.org/
35•nateb2022•6h ago•13 comments

Tyr, a new Rust DRM driver targeting CSF-based ARM Mali GPUs

https://www.collabora.com/news-and-blog/news-and-events/introducing-tyr-a-new-rust-drm-driver.html
36•mfilion•3h ago•5 comments

Show HN: From Photos to Positions: Prototyping VLM-Based Indoor Maps

https://arjo129.github.io/blog/5-7-2025-From-Photos-To-Positions-Prototyping.html
27•accurrent•1d ago•0 comments

A non-anthropomorphized view of LLMs

http://addxorrol.blogspot.com/2025/07/a-non-anthropomorphized-view-of-llms.html
400•zdw•1d ago•345 comments

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics

https://alpha.lisagui.com/
466•ayaros•1d ago•130 comments

Neanderthals operated prehistoric “fat factory” on German lakeshore

https://archaeologymag.com/2025/07/neanderthals-operated-fat-factory-125000-years-ago/
216•hilux•3d ago•160 comments

Charles Babbage and deciphering codes (1864)

https://mathshistory.st-andrews.ac.uk/Extras/Babbage_deciphering/
5•pncnmnp•3d ago•0 comments

CPU-X: CPU-Z for Linux

https://thetumultuousunicornofdarkness.github.io/CPU-X/
109•nateb2022•8h ago•21 comments

Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge

https://www.businessinsider.com/anthropic-cut-pirated-millions-used-books-train-claude-copyright-2025-6
356•pyman•13h ago•487 comments