thunderseethe
thunderseethe.dev
👤 Joined on 27 October 2023
54
Followers
59
Following
96
Total Posts
📜 Kullanıcı Geçmişi
- 27 Eki 2023, 18:26
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@thunderseethe.bsky.social - 09 Kas 2023, 23:03
🔄 Profil bilgileri güncellendi
- 31 Oca 2025, 17:24
✏️ Kullanıcı adı değişti:
@thunderseethe.bsky.social→@thunderseethe.dev
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
Ah but my regex validator is Turing complete so it’s basically just parsing with really bad error messages. It’s fine /s
Show Post
New blog post: "Pining for Arc Downcasting in Rust" https://wolfgirl.dev/blog/2026-09-29-pining-for-arc-downcasting-in-rust/ #programming #rust
Show Post
Wrote a tutorial on type inference that covers HM, bidirectional type-checking, row polymorphism, newtypes, type annotations, and the value restriction. Check it out! www.blog.akhil.cc/type-inferen...
Show Post
There's a neat pre-print of an approach for OCaml that uses suspended constraints: arxiv.org/abs/2511.10343
Show Post
I wish I'd done all my travelling for work and client offsites when I was single and had no kids.
Show Post