Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes every weekday Monday through Friday.
This page was generated by The HPR Robot at


hpr4333 :: A Radically Transparent Computer Without Complex VLSI

Short talk about Dauug | 36, the world's most advanced transparently functioning computer.

<< First, < Previous, , Latest >>

Hosted by Marc W. Abel on Wednesday, 2025-03-12 is flagged as Clean and is released under a CC-BY license.
Dauug|36, solder-defined computers, transparently functioning computers, cybersecurity. 5.

Listen in ogg, opus, or mp3 format. Play now:

Duration: 00:18:36
Download the transcription and subtitles.

general.

TITLE

A Radically Transparent Computer Without Complex VLSI

VENUE

1st IEEE Conference on Secure and Trustworthy CyberInfrastructure for IoT and Microelectronics (SaTC 2025), Wright State University, February 25-27, 2025.

This is a recording of the final rehearsal that occurred three hours before this invited talk. No slides were used.

ABSTRACT

Foreign adversaries have colonized America’s computers from at least 1986. Four decades later, online safety is the largest failure in the history of human engineering. Radical stewardship in cybersecurity would bring radical progress, but responsibility for losses will need to flow from the bottom up. The buck stops with victims, who must accept all blame for cyberattacks. Only then will people at risk properly vet the products and vendors they select.

A leading challenge in stewardship is balancing the opaque, proprietary nature of VLSI complex logic with the owner’s need for complete control. Since these aspects are incompatible and owner control is essential, it’s necessary to design computers that avoid complex VLSI entirely. One such architecture, Dauug | 36, is being developed at Wright State University to deliver 36-bit computing, preemptive multitasking, paged virtual memory, and hundreds of opcodes, all without using a single microprocessor or anything like one.

BIOGRAPHY

Marc Abel is an engineer-scientist specializing in technology that supports civil rights, economic security, and geopolitical stability. He holds a 1991 B.S. in Engineering and Applied Science (focused on computer science) from Caltech, and a 2022 Ph.D. in Computer Science and Engineering from Wright State University.

Marc is the sole inventor, architect, implementer, maintainer, documenter, and promoter of the Dauug | 36 open-source minicomputer for critical infrastructure. He is the original and still only author of Dauug | 36’s firmware, designer and implementer of Dauug | 36’s assembly language and assemblers, writer of several related software tools, especially open-source electronic design automation and simulation tools, and the sole author of Osmin, a real-time operating system (RTOS) kernel for the architecture. He is the writer of 200,000 words of system documentation, including his dissertation and its online continuation called The Dauug House.



Comments

Subscribe to the comments RSS feed.

Comment #1 posted on 2025-03-04 15:49:40 by Ken Fallon

Everyone needs to listen to this show

A computer that has 100% incompatibility "with every binary executable you've heard of, every language compiler, every tool chain. It's incompatible with rust's integer sizes. I triply sat in 54's floating point for a net. Elf executable files, parts of C, sum of posics, and traditional debuggers."

And yet there are a lot of reasons to use it.

All Security Researchers owe it to yourselves to listen to this one.

Comment #2 posted on 2025-03-07 19:59:48 by Marc

Reply to comment (or if a volunteer can edit it directly instead, that's fine)

Some of Ken Fallon's supremely kind comment contains a hard-to-follow machine transcription. What I tried to say was:

"with every binary executable you’ve heard of, every language compiler, every toolchain. It’s incompatible with Rust’s integer sizes, IEEE 754’s floating point format, ELF executable files, parts of C, some of POSIX, and traditional debuggers."

Comment #3 posted on 2025-03-19 20:27:40 by paulj

Dauug

Hi Marc, Welcome to HPR, and thank you for your excellent first podcast. I actually came across your paper a few weeks back when someone posted a link on Mastodon. However, it was great to hear you explaining Dauug yourself. I see from the information on your website that you have a working emulator - are you planning a hardware build at some point (or have you already done it!)?

I very much look forward to your future podcasts!

-- Paulj

Comment #4 posted on 2025-03-24 15:29:16 by Marc

Hardware build road map

The CPU runs in simulation, but it doesn't bootstrap itself and doesn't communicate with "real" peripherals (even if simulated).

When I on the technical side of this project (which also has administrative, legal, and fundraising sides), I presently work on the firmware loader, which needs to transfer firmware (lookup tables) from persistent storage into at least 22 SRAM ICs. There are also several initial conditions to force, such as the instruction pointer and other CPU state.

After the system can start itself in simulation, I will finish an already-started interface for peripherals. This will be via an SPI bus (I2C wil be supported also, but SPI is essentially a quorum anyhow).

Once all that is in place, then the fun work starts with power, bypass capacitors, "final" component placements, tracks, routing, connectors, plotting the board, mounting several hundred components, and---black smoke? White smoke?

Comment #5 posted on 2025-03-24 19:01:31 by Celeste

About the software part reliability

I just share a link which might be useful, but maybe you already know it.

Here's an open source tool for formal verification and SysML modeling called TTool, to check a software design always respects some constraints and safety guarantees you set, even before writing the code.
https://ttool.telecom-paris.fr/
Helps you detect deadlocks and make sure some error states are impossible to reach, or at least they're always handled in the safest possible way.

Said that, welcome to HPR!

Leave Comment

Note to Verbose Commenters
If you can't fit everything you want to say in the comment below then you really should record a response show instead.

Note to Spammers
All comments are moderated. All links are checked by humans. We strip out all html. Feel free to record a show about yourself, or your industry, or any other topic we may find interesting. We also check shows for spam :).

Provide feedback
Your Name/Handle:
Title:
Comment:
Anti Spam Question: What does the letter P in HPR stand for?
Are you a spammer?
Who is the host of this show?
What does HPR mean to you?