AntiSatori

MoonBit compiler is available on GitHub | MoonBit MoonBit compiler is available on GitHub

Today is the day! The MoonBit compiler is now publicly available on GitHub!🎉
After 2 years of private development, we’re ready to build an open, collaborative community around MoonBit.
www.moonbitlang.com/blog/compile...

Interesting. Apparently Japanese people are addicted to twitter-like Social Media.

Wasting time shitposting on random SNS in your native language: Nothing worth
Wasting time shitposting on random SNS in your non-native language: Nothing worth but you'll possibly be a tiny bit better at that language at least

In a world where we increasingly worry about memory safety and low-level performance, one language is paying more attention to building stable, reliable conc... Gleam for Impatient Devs

Gleam looks like Haskell without type class. FP language designers learned that complicated parts of FP scare away people so they only include easy and manageable ones.
youtu.be/NyKIvWvr9kw?...

英文を書こうとすると、自分の持っている英語での文章表現の数が少な過ぎて、適切な表現を考えるのとそれらを繋ぎ合わせるのに時間が滅茶苦茶にかかる。

The thing is, this method cannot teach me anything that I don't need immediately. I can no longer ignore this. I feel it's time to start learning basic topics, or should I say, fundamental computer science theories that are taught in textbooks in university classes, so to speak.

By using the pragmatic approach that pushes back advanced topics and only tackles beginner-friendly problems, I can grasp the big picture of programming. Making a fully working application can teach me a lot more than focusing on details.

I've never learned computer science before, I just learn through the experience of programming. By doing so, I have nothing but the techniques and methods that come from experience. This was OK at first, it worked very well when I started programming as a beginner.

Keeping abreast of the latest React trends is taking a lot of effort. I feel like it doesn't make me a good programmer anymore. Instead of learning library or framework level knowledge and skills, I'd prefer to learn more basic expertise such as compiler, type system, discrete mathematics, etc.

It seems like no one writes Japanese posts on bluesky. If I search something that including alphabets on bluesky, I only get english posts result. Maybe I am lean towards things that english speakers tend to be interested in.

📢 1.50 is rolling out!

Key changes

• More bugfixing to moderation settings. Please be sure to check your Moderation > Content Filtering settings and make sure they’re correct. @pfrazee.com says: "Sorry I keep botching this."
1/n

Bun 1.0 is here! Bun is an all-in-one JavaScript runtime & toolkit designed for speed, complete with a bundler, test runner, and Node.js-compatible package m... Bun 1.0 is here

遂にBun 1.0がリリースされたらしい
CommonJSとES Modulesの両方をサポートしていたり想像以上に良さそうなので一度試してみたい
youtube.com/watch?v=BsnC...

もちろん比較に出した言語はRustに比べるとエコシステムが充実してないですが、それも注目を集められてないからこそ人手が足りなくて充実させれてないわけです。逆にどうしてRustは難しい言語仕様の割に人を集めれてエコシステムを充実させることが出来たのかが気になる。

Rustを好きな人の半分くらいは、所有権を使ったメモリ管理とかの低レイヤで便利な機能ではなく、ML的な構文や関数型的な機能の部分で好きになっている気がするんですか、そういう人たちがF#やOCamlみたいなRustよりも簡単だけどMLの特徴は備えていてGCも持っているような言語には興味を余り向けてないように見えるのはなんでなんだろ。

毎日のように部屋の片付けしないとなあーとか今日まだ何も食べてないなあーとか買い物行かないとなーと考えている間に2、3時間経っていると、毎回約束の時間の2時間後とかに到着していた小学生の時から余りに変わってなくて驚く。
吐き気したりクラクラするにしても生活能力考えたら薬は飲んだほうが良いんだろうな。

入門！論理学 -野矢茂樹 著｜新書｜中央公論新社 論理の本質に迫る、論理学という大河の最初の一滴を探る冒険の旅！　あくまでも日常の言葉を素材にして、ユーモアあふれる軽快な文章で説き明��...

最近、型システム入門(TAPL)の輪読会に参加してるんですが内容が難しくて前提知識が全然足りてないなと感じたので周辺分野の入門書読んでます。
白と黒のとびらと入門!論理学が分かりやすかったです。
https://www.utp.or.jp/book/b306519.html
https://www.chuko.co.jp/shinsho/2006/09/101862.html

Bluesky始めました