BracketMaster
IBM charges 11k for their 8 core POWER9 CPU alone...
Not to mentioned it takes anywhere between 90s and 5 minutes to boot. It spends over one minute doing init including things like training DDR4 and PCI-e serdes links.
I know wasm is also a thing now - so maybe they compiled C or Rust to Wasm or something.
Thoughts on FluxAi
There is jitsi - but it doesn't have a native client.
There's also iced.rs
No Electron Alternatives
I'm pretty good at Rust, and Go is pretty easy - both compile to wasm or desktop native and have web/dekstop UI toolkits that have tiny memory footprints see:1. https://www.egui.rs/ 2. https://gioui.org/I find using slack, discord, and zoom unpleasant.I've been toying with writing a zoom and slack replacement native for all platforms in either Rust or Go.Should I do it?I don't want to build it...
A Rust OS with Only Rust Applications
As a fan of Rust myself, I know that Rust offers memory safety and type safety.Suppose there was an operating system written using as much safe Rust as possible, on top of which one only ran software written safe Rust...How much more impervious would such an operating system be to attacks than other operating systems?FWIW, I know that Redox exists.And here's a ranking of common software...
Obviously, we don't know right now if the driver was at fault or not - but I'm a capable coder and have some exposure to control theory as well as microcontrollers - and would be more than happy to audit Tesla's firmware.
Even more, I think there's a case to be made here for formal verification and high assurance languages such as SPARK.
It would be nice if you could pass the Tesla codebase to a formal solver and ask the solver "prove that pressing the brake never accelerates", and then have the resulting code and proof be made public.
Should Tesla Open Up Their Control Code to Public Audit?
Lots of FPGAs and Server Blades
I have a lot of high end(recent) FPGAs and server blades sitting around that I can't easily sell or give out...I'm wondering what I should do with them instead of having them collect dust - if anyone has any ideas...HN may actually not be the right place to ask, but I'm on HN fairly frequently - so I'd thought I'd give it a shot.
Linux Evangelist Turned Dentist, handrolls all IT infra in his dentist practice
He wrote drivers for the xray machines??!!
Laser Powered Future
Just had the random thought that instead of having batteries, we should just install actuated lasers everywhere that can track solar panels on our portable devices to power them.Feel free to tear into this probably really awful ides.
DSLs really matter in the hardware and digital design space - a space that seems to be completely devoid of innovation when it comes to tooling.
A couple languages that try to bring RTL into the 21st century are nMigen-Python and Chisel-Scala.
I'm currently writing an RTL in Nim.
Nim's macro system allows you to do really cool things like instantiate named RTL wires and create custom operators like `:=` for Signal assignment. Really excited about tier 1 BigNum support coming soon - which will make it easier to simulate arbitrary width integer signal arithmetic.
The GPU was largely a one man effort by him. He is very talented.
Feel free to ask me any questions about what on earth we're actually doing.
Building an Open Source GPU
I'll take one last stab at this. Founder of Chip11 here, we're on a mission to disrupt the currently siloed Silicon industry by building an ecosystem of open source hardware components.Our progress so far:- we're funded- functional/verified LPDDR4/5 PHY- functional/verified SERDES PHY- GPU RTL running some basic 3d application- CPU RTL running some basic C codeHoping to meet someone passionate...
For example, POWER right now support off the shelf AMD and NVIDIA GPUs. POWER also has full JSv8 web browser and JDK engine support.
And I also don't build companies for investors. EVER.
I've chosen investors that believe in the vision and I am not afraid to be vocal.