Charles Dong
@chardoncs.dev
Random software dev based in Shanghai; CEO of @htmx.org (冗談だ) I share photos, music, and niche thoughts here
To be honest, I think we should do decentralized custom repositories and AUR hosting
LaurieWired@lauriewired.bsky.social · 3d agoWild, but expected. AUR (Arch Linux User Repository) pushes completely disabled atm due to influx of malware. I predicted widespread temporary shutdowns of major package repositories earlier this year. looks like it's happening!
btw I built an mpv-based media player with AI. but it was not one shot, it took me 97 commits in 10 days to get to the situation I think good enough github.com/chardoncs/ez...
GitHub - chardoncs/ezmpv: Free and open-source mpv-based media player for Android
Free and open-source mpv-based media player for Android - chardoncs/ezmpv
github.com
what's the difference between American and Canadian accents? just curious bc they sound the same to me 🙃
Hello GitHub, please do me a favor: Remove fine-grained personal access tokens, it's broken
Jokes aside. I think Odin is a nice language. It gives you the power of manual control while having the syntax easier to understand than Zig and similar to Go.
Charles Dong@chardoncs.dev · last wk.change my mind
AI-assisted programming isn't that you sit back and relax. For building a production-ready product, you have to manage iterations, organize requirements, do QA, raise bugs to AI, and review code. You can't just vibe out a serious project without knowing what you're doing.
Me looking at western bipartisan politics after withdrawing from it and reconnecting with local society in Shanghai
Well, Fil-C-like memory safety for Zig is unexpected codeberg.org/ziglang/zig/...
introduce an actually memory safe (unlike borrow checking) compilation mode inspired by Fil-C
Based on prior art: [Fil-C](https://fil-c.org/) Currently Zig has: ```zig pub const Optimize = enum { /// Safety checks enabled. Optimize for bug detection, accurate debug info, /// and comp...
codeberg.org
What happened to Codeberg? This is more effective than morning coffee 😅
Odin even has gettext support 😮 pkg.odin-lang.org/core/text/i1...
package text/i18n - pkg.odin-lang.org
pkg.odin-lang.org
If you don't know what to do right now, just do something, anything, even though you're unsure
Learning Odin Genuine opinion so far: Easier to understand and write compared to Zig. And if you come from Go, you will immediately love it.
have used Jedi (Python static analyzer) for a while. I'm trying something new zubanls.com
ZubanLS - The Language Server for Professionals
zubanls.com
hand crafting code is slow but fun and more accurate (unless you have skill issues 😁)
