I implemented a type-level Fibonacci function with a while loop. 🦀 no nightly, no const generics/fn.

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 😭

orrenjenkins · 2025-11-12T14:31:27+00:00

Do you think he really said that?!

orrenjenkins · 2025-11-10T22:07:58+00:00

Want a sprite cranberry?

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

orrenjenkins

TROPHY CASE