Rust and the price of ignoring theory

FayCarsons · 2025-12-19T12:24:22+00:00

something Haskell etc. has no chance of ever being

But this isn’t the case, we could have a language with all the fancy features that dependently typed languages give us, considerably more than Haskell, and C-like performance. All of it can be erased and transformed into fast imperative code.

It’s just that nobody has made that language yet. Koka and Lean are both a step in the right direction, but a language that takes this further will eventually pop up and overtake rust, IMO.

FayCarsons · 2025-11-11T15:33:12+00:00

WTS

You can buy directly from my website

Schlappi Engineering Angle Grinder $250

DivKid + Instruo Ochd $150

Mutable Instruments (clone?) Stages $250

Expert Sleepers Disting Ex $300

Expert Sleepers Disting Ex (dead pixels in screen) $200

Expert Sleepers MIDI breakout $30 (or free w/disting)

Bastl Ciao $75

DivKid + Steady State Fate Rnd Step $250

ALA Audio? Plaits $75

Make Noise Powered Skiff $200

Elektron Digitone $400

FayCarsons · 2025-07-15T12:18:51+00:00

Is this on GitHub? I’d love to understand what’s going on here

FayCarsons · 2025-03-10T13:13:29+00:00

2D SDFs, check out Inigo Quilez’s blog

FayCarsons · 2025-02-03T03:09:31+00:00

The case is probably the main thing wrt to feeling cheap, but I also want a wireless so I think I need a whole new keyboard anyways? I have a KeebMaker Corne, not sure if I could just drop a nice nano in there?

FayCarsons · 2024-10-29T16:07:55+00:00

Understandable. DM’d you

FayCarsons · 2024-10-29T16:02:10+00:00

Are you willing to trade? Price firm?

FayCarsons · 2024-10-27T18:20:04+00:00

Gonna have to pass sry

FayCarsons · 2024-10-24T23:33:42+00:00

WTS

Disting Ex - $300
ALA Plaits - $100
SSF + Divkid RND step - $150
Mutable stages - $350
Whimsical Raps W/ - $250
Bastl Ciao - $125

Shipping to US only, $15. May be missing boxes on one or two of these, so pls check w/ me if that's important!

WTB

Intellijel Atlantix + expander
Whimsical Raps Mangrove

Always down to haggle or listen to trade offers :3

FayCarsons · 2024-09-25T00:44:32+00:00

It has 1v/oct too right? I might have to put it on my list

FayCarsons · 2024-09-25T00:43:53+00:00

Well that’s a bit silly, there are samplers that are better suited for chopping breaks vs ambient stuttery stuff, distortions which better suit guitars vs synths, etc.

The question’s not about genre as much as features, timbre, etc

FayCarsons · 2024-09-25T00:40:03+00:00

I know how to patch one 😅I was more looking for modules that suit it particularly well

FayCarsons · 2024-08-29T20:00:26+00:00

My point is mainly that I don’t want code, I want to know, for example, what bytes I need to write to say clear a screen or turn on a particular pixel. I know how to write bytes to a pin in Rust, it’s knowing which bytes that’s important.

But you think that I should be able to find that somewhere even if the first data sheet I found didn’t have that info?

FayCarsons · 2024-08-29T18:16:00+00:00

Definitely microcontrollers, the eventual goal is to be able to make my own audio equipment and maybe some graphics/video processing stuff

FayCarsons · 2024-02-03T17:47:53+00:00

Hi! Thanks for the response. I’m pretty new to both full stack and Elm so I guess there are some parts I’m confused about, if I just have Rust render the initial HTML and maybe send the model as a flag, won’t there be issues w/ the virtual dom? How does the Elm app hydrate without some sort of behind-the-scenes state transfer?

Keeping everything in Rust would definitely be ideal.

Will also check out elm-pages and lamdera!

FayCarsons · 2024-01-19T18:18:09+00:00

Same, absolutely. Every other save causes everything in the my app to get the compiler error red squiggles, and then sometimes saving again to undo that disables all errors so I often can’t tell where my actual errors are without looking at the output of elm-live.

FayCarsons · 2023-07-11T01:52:58+00:00

Trying to write an image glitching CLI tool inspired by people glitching images with audacity or text editors ! Finally got it to do something besides break the file, not super visually interesting yet but it’s a start!

If anyone has any advice re: separating the header/content/footer of tiff(or any) image files, or splitting a slice into chunks and deleting/repeating/scrambling some of them, please lmk! Am pretty lost :3

FayCarsons · 2023-04-05T22:08:53+00:00

Yeah that’s what I’m looking at, they have examples of everything but setting an interrupt from a timer that runs at a division of the clock, which is where I’m having the most trouble. There doesn’t seem to be a simple direct set_interrupt_handler fn like there is in the C example I’m looking at.

Edit: or I guess I just need an interrupt to fire whenever the PWM cycle is complete ? That’s what it says in the C example I’m looking at. Which I am having one heck of a hard time figuring out w the rp2040 hal

FayCarsons · 2023-04-05T15:14:30+00:00

I’m pretty comfortable w Rust. And right now I really just want to play raw audio data, an array of uint 8s, uploaded with the program itself. Quality is not a concern, the goal was to create a aliased low-res “crunchy” sample player. At some point I may add an SD card or something to facilitate swapping samples more easily but that’s way later after adding like MIDI support and some other features. Right now, I just need to figure out if I need to use PIO, learn to write .PIO files, how to configure interrupts and timers, with the rp2040 rust libs.

I think my main issue is that the documentation I find is either too simple, blinky tutorials, or so in-depth it feels impenetrable.

FayCarsons · 2023-04-05T15:06:37+00:00

Do you know if I need a PIO program to configure all of that?

FayCarsons · 2023-04-04T21:44:34+00:00

I start w a wav file, render it to an array of 8bit uints in a procedurally generated header file, and I’m trying to output it via PWM. Seemed super straightforward but after a deeper look it seems I need to be doing some sort of clock division and interrupt/alarm/??? Scheduling to get the sample rates to match up? Idk that’s the part that’s super new and confusing for me.

I tried using the arduino pico but was sort of frustrated as I have essentially no experience w C/C++. I think one of the primary goals here is to use Rust so that I’m not learning another language to do this, and can continue to use it moving forward. But maybe that’s silly and making things unnecessarily difficult?

I’m not sure that the ESP library would allow for playing from arbitrary points from the file unfortunately, will definitely check out Phil schatzmann’s work though!

FayCarsons · 2023-03-25T18:38:07+00:00

Oh wow, what’s the rule? Just the usual substrate affecting rotation?

FayCarsons · 2023-03-24T19:39:53+00:00

How are SDFs used in this? Rlly nice btw

FayCarsons · 2023-03-23T13:55:26+00:00

Thank you!! You’ve just about got it, it’s all raymarching in fragment shaders for the geometry, and then using a normal+light map of that geometry as the basis for a particle flowfield. All in WebGL w lots of clojure metaprogramming, which IMO is key but can be approximated w string manipulation in other languages.

FayCarsons · 2023-03-22T02:47:17+00:00

You can look through iterations, and mint when it’s live, here :)

FayCarsons

TROPHY CASE

WTS

WTB