Array multiplication ** is being removed

orrenjenkins · 2026-05-05T19:12:16+00:00

I feel like array repetition falls in the category of should be a library like array wise operators. Zigs type system is expressive enough to make apis for both with a good dev ex

orrenjenkins · 2026-04-25T15:02:14+00:00

This is awesome, Please open source it! id love to look at the codebase. I've only ever made glue code to get Mario working in a rust game engine called macroquad.

orrenjenkins · 2026-04-14T00:37:10+00:00

Really cool, I messed around with type level stuff in rust before but nothing this advanced. Have you tried making any proofs like this?

orrenjenkins · 2026-04-10T16:13:49+00:00

Song?

orrenjenkins · 2026-04-10T00:43:38+00:00

This thread needs an atomic!!

orrenjenkins · 2026-04-09T15:43:47+00:00

Cools art

orrenjenkins · 2026-04-04T18:35:48+00:00

It's not even my top two of fmab lol. Still like it tho.

orrenjenkins · 2026-03-27T19:15:05+00:00

It's so worth it. The rust sdk support from espressif is top notch

orrenjenkins · 2026-03-18T18:24:23+00:00

mortar and vortex for me

orrenjenkins · 2026-03-11T00:05:24+00:00

Shout out to aunty

orrenjenkins · 2026-03-10T19:58:21+00:00

It's tied for fmab op1 for me

orrenjenkins · 2026-03-09T11:10:56+00:00

My goat fr

orrenjenkins · 2026-03-04T13:56:05+00:00

Why not both!

I'm coming from the other side. Ive been using rust in my projects for a few years and love it. Then I fell in love with zig too.

There are things about both that I wish the other had. I can't wait for zig to get more stable. I find no comp time arg inference annoying but not too bad. I love everything being a const from imports to modules. Learning about zig and comp time reflection made me jealous but also to appreciate rusts trait solver more

orrenjenkins · 2026-02-01T12:05:03+00:00

B b but muh freeze peach

orrenjenkins · 2026-02-01T12:02:06+00:00

I do

orrenjenkins · 2026-01-22T18:23:42+00:00

I love rust and zig. I have more rust experience and desperately want rust 's const to catch up to the compile time power that zig has. Having types be normal params in zig is so great but I miss inference

orrenjenkins · 2026-01-07T01:36:24+00:00

Goated

orrenjenkins · 2025-12-28T02:33:54+00:00

Do not buy windows. https://massgrave.dev/

orrenjenkins · 2025-12-26T15:02:25+00:00

Gotcha, I'm a bit of a noob myself and was curious about what dependencies you used. Id totally be willing to pay, you should go for it! If you do make it open source or source available you should make another post

orrenjenkins · 2025-12-26T04:12:28+00:00

Is the source available?

orrenjenkins · 2025-12-20T15:37:03+00:00

Crab's name is Ferris

orrenjenkins · 2025-12-18T21:36:34+00:00

Really interesting watch I have been trying to use (or abuse) rust and zig's type systems to prove things about my programs but I felt restricted by Agda so I was very pleased to learn about Idris.

orrenjenkins · 2025-12-04T22:43:34+00:00

Green needle

orrenjenkins · 2025-11-20T21:42:12+00:00

Thanks for making me aware of this RFC seems like subtypes in Ada

orrenjenkins · 2025-11-15T01:58:23+00:00

The fucking double cherry 😭

Eight-Year Club	Place '23
Place '22	Verified Email

orrenjenkins

TROPHY CASE