nhuck

nhuck

nhuck.bsky.social

bit shuffler and theorem prover

👤 Joined on 19 May 2023

1142

Followers

3808

Following

57

Total Posts

📜 Kullanıcı Geçmişi

  • 19 May 2023, 22:49
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @nhuck.bsky.social
  • 09 Kas 2023, 21:26
    🔄 Profil bilgileri güncellendi

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

Sami Badawi
06 March 2025 19:55

Thanks. I heard other people advocate your approach. I don't think that I have patience for that. Maybe it is fine that my LLM is a drag racer that can get me from 0 to 60 mph in 1 second. 🏎️ Starting a new project often takes a while, especially if you program in a lot of languages.

Show Post
Sami Badawi
06 March 2025 19:21

This Rust style Result Monad is very convenient, for delivering results by value. C's macros are fine for small tasks. #define RESULT_MONAD(T) \ typedef struct { \ T res; \ const char *error; \ } T##Result #define CREATE_RESULT_MONAD(T) (type##RESULT) {}

Show Post
Sami Badawi
06 March 2025 19:15

Blinky 3 😅

Show Post
Ethan Holz
04 March 2025 06:28

Okay this is cool

Show Post
K
04 March 2025 06:28

Kapalı içerik

Show Post

Select language

Install App

Install App