Sign in

Max Korbel

@maxkorbel.bsky.social
32 followers 30 following 36 posts

Principal Engineer @ Intel, lead for ROHD www.maxkorbel.com github.com/mkorbel1

PostsRepliesMedia
Max Korbel @maxkorbel.bsky.social · 10/01/2026
So proud to introduce Rayan Oliver Korbel
040
Max Korbel @maxkorbel.bsky.social · 09/01/2026
🌉 ROHD Bridge v0.2.1 is out! Adds support for new ROHD features, improves connectivity analysis, and tightens up robustness. If you’re assembling large hardware designs and tired of manual wiring or brittle scripts, check out ROHD Bridge! 🔗 buff.ly/IuFHW8z #ROHDBridge #RTL #EDA #HardwareDesign
buff.ly
ROHD
A better way to develop hardware. Star Count
010
Max Korbel @maxkorbel.bsky.social · 06/01/2026
🚀 ROHD v0.6.7 is out! This release focuses on cleaner generated RTL, better debugability, and faster simulation—plus lots of sharp edge-case fixes. 🔗 buff.ly/IuFHW8z #ROHD #HardwareDesign #SystemVerilog #EDA #OpenSource
buff.ly
ROHD
A better way to develop hardware. Star Count
010
Max Korbel @maxkorbel.bsky.social · 01/12/2025
Got day 1 working, see my solution in ROHD on GitHub here: github.com/mkorbel1/aoc... There's some brief write-ups in README files, might write some more later.
github.com
GitHub - mkorbel1/aoc2025: Advent of Code 2025 Solutions using ROHD by Max Korbel
Advent of Code 2025 Solutions using ROHD by Max Korbel - mkorbel1/aoc2025
100
Max Korbel @maxkorbel.bsky.social · 01/12/2025
I'm giving "Advent of FPGA" (blog.janestreet.com/advent-of-fp... ) a shot with ROHD. I'll share my solutions and maybe some progress updates. Join my private leaderboard if you are trying it too: 3621160-1e519151
blog.janestreet.com
Advent of FPGA — A Jane Street Challenge
Advent of Code has long been a favorite Decemberritual at Jane Street, with many participating in the month-long puzzle challenge thatencourages thoughtful e...
010
Max Korbel @maxkorbel.bsky.social · 28/11/2025
Cool idea, might try it this year using ROHD!
buff.ly
Advent of FPGA — A Jane Street Challenge
Advent of Code has long been a favorite Decemberritual at Jane Street, with many participating in the month-long puzzle challenge thatencourages thoughtful e...
000
Reposted by Max Korbel
Semiconductor News by Dylan Martin @dylanonchips.bsky.social · 10/11/2025
BREAKING NEWS: Sachin Katti, Intel’s chief technology and artificial intelligence officer, is leaving the chipmaker for ChatGPT creator OpenAI. www.crn.com/news/compone...
crn.com
Intel AI Leader Sachin Katti Decamps To OpenAI
Intel Chief Technology Officer Sachin Katti is headed to OpenAI.
012
Reposted by Max Korbel
TheZoq2 @thezoq2.bsky.social · 06/11/2025
I finally got around to doing another Surfer release, so now we're on v0.4.0 🎉 My personal highlights are the new web assembly based translator system, and the improvements to our waveform control protocol, and you can read the full change log at gitlab.com/surfer-proje...
064
Max Korbel @maxkorbel.bsky.social · 01/11/2025
🧩 Want the details behind AI-accelerated hardware design? Desmond Kirkpatrick’s blog shows how ROHD and LLMs enable agile, test-driven hardware evolution. 📝 buff.ly/kKimODN Join the community 👉 buff.ly/MKcOpvD #AI #EDA #OpenSourceHardware #Hardware #ROHD
buff.ly
AI-accelerated Agile Design Using the ROHD Framework
There is a lot of excitement about applying AI to VLSI design as well as a lot of concern that Large Language Models (LLMs) will generate expansive hardware descriptions riddled with hard-to-find…
000
Max Korbel @maxkorbel.bsky.social · 31/10/2025
🚀 AI isn’t just for software engineers anymore! Intel’s Desmond Kirkpatrick shows how LLMs + the ROHD framework can assist hardware engineers in real-time design and verification. 🎥 Watch: buff.ly/VQTogJb #AI #HardwareDesign #ROHD #AgileHardware #OpenSource #Semiconductors
youtu.be
AI Accelerated Agile Design Using the ROHD Framework
This video demonstrates using AI-accelerated agile hardware design in the Rapid Open Hardware Development or (ROHD) framework (https://intel.github.io/rohd-website/) to build a new component, a…
010
Reposted by Max Korbel
Kilian Schulte @schultek.dev · 25/10/2025
I've been experimenting with using the new analyzer plugin API for code generation, and it's actually really cool! ⚡️ Instant code generation 🔬 Surgical updates in the same file 🔎 Report outdated/wrong code as lint warnings 🪄 Auto-regenerate outdated/wrong code via 'dart fix'
082
Max Korbel @maxkorbel.bsky.social · 10/10/2025
Announcing ROHD Bridge v0.1.2! This update comes with some big improvements based on user feedback: bug fixes, improved error messages, and more API flexibility. See the full changelog here:
buff.ly
rohd_bridge changelog | Dart package
A ROHD-based framework for connectivity and assembly of hardware designs.
000
Max Korbel @maxkorbel.bsky.social · 07/10/2025
ROHD unlocks modern software patterns to generate hardware! This excellent blog post by Desmond A Kirkpatrick shows how natural it is to develop a recursive algorithm into succinct, verifiable hardware -- starting from the equivalent algorithm in software!
buff.ly
Refining Software Algorithms to Hardware Implementations: Recursion
As a new way of describing hardware programmatically, ROHD opens up the world of hardware design to people with background in software algorithms. Today, we see a lot of hardware design in the space…
000
Max Korbel @maxkorbel.bsky.social · 27/09/2025
The ROHD Hardware Component Library (ROHD-HCL) has released v0.2.1, enhancing its features with new components like dot products, memory init, sign magnitude, more arithmetic operators, sign extension in reduction trees, typed FIFOs. Full change log: buff.ly/WHsLiGn.
buff.ly
rohd_hcl changelog | Dart package
The ROHD Hardware Component Library (ROHD-HCL): a collection of reusable, configurable ROHD components.
000
Reposted by Max Korbel
Kilian Schulte @schultek.dev · 13/09/2025
Jaspr 0.21.0 is out! 🐾 It comes with: ✒️ Simpler and more Flutter-like syntax 🪄 Optimized performance and stability 🎨 More styling properties Oh, and all breaking changes can be migrated fully automatically. Check 🧵for details
1163
Reposted by Max Korbel
TheZoq2 @thezoq2.bsky.social · 31/08/2025
This Friday I successfully defended my PhD 🎉 If you want to watch a recording of the defense there is a recording here vimeo.com/1114208379/89dcd4f302
vimeo.com
Improved Tooling for Digital Hardware Development - Frans Skarman
This is "Improved Tooling for Digital Hardware Development - Frans Skarman" by Linköping University on Vimeo, the home for high quality videos and…
0193
Max Korbel @maxkorbel.bsky.social · 29/08/2025
I tried adding a dual boot Ubuntu with Omakub (omakub.org) to my personal laptop (Dell XPS Plus 13), and it's pretty good! Surprisingly, it gets way less hot, the battery lasts longer, and things feel very snappy, I guess without the bloat.
omakub.org
Omakub
Turn a fresh Ubuntu installation into a fully-configured, beautiful, and modern web development system by running a single command.
020
Max Korbel @maxkorbel.bsky.social · 26/08/2025
I'm excited to share that I've joined the CHIPS Alliance governing board as the representative for Intel Corporation! I am looking forward to further contribute to open source hardware.
buff.ly
Governance
The CHIPS Alliance is a directed fund of [The Linux Foundation](https://linuxfoundation.org/), a 501(c)(6) non-profit organization. Following best practices in the industry, we maintain a clear and…
010
Max Korbel @maxkorbel.bsky.social · 17/08/2025
Announcing ROHD Bridge!! The best way to connect and assemble large hardware designs, now joining the rest of the ROHD ecosystem. ROHD Bridge is extremely fast, flexible, powerful, and modern. See the announcement blog post for more details:
buff.ly
Announcing ROHD Bridge
Designing large hardware systems can be tough, and it’s crucial to have a good solution for managing hierarchy and connecting all the pieces. Even though the top level of your SoC is mostly just…
010
Max Korbel @maxkorbel.bsky.social · 16/08/2025
Build better hardware faster with ROHD v0.6.6! This version introduces new features for "cloning" signals and interfaces, and automates inferring and constructing matching types for structs, ports, etc. These enhancements boost type safety, consistency, and EDA development.
buff.ly
rohd changelog | Dart package
The Rapid Open Hardware Development (ROHD) framework, a framework for describing and verifying hardware.
010
Max Korbel @maxkorbel.bsky.social · 15/08/2025
Want to build hardware with AI? ROHD with the new Dart MCP server is your best bet! Dart 3.9 now better supports tools like Cursor and GitHub Copilot for error fixing, dependency management, and code correction, significantly boosting HW dev. Don't miss out! Learn more about ROHD: buff.ly/2waUTww
buff.ly
Announcing Dart 3.9
Hello, Dart developers! The latest stable version, Dart 3.9, is officially here!
000
Reposted by Max Korbel
PypelineC @pipelinec.bsky.social · 07/08/2025
"How do FPGAs execute blocking assignments in one clock cycle?" Is the perfect question to frame common learning curve hurdles that folks need to get over when learning HDL. www.reddit.com/r/FPGA/comme... #fpga #hardware #verilog #vhdl #hdl #rtl #hls #asic #eda
reddit.com
Software, FPGA Execution, a PipelineC response
021
Max Korbel @maxkorbel.bsky.social · 09/08/2025
This is really cool!
110
Max Korbel @maxkorbel.bsky.social · 12/07/2025
Announcing v0.6.4 of ROHD! It's never been a better time to accelerate the way you develop hardware. This release has some nice bug fixes, performance enhancements, and new convenient APIs for SynthBuilder and FiniteStateMachine. Check it out!
buff.ly
rohd changelog | Dart package
The Rapid Open Hardware Development (ROHD) framework, a framework for describing and verifying hardware.
000
Reposted by Max Korbel
Kevin Moore @kevmoo.com · 12/07/2025
Beautiful! github.com/flutter/flut...
github.com
[ Tool ] Enable `omit_obvious_*_types` and `specify_nonobvious_*_type… · flutter/flutter@1709c88
…s` lints (#172018) Sources under `packages/flutter_tools/` aren't accessible to the average Flutter user by navigating through sources from their projects, so it doesn't need to be as exp...
061
Max Korbel @maxkorbel.bsky.social · 11/07/2025
ROHD enables some really powerful abstraction! In this video, Desmond Kirkpatrick builds and uses advanced data types for a real feature in ROHD-HCL: implementation of floating point DAZ, FTZ, and subnormal as zero!
youtu.be
Advanced Data Types -- Implementing Floating Point DAZ and FTZ in ROHD-HCL [Demo]
A demonstration of adding a new feature to Floating Point infrastructure in the ROHD Hardware Component Library (ROHD-HCL) (https://github.com/intel/rohd-hcl...
000
Max Korbel @maxkorbel.bsky.social · 08/07/2025
Curious about the future of hardware design? Announcing ROHD-HCL v0.2.0! This release has tons of new stuff, including arbitrary-width floating/fixed point arithmetics, reduction trees, clock gating, counters, finders, error correcting, standard interfaces, and much more for free! buff.ly/6eyZEOi
000
Reposted by Max Korbel
Kilian Schulte @schultek.dev · 31/05/2025
Jaspr is now mentioned on dart.dev/web as a great way to build websites with @dart.dev ! 🎯 It's so cool to finally see this on the official site. 🤩
2202
Reposted by Max Korbel
TheZoq2 @thezoq2.bsky.social · 03/06/2025
My thesis is now published online! 🎉 urn.kb.se/resolve?urn=...
3249
Reposted by Max Korbel
TheZoq2 @thezoq2.bsky.social · 11/04/2025
Me and a friend (Well mostly my friend, she did most of the design work) built a fully analog flappy bird last weekend No digital logic, just ~30 op amps and 70-80 resistors, a bunch of capacitors and a few analog switches. All assembled during a 48 hour game jam
3419
Max Korbel @maxkorbel.bsky.social · 11/04/2025
Exciting update for hardware developers! DartPad now features Google Gemini, enabling AI-driven hardware design in your browser with no setup needed. LLMs excel with ROHD as it's in Dart, not SV. Try a simple ROHD counter example by adding an int argument for increment amount: buff.ly/N5NCYpb
medium.com
Gemini for DartPad
Say hello to Gemini in DartPad!
000
Reposted by Max Korbel
Kilian Schulte @schultek.dev · 06/04/2025
📢 Announcing the official Jaspr VSCode extension! ✅ New Project Templates ✅ Debugging Support ✅ Integrated Jaspr Commands This makes it easier than ever to create and run your website with Jaspr! Link below 👇
161
Reposted by Max Korbel
TheZoq2 @thezoq2.bsky.social · 28/03/2025
On Sunday we're hosting LATTE ☕, our workshop on Languages and Tools for Accelerator design! We have 15 super cool papers and plenty of time for discussion! You can attend virtually via zoom or in person with #asplos in Rotterdam capra.cs.cornell.edu/latte25/
capra.cs.cornell.edu
LATTE ’25
194
Reposted by Max Korbel
CNBC @cnbc.com · 12/03/2025
Intel has appointed Lip-Bu Tan as its new CEO, as the chipmaker attempts to recover from a tumultuous four-year run under Pat Gelsinger.
cnbc.com
Intel appoints Lip-Bu Tan as CEO to orchestrate turnaround at struggling chipmaker, stock jumps 12%
Intel said on Wednesday that Lip-Bu Tan is taking over as CEO, three months after Pat Gelsinger resigned from the post.
1172
Reposted by Max Korbel
wolfenra.in 💙🏳️‍🌈 @wolfenrain.dev · 24/02/2025
Who said code can't be an art form?
4297
Reposted by Max Korbel
Microsoft @microsoft.com · 19/02/2025
01101000 01100101 01101100 01101100 01101111 00100000 01100001 01100111 01100001 01101001 01101110 Introducing Majorana 1: the world’s first quantum processor powered by topological qubits—a groundbreaking leap toward practical quantum computing. msft.it/6006UxEJG
159666119
Max Korbel @maxkorbel.bsky.social · 19/02/2025
🚀 ROHD is officially silicon-proven! 🎉 Open-source hardware just took a big step forward—ROHD designs are now running on real silicon! Big thanks to everyone who contributed—your work is in real chips. 🏆 More to come! 🔗 Learn more: buff.ly/3WLth4y #ROHD #OpenSourceHardware
buff.ly
ROHD
A better way to develop hardware. Latest release
020
Max Korbel @maxkorbel.bsky.social · 09/02/2025
It's pretty cool that my post on combinational logic in ROHD is in the top 3 results on Google when you search for `always_comb`! buff.ly/3Ek2XrY #rohd #always_comb #SystemVerilog #dart #opensource
buff.ly
Procedural Combinational Logic, SystemVerilog’s always_comb, and SSA in ROHD
ROHD has recently gained a powerful new feature in the Combinational.ssa constructor for Combinationals that allows safer implementations of equivalent always_comb logic in SystemVerilog. This post…
000
Max Korbel @maxkorbel.bsky.social · 08/02/2025
Explore ROHD resources, including API docs, user guides, and tutorials at buff.ly/3WLth4y. Connect with users and developers on Discord: buff.ly/40CRwTQ. Don't miss the ROHD YouTube channel: buff.ly/3WKnn3Q!
buff.ly
Join the ROHD Discord Server!
Check out the ROHD community on Discord - hang out with 125 other members and enjoy free voice and text chat.
000
Reposted by Max Korbel
TheZoq2 @thezoq2.bsky.social · 05/02/2025
The SystemVerilog standard is wild. 1300 pages that manage to say absolutely nothing about how the language works, apart from gems like this
082
Max Korbel @maxkorbel.bsky.social · 07/02/2025
While it's disappointing that Dart macros are put on hold, I'm glad that features like augmentation are still planned. I think leveraging build_runner with augmentations could provide a lot! buff.ly/3Ei6JST #dart #rohd
000
Max Korbel @maxkorbel.bsky.social · 04/02/2025
Hey, ROHD community! We're pleased to announce the release of ROHD Cosim v0.3.0, now supporting in/out ports and Verilator for enhanced simulation. Also, ROHD v0.6.2 is out, featuring some bug fixes and improved adder syntax in SystemVerilog. buff.ly/3WLth4y #rohd #verilator
buff.ly
ROHD
A better way to develop hardware. Latest release
010
Max Korbel @maxkorbel.bsky.social · 02/02/2025
👋 Hi, I’m Max! Principal Engineer @ Intel & lead of ROHD, an open-source project making hardware design more fun & accessible. Passionate about hardware, software, open source, and Dart. Also snowboarding, gaming, & new tech! #introduction #opensource #hardware #FPGA #SoC #Dart #HDL #ROHD
063
Max Korbel @maxkorbel.bsky.social · 02/02/2025
I recently created a personal website at maxkorbel.com using Dart and the Jaspr framework. Used Copilot to style it with Tailwind CSS. For now, just links to my projects, social media, etc. Excited to try it on something more complex! #dart #jaspr #tailwind #copilot
maxkorbel.com
maxkorbelcom
010
Max Korbel @maxkorbel.bsky.social · 02/02/2025
Hello @bsky.app
000