Kalan
kalan.dev
嗨我是愷開！目前定居在福岡 🧑💻喜歡寫程式和部落格，主要是寫網頁居多 🔖 分享日本生活雜感偶爾聊聊技術 🎸 最近在學電吉他，喜歡 Telecaster 歡迎一起交流與理性討論，希望可以認識更多來自不同領域的人～ Profile: https://link.kalan.dev Blog: https://blog.kalan.dev 諮詢: https://consult.kalan.blog
👤 Joined on 05 August 2023
132
Followers
56
Following
152
Total Posts
📜 Kullanıcı Geçmişi
- 05 Ağu 2023, 02:47
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@kalan.bsky.social - 12 Kas 2023, 23:55
🔄 Profil bilgileri güncellendi
- 18 Eki 2024, 16:39
✏️ Kullanıcı adı değişti:
@kalan.bsky.social→@kalan.dev
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
i’ve been doing some research on using Lean with AI to prove software properties (in my case, pieces of React). i’ll try to share lessons if it gets to a useful state. the main thing i’m learning is that, with this setup, proofs are *grown*. you can’t “just build them”
Show Post
The new Gemini 3.8 TTS models are super-cheap and can generate conversations between multiple voices (from 2,000+, or you can clone your own) - I built a little playground UI for it, then had Claude knock up a script where two pelicans debate moving to Pacifica Pier simonwillison.net/2026/Sep/23/...
Show Post
The CSS progress() function is now in all major engines! Here's how it works:
Show Post