TheZoq2 / is on Nostr

Developing http://spade-lang.org and other fun stuff in Rust. PhD student at Linköping University

Last Notes

2024-08-28 08:06:28

https://files.mastodon.social/media_attachments/files/113/038/598/123/042/176/original/0d930587ff3f41e0.png

2024-06-08 10:12:05

Spade now has a playground at https://play.spade-lang.org/
It runs the Spade compiler, and simulates the resulting Verilog code along with a VGA monitor right in the browser through web assembly.
Since it simulates an actual VGA/HDMI monitor, the code written here can be uploaded to an #fpga and will behave exactly the same!
https://files.mastodon.social/media_attachments/files/112/580/451/837/722/713/original/fd2d57656c9b1a5c.mp4

2024-03-12 21:43:29

Ever played factorio and thought "I wish my factory had a risc-v core"?
Introducing Factorio Yosys!
This is a project of a friend of mine not on mastodon, so all credit to him. He built a full @npub1hdw…7r94 backend for #factorio that can now compile a #riscv core.
The core runs at 1.82 Hz at 60 FPS, and much faster with uncapped framerate.
Source code here https://git.sr.ht/~acqrel/factorio-yosys
https://files.mastodon.social/media_attachments/files/112/084/888/242/232/280/original/0592b4ecf95060b0.mp4

2023-11-27 14:19:17

One weird trick for better performance
https://files.mastodon.social/media_attachments/files/111/482/941/067/004/447/original/bfffb05ddecb5b94.png

2023-09-27 13:34:43

- reply

@npub1cw4…7e5q @npub12f7…qqwy that one is very good

2023-09-27 08:07:16

STOP DOING ML
https://files.mastodon.social/media_attachments/files/111/136/080/886/040/898/original/41157deba5002b60.jpg

2023-09-27 08:07:16

STOP DOING ML
https://files.mastodon.social/media_attachments/files/111/136/080/886/040/898/original/41157deba5002b60.jpg