“effect-oriented programming language” ほう
---
Flix | The Flix Programming Language
https://flix.dev/
#bookmarks

わいわい
---
【2025年最新】無料で使える！Cursor代替オープンソースツール10選 - Qiita
https://qiita.com/Nakamura-Kaito/items/d32b873d39fab94e2c2d
#bookmarks

ハードウェアレベルでより正確なタイムスタンプを付与するようになったと。サポートするにはENA Linuxドライバのアップデートが必要なので、逆に言えばENA Linuxドライバを更新する良い機会です。アップデートしよう
---
Amazon Time Sync Service がナノ秒ハードウェアパケットタイムスタンプのサポートを開始 - AWS
https://aws.amazon.com/jp/about-aws/whats-new/2025/06/amazon-time-sync-nanosecond-hardware-packet-timestamps/
#bookmarks

「community.awsが進化して、AWS Builder Center になった」なるほど
---
コミュニティプラットフォーム AWS Builder Center がリリースされました | DevelopersIO
https://dev.classmethod.jp/articles/aws-builder-center-available/
#bookmarks

テキストオンリーのSNS実装。ざっと確認する限りデータ格納先はPostgreSQLになってるがDjango実装なので容易に差し替えられると思う。
---
GitHub - lucianmarin/subreply: Tiny, but mighty social network.
https://github.com/lucianmarin/subreply
#bookmarks

生成AIを用いたプログラミングで実際にあった怖い話を集めたサイト。投稿も随時募集してる。真夏のエンジニア肝試しだ。わいわい
---
AICodingHorrors | The price of AI-assisted coding, literally!
https://aicodinghorrors.com/
#bookmarks

C++で実装されたClojure互換プログラミング言語。JVMベースじゃないこともあり起動が高速。
---
jank programming language - Clojure/LLVM/C++
https://jank-lang.org/
#bookmarks

ptarファイルを生成するバックアップツール。最近では珍しいISCライセンス。久々に聞いた気がする。
---
GitHub - PlakarKorp/plakar: plakar is a backup solution powered by Kloset and ptar
https://github.com/PlakarKorp/plakar
#bookmarks

tar.gzの代替となるオブジェクトストレージ時代のアーカイブ用ファイルフォーマットptarらしい。dedupや暗号化、バージョニングや部分解凍も容易と。オープンソースのGo実装でgo.mod見る限り圧縮はzstdだな。
---
Technical deep dive into .ptar: replacing .tgz for petabyte-scale S3 archives
https://plakar.io/posts/2025-06-30/technical-deep-dive-into-.ptar-replacing-.tgz-for-petabyte-scale-s3-archives/
#bookmarks

空きメモリ量が一定以上増えるまでプロセスの実行を遅らせるshared object。LD_PRELOAD経由で食わせて使う。わいわい。
---
GitHub - surban/memstop: Memstop monitors available memory and waits until a configurable percentage of memory becomes available before allowing a program to start.
https://github.com/surban/memstop
#bookmarks