Lobste の最新の投稿 Lite

1. 空間インテリジェンスを実現する大規模地理空間モデルの構築 Lobste Comment

12:13 Building a Large Geospatial Model to Achieve Spatial Intelligence (nianticlabs.com)

2. TIL: bashの驚くべきコード実行ソース Lobste Comment

13:44 TIL: Some surprising code execution sources in bash (yossarian.net)

3. needrestart によるローカル権限の昇格 Lobste Comment

09:15 Local privilege escalation via needrestart (www.qualys.com)

4. Strideシェーダーシステム用SPIR-Vの調査（その2） Lobste Comment

09:18 Investigating SPIR-V for the Stride shader system (part 2) (www.stride3d.net)

5. 未来のデータベースのための最新ハードウェア Lobste Comment

08:38 Modern Hardware for Future Databases (transactional.blog)

6. デルタ・チャットがリアルタイム・ピアツーピア・ネットワーキングを導入 Lobste Comment

08:31 Delta Chat introduces realtime Peer-to-Peer networking (delta.chat)

7. Rust FoundationがAWSイニシアチブと協力してRust標準ライブラリを検証 Lobste Comment

08:19 Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries (foundation.rust-lang.org)

8. フレックスボックスとキーボードナビゲーション切断（2016年） Lobste Comment

07:57 Flexbox & the keyboard navigation disconnect (2016) (tink.uk)

9. CraneliftによるProlog述語のネイティブ・コンパイル Lobste Comment

06:50 Native compilation of Prolog predicates with Cranelift (files.adrianistan.eu)

10. つの多角形によるタイリングは決定不能 Lobste Comment

04:23 Tiling with Three Polygons is Undecidable (arxiv.org)

11. AT&T UNIX PCエミュレータ FreeBee Lobste Comment

01:48 FreeBee, an AT&T UNIX PC emulator (www.philpem.me.uk)

12. DBSP: リッチクエリー言語のための自動インクリメンタルビューメンテナンス Lobste Comment

04:16 DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)

13. 地図キーと寿命 Lobste Comment

02:58 Map Keys and Lifetimes (blinsay.com)

14. インターネットは被害を回避できるか？- バルト海ケーブル切断 Lobste Comment

02:34 Does the Internet Route Around Damage? - Baltic Sea Cable Cuts (labs.ripe.net)

15. みんな使っている Lobste Comment

01:51 They all use it (registerspill.thorstenball.com)

16. SQL、同型、制約充足問題 Lobste Comment

01:29 SQL, Homomorphisms and Constraint Satisfaction Problems (www.philipzucker.com)

17. トラッキングとパーソナライズ広告の禁止 Lobste Comment

01:56 Ban tracking and personalised advertising (www.ccc.de)

18. Sequin: ANSIシーケンスを検査するツール Lobste Comment

01:09 Sequin: a tool for inspecting ANSI sequences (github.com)

19. RSAとAESのデータ暗号が初めて解読される Lobste Comment

00:00 For the first time ever researchers crack RSA and AES data encryption (www.thebrighterside.news)

20. (ローカル)プロセス間通信にgRPCを使う Lobste Comment

00:23 Using gRPC for (local) inter-process communication (www.mpi-hd.mpg.de)

21. 真偽値フィールドはいくつのビジネス値を持つか？ Lobste Comment

11-20 How Many Business Values Does a True/False Field Have? (johndehope.mataroa.blog)

22. mimic: eBPF UDP - TCP 難読化装置 Lobste Comment

11-20 mimic: eBPF UDP - TCP obfuscator (github.com)

23. MLでレシピを整理する創作料理のために Lobste Comment

11-20 Organizing Recipes with ML For Creative Cooking (aggressivelyparaphrasing.me)

24. ファーゲート vs EC2 Lobste Comment

11-20 Fargate vs EC2 (www.pulumi.com)

25. ラスト財団の第2次商標ポリシー草案 Lobste Comment

11-20 The Rust Foundation''s 2nd bad draft trademark policy (diziet.dreamwidth.org)

26. Kotlinスクリプティングの現状 2024 Lobste Comment

11-20 State of Kotlin Scripting 2024 (blog.jetbrains.com)

27. 私が OpenBSD を使うのをやめた理由 Lobste Comment

11-20 Why I stopped using OpenBSD (dataswamp.org)

28. FireDucks : パンダだが100倍速い Lobste Comment

11-20 FireDucks : Pandas but 100x faster (hwisnu.bearblog.dev)

29. vim-history：Vim の非常に古い歴史 (v1.14 から v6.4 まで) Lobste Comment

11-20 vim-history: Very very old history of Vim (from v1.14 to v6.4) (github.com)

30. GitHub、オープンソースプロジェクトにセキュリティツールとアドバイスを提供 Lobste Comment

11-20 GitHub offering security tools, advice to Open Source Projects (github.blog)

31. WavPackのFLACに対するラウンドトリップの優位性 Lobste Comment

11-20 WavPack''s roundtrip advantage over FLAC (dbohdan.com)

32. 非同期/待機は現実であり、あなたを傷つける可能性がある Lobste Comment

11-20 Async/Await Is Real And Can Hurt You (trouble.mataroa.blog)

33. 亡霊の証明 Lobste Comment

11-20 Ghosts of Departed Proofs (iohk.io)

34. 暗号化しよう10年 Lobste Comment

11-20 Let’s Encrypt: Ten Years (letsencrypt.org)

35. chatgpt-shellがマルチモデルに Lobste Comment

11-20 chatgpt-shell goes multi-model (lmno.lol)

36. 囲碁のために、"ボブ "になるな！」。 Lobste Comment

11-20 For the love of Go, Don''t be a "Bob!" (www.retrotimepodcast.com)

37. 世界を読み込む！OpenStreetMapインポートが4時間以内に完了 Lobste Comment

11-20 Loading the World! OpenStreetMap Import In Under 4 Hours (www.crunchydata.com)

38. AAA - アナリティカル・アンチエイリアス Lobste Comment

11-20 AAA - Analytical Anti-Aliasing (blog.frost.kiwi)

39. レイアウト無効化のためのスピンレス・トラバーサル Lobste Comment

11-20 Spineless Traversal for Layout Invalidation (arxiv.org)

40. webvm：ウェブ用仮想マシン Lobste Comment

11-20 webvm: Virtual Machine for the Web (github.com)

41. Lush: 私のお気に入りの小さなプログラミング言語 Lobste Comment

11-20 Lush: my favorite small programming language (scottlocklin.wordpress.com)

42. 決断とドラゴン Lobste Comment

11-20 Decisions & Dragons (www.decisionsanddragons.com)

43. 日中韓IMEのゲームにおけるEscキーのバグ Lobste Comment

11-20 The Esc key bug in games with the CJK IMEs (ericswpark.com)

44. 保管は一般的、操作は構造的 Lobste Comment

11-20 Nominal for Storing, Structural for Manipulating (welltypedwitch.bearblog.dev)

45. オーバーフロークリップ Lobste Comment

11-20 Overflow Clip (ishadeed.com)

46. 安全でない世界における安全 Lobste Comment

11-20 Safety in an Unsafe World (www.youtube.com)

47. ピクセルアートより小さい：サブピクセル・アート Lobste Comment

11-20 Smaller Than Pixel Art: Sub-Pixel Art (www.youtube.com)

48. Go sync.Onceは簡単です...本当にそうですか？ Lobste Comment

11-20 Go sync.Once is Simple... Does It Really? (victoriametrics.com)

49. オリジナルのChipWits FORTHコードをオープンソース化 Lobste Comment

11-20 Original ChipWits FORTH Code Open Sourced (chipwits.com)

50. Cライブラリを使ってNixOSでCommon Lispを使う方法 Lobste Comment

11-20 How to use Common Lisp on NixOS with C libraries (honza.pokorny.ca)

51. 数十年にわたるブログ Lobste Comment

11-20 Blogging through the decades (bcantrill.dtrace.org)

52. ループ目標 Lobste Comment

11-20 Loop targets (nedbatchelder.com)

53. 一般化されたアイソレーション・レベル定義の論文を合金で読む Lobste Comment

11-20 Reading the Generalized Isolation Level Definitions paper with Alloy (surfingcomplexity.blog)

54. Golangにおけるヒラムの法則 Lobste Comment

11-20 Hyrum''s Law in Golang (abenezer.org)

55. 安全な」Cについて Lobste Comment

11-20 On "Safe" C (izzys.casa)

56. XDC 2024での展示/KMSミーティング：詳細レポート Lobste Comment

11-20 Display/KMS Meeting at XDC 2024: Detailed Report (melissawen.github.io)

57. BM25全文検索アルゴリズムを理解する Lobste Comment

11-20 Understanding the BM25 full text search algorithm (emschwartz.me)

58. GoとPostgreSQLを使ったテスト：エフェメラルDB Lobste Comment

11-20 Testing with Go and PostgreSQL: ephemeral DBs (michael.stapelberg.ch)

59. プロトコルファジングのサーベイ Lobste Comment

11-19 A Survey of Protocol Fuzzing (arxiv.org)

60. CHICKEN 6に期待すること Lobste Comment

11-19 What to expect from CHICKEN 6 (www.more-magic.net)

61. モデリングとシミュレーションによる統計的特性の獲得 Lobste Comment

11-19 Obtaining statistical properties through modeling and simulation (jack-vanlightly.com)

62. SQLの前日譚はSEQUELである Lobste Comment

11-19 The Prequel to SQL is SEQUEL (buttondown.com)

63. XBOWがスコールド認証バイパスを発見した方法 Lobste Comment

11-19 How XBOW found a Scoold authentication bypass (xbow.com)

64. 形式的検証を用いた権威DNS設定におけるコンフリクトの防止方法 Lobste Comment

11-19 How we prevent conflicts in authoritative DNS configuration using formal verification (blog.cloudflare.com)

65. ESLintプラグイン Perfectionist v4.0.0リリース Lobste Comment

11-19 Released ESLint Plugin Perfectionist v4.0.0 (github.com)

66. FreeBSDのジェイルでウェブブラウザを動かす Lobste Comment

11-19 Running web browsers in a FreeBSD jail (www.tumfatig.net)

67. CPythonに隠されたXKCDのイースターエッグ Lobste Comment

11-19 An Unreachable Hidden XKCD Easter Egg inside CPython (blog.codingconfessions.com)

68. ネットフリックス・シミアン軍団 Lobste Comment

11-19 The Netflix Simian Army (netflixtechblog.com)

69. ページアウト第5号 Lobste Comment

11-19 Paged Out! Issue #5 (pagedout.institute)

70. 絶望的な主人公たちのインターネット Lobste Comment

11-19 An Internet of Desperate Protagonists (nadim.computer)

71. ベストと思われる有害な行為 Lobste Comment

11-19 Harmful Practices Considered Best (zakhary.dev)

72. ページアウト#第5号 - ハッカー・ジン・リリース Lobste Comment

11-19 Paged Out! #5 - hacker zine release (pagedout.institute)

73. BBCのナビゲーション・バー・コンポーネントが、どの外部モニター上にあるかによってどのように壊れたか Lobste Comment

11-19 How a BBC navigation bar component broke depending on which external monitor it was on (www.joshtumath.uk)

74. 特性は局所的な最大値 Lobste Comment

11-19 Traits are a Local Maximum (thunderseethe.dev)

75. 局所最適は全体最適につながらない Lobste Comment

11-19 Local Optimizations Don''t Lead to Global Optimums (ferd.ca)

76. レイリブ v5.5 Lobste Comment

11-19 raylib v5.5 (github.com)

77. ブール値はいくつあるか？(2020) Lobste Comment

11-19 How Many Values Does a Boolean Have? (2020) (danilafe.com)

78. RE: アプリケーションの環境変数 Lobste Comment

11-19 RE: your application environment variables (edoput.it)

79. [帯域幅は今や解決可能な問題である。 Lobste Comment

11-19 [...] Bandwidth [...] is now a solvable problem (queue.acm.org)

80. DjangoVerの紹介 Lobste Comment

11-19 Introducing DjangoVer (www.b-list.org)

81. QMK搭載キーボードにアップルのGlobeキーを追加する Lobste Comment

11-19 Adding Apple''s Globe key to a QMK-powered keyboard (skip.house)

82. RustでSQLiteを作ろう第3回：SQLパース入門 Lobste Comment

11-19 Build your own SQLite in Rust, Part 3: SQL parsing 101 (blog.sylver.dev)

83. 傷だらけのQRコード（2012年） Lobste Comment

11-19 Wounded QR codes (2012) (www.datagenetics.com)

84. もしKubernetesがコンパイラ・ターゲットだったら？ Lobste Comment

11-19 What if Kubernetes was a Compiler Target? (www.youtube.com)

85. WebAssemblyの小さな冒険 @ Things Of Interest Lobste Comment

11-19 A small adventure in WebAssembly @ Things Of Interest (qntm.org)

86. 不合理なべき乗の近似数に関するジョーク Lobste Comment

11-19 A joke in approximating numbers raised to irrational powers (www.andreinc.net)

87. セキュリティとは、人がいる場所を確保することである Lobste Comment

11-19 Security means securing people where they are (blog.yossarian.net)

88. 最適化の冒険：Rayonを使って（あるいは使わずに）Rustの並列ワークロードを10倍速くする Lobste Comment

11-19 Optimization adventures: making a parallel Rust workload 10x faster with (or without) Rayon (gendignoux.com)

89. FreeBSD の強化：Synacktiv のコード監査による脆弱性への対処 Lobste Comment

11-19 Strengthening FreeBSD: Addressing Vulnerabilities Through Synacktiv’s Code Audit (freebsdfoundation.org)

90. ビルドシステムなしでフロントエンドのJavascriptライブラリをインポートする Lobste Comment

11-18 Importing a frontend Javascript library without a build system (jvns.ca)

91. なぜウィンドウズ95のセットアップでは3つのOSが使われたのですか？ Lobste Comment

11-18 Why did Windows 95 setup use three operating systems? (devblogs.microsoft.com)

92. データセンターでTCPを置き換える時が来た（2023年） Lobste Comment

11-18 It’s Time to Replace TCP in the Datacenter (2023) (arxiv.org)

93. ナイトロアのレンダリングアルゴリズム Lobste Comment

11-18 The Knight Lore rendering algorithm (retroports.blogspot.com)

94. Gleam v1.6.0リリース Lobste Comment

11-18 Gleam v1.6.0 released (gleam.run)

95. Rust用時系列ツールキットaugursを発表 Lobste Comment

11-18 Announcing augurs - a time series toolkit for Rust (sd2k.github.io)

96. httpd.rocks - OpenBSD 上で httpd を使って HTTPS 対応のウェブサーバをセットアップする Lobste Comment

11-18 httpd.rocks - Setup an HTTPS-enabled web-server with httpd on OpenBSD (httpd.rocks)

97. スレッドが非同期/待機を打ち負かす Lobste Comment

11-18 Threads Beat Async/Await (lucumr.pocoo.org)

98. 何もない袖 Lobste Comment

11-18 Nothing-up-my-sleeve number (en.wikipedia.org)

99. ベストプラクティスに反する Lobste Comment

11-18 Against best practices (www.arp242.net)

100. LuaJITと歩く Lobste Comment

11-18 A Walk with LuaJIT (www.polarsignals.com)

101. チャワンTUIウェブブラウザ Lobste Comment

11-18 chawan: TUI Web Browser (sr.ht)

102. 私は目が見えないという理由でhCaptchaのアクセシビリティアカウントから追放されました。 Lobste Comment

11-18 I was banned from the hCaptcha accessibility account for not being blind (michaels.world)

103. ゴトラセウイ Lobste Comment

11-18 Gotraceui (gotraceui.dev)

104. Cよりn倍速い、Arm版 Lobste Comment

11-18 n times faster than C, Arm edition (blog.xoria.org)

105. LLDからグローバル状態を削除する Lobste Comment

11-18 Removing global state from LLD (maskray.me)

106. IPv6でもNATは避けられない Lobste Comment

11-18 NAT is inevitable even with IPv6 (utcc.utoronto.ca)

107. ChatGPTがスリップ Lobste Comment

11-18 ChatGPT is Slipping (adriano.fyi)

108. テキストに特化したプログラミング環境 Lobste Comment

11-18 The missing text focused programming environment (utcc.utoronto.ca)

109. トレースルートは本物ではない Lobste Comment

11-18 Traceroute isn''t real (gekk.info)

110. CSSでGraphvizをスタイリングする Lobste Comment

11-18 Styling Graphviz with CSS (noncombatant.org)

111. iOS 18の再起動をリバースエンジニアリングする Lobste Comment

11-18 Reverse Engineering iOS 18 Inactivity Reboot (naehrdine.blogspot.com)

112. ストーリータイムC、境界チェック、パフォーマンス、コンパイラ Lobste Comment

11-18 Story-time: C, bounds checking, performance, and compilers (chandlerc.blog)

113. ミラーLLMを利用した例題別プログラミング言語 Lobste Comment

11-18 Mirror: An LLM-powered programming-by-example programming language (austinhenley.com)

114. Pythonのサイドカーを使ったGoでのML Lobste Comment

11-18 ML in Go with a Python sidecar (eli.thegreenplace.net)

115. ハイパー・エンクリプション【限定アクセス・モデルにおける証明可能で解読不可能なハイパー・エンクリプション Lobste Comment

11-18 Hyper-encryption [Provably unbreakable hyper-encryption in the limited access model] (en.wikipedia.org)

116. NFSロックの喪失とSunOSのSIGLOSTシグナル Lobste Comment

11-17 Losing NFS locks and the SunOS SIGLOST signal (utcc.utoronto.ca)

117. CPythonのガベージコレクタとアプリケーションパフォーマンスへの影響 Lobste Comment

11-17 CPython''s Garbage Collector and its Impact on Application Performance (blog.codingconfessions.com)

118. 陳腐化しない製品をデザインする Lobste Comment

11-17 Design Products That Won’t Become Obsolete (hbr.org)

119. 健康診断の実施 Lobste Comment

11-17 Making healthy healthchecks (lorentz.app)

120. アセンブリ・コードを逆コンパイルするAIモデル Lobste Comment

11-17 AI Models for Decompiling Assembly Code (blog.reveng.ai)

121. Windows 11でTPMにバックアップされたSSH鍵 Lobste Comment

11-17 TPM-Backed SSH Keys on Windows 11 (cedwards.xyz)

122. FreeBSDでのスキャン Lobste Comment

11-17 Scan on FreeBSD (vermaden.wordpress.com)

123. もう少し先へ Lobste Comment

11-17 Going a Little Further (edanparker.hashnode.dev)

124. 楽しみと利益のためにコモドール64のユーティリティをいくつかワン・パート化する Lobste Comment

11-17 One-parting some Commodore 64 utilities for fun and profit (oldvcr.blogspot.com)

125. shebanger：シェルスクリプトを一連のshebang行に変換する。 Lobste Comment

11-17 shebanger: Convert a shell script into a series of shebang lines (github.com)

126. VictoriaLogs v1.0.0リリース Lobste Comment

11-17 VictoriaLogs v1.0.0 release (github.com)

127. マイクロペイメントについて Lobste Comment

11-17 On Micropayments (sheep.horse)

128. どんなPythonプログラムも30文字に収まる*。 Lobste Comment

11-17 Any Python program fits in 30 characters* (purplesyringa.moe)

129. バルブの明滅に隠された秘密 Lobste Comment

11-17 The Secret Behind Valve''s Flickering Lights (www.alanzucconi.com)

130. ジェームズ・グリークのカオスソフトウェア Lobste Comment

11-17 James Gleick''s Chaos: The Software (github.com)

131. デスクトップ上のシグナルキーの保護 Lobste Comment

11-17 Protecting Signal Keys on Desktop (cryptographycaffe.sandboxaq.com)

132. バグだらけのコードは偏ったコード Lobste Comment

11-17 Buggy code is biased code (www.johndcook.com)

133. Nixとgarnixのインクリメンタルビルド Lobste Comment

11-17 Incremental builds in Nix and garnix (garnix.io)

134. DuckDBオプティマイザー：ローキーなMVP Lobste Comment

11-16 DuckDB Optimizers: The Low-Key MVP (duckdb.org)

135. SIMDとRustでロボットの計画を高速化する Lobste Comment

11-16 Making robots plan faster with SIMD and Rust (claytonwramsey.com)

136. SuperC：プリプロセッサを飼いならすことで、C言語のすべてを解析する Lobste Comment

11-16 SuperC: parsing all of C by taming the preprocessor (paulgazzillo.com)

137. 残留性理論入門 Lobste Comment

11-16 An Introduction to Residuality Theory (www.youtube.com)

138. ハーフライフ2：20周年記念ドキュメンタリー Lobste Comment

11-16 Half-Life 2: 20th Anniversary Documentary (www.youtube.com)

139. モナドは私の頭を傷つけた --- だが、もう違う (2009) Lobste Comment

11-16 The Monads Hurt My Head --- But Not Anymore (2009) (golem.ph.utexas.edu)

140. アウトオブオーダーRISC-Vベクトルユニットの実装 Lobste Comment

11-16 Implementation of an Out-of-order RISC-V Vector Unit (www.youtube.com)

141. TypeScriptでエフェクトを探る：非同期処理とエラー処理の簡素化 Lobste Comment

11-16 Exploring Effect in TypeScript: Simplifying Async and Error Handling (www.tweag.io)

142. ブルースキーが "勝った "かもしれない Lobste Comment

11-16 Maybe Bluesky has “won” (anderegg.ca)

143. ファーウェイ、72TBのSSDとテープのハイブリッド・ストレージ・デバイスを開発 Lobste Comment

11-16 Huawei develops 72TB SSD-tape hybrid storage device (www.tomshardware.com)

144. 数億行のCに空間的安全性を導入する Lobste Comment

11-16 Retrofitting spatial safety to hundreds of millions of lines of C (security.googleblog.com)

145. コンピュータ言語ベーシックの共同開発者、トーマス・カーツ氏が96歳で死去 Lobste Comment

11-16 Thomas Kurtz, Co-Creator of Computer Language Basic, Dies at 96 (archive.is)

146. PGPの代わりに何を使うか Lobste Comment

11-16 What To Use Instead of PGP (soatok.blog)

147. Gliimlyはウェブサービスのためのプログラミング言語です。 Lobste Comment

11-16 Gliimly is a programming language for web services (gliimly.github.io)

148. Djangoのコアについて思うこと Lobste Comment

11-15 Thoughts on Django’s Core (buttondown.com)

149. データフロー融合によるPHPインタープリターのファジング Lobste Comment

11-15 Fuzzing the PHP Interpreter via Dataflow Fusion (arxiv.org)

150. マクロとして型システムを実装する Lobste Comment

11-15 Implementing Type Systems as Macros (lambdaland.org)

151. インタラクティブなウェブアプリケーションはシングルページアプリケーション以外作れない...。その他の神話 Lobste Comment

11-15 You Can''t Build Interactive Web Apps Except as Single Page Applications... And Other Myths (htmx.org)

152. プロメテウス3.0の発表 Lobste Comment

11-15 Announcing Prometheus 3.0 (prometheus.io)

153. ウェストウッドVQAの仕組み Lobste Comment

11-15 How Westwood VQA works (30fps.net)

154. 借入チェッカーを暗記させるのはやめろ Lobste Comment

11-15 Stop Making Me Memorize The Borrow Checker (erikmcclure.com)

155. なぜstd::pin::Pinは奇妙なのか？ Lobste Comment

11-15 Why is std::pin::Pin so weird? (sander.saares.eu)

156. POWERでの音楽制作：移植の冒険 Lobste Comment

11-15 Music production on POWER: an adventure in porting (www.talospace.com)

157. RPythonインタプリタにおける最終エンコーディング Lobste Comment

11-15 Final Encoding in RPython Interpreters (pypy.org)

158. プラン9の歴史と発展（2023年） Lobste Comment

11-15 Plan 9 history and development (2023) (youtube.com)

159. 並行処理が難しいのはなぜか？ Lobste Comment

11-15 What makes concurrency so hard? (buttondown.com)

160. ドリームキャストLinuxのほこりを払う Lobste Comment

11-15 Dusting off Dreamcast Linux (oldvcr.blogspot.com)

161. Amazon S3がAWSアカウントあたり最大100万バケットをサポート Lobste Comment

11-15 Amazon S3 now supports up to 1 million buckets per AWS account (aws.amazon.com)

162. 私はC言語のボローン・チェッカーに取り組んでいる。(静的に free 呼び出しが起こるかなども確認する) Lobste Comment

11-15 I''ve been working on a borrow checker for C... (also statically makes sure free calls happen etc.) (gist.github.com)

163. 家族のためのLinuxデスクトップ Lobste Comment

11-15 A Linux Desktop for the family (chronicles.mad-scientist.club)

164. 野生のRustcの健全性バグ Lobste Comment

11-15 A rustc soundness bug in the wild (specy.app)

165. ツイッターは（おそらく）フォローを追加したことを後悔している Lobste Comment

11-15 Twitter (most likely) regrets adding Follow (contra.com)

166. 自宅でフテックス Lobste Comment

11-15 Futexes at Home (specificprotagonist.net)

167. オープンソース・プロジェクトのためのファームウェアSBoM Lobste Comment

11-15 Firmware SBoMs for open source projects (blogs.gnome.org)

168. どのようにレンダリングするか。コンピュータグラフィックスの問題を解決する10のアイデア Lobste Comment

11-15 How to render it. Ten ideas to solve Computer Graphics problems (c0de517e.blogspot.com)

169. AWS Lambdaが10歳に：その始まりとなったドキュメントの貴重なルック Lobste Comment

11-15 AWS Lambda turns 10: A rare look at the doc that started it (allthingsdistributed.com)

170. タイピング中のサイクリング Lobste Comment

11-15 Cycling while typing (www.ohrg.org)

171. MinGWとサイド・バイ・サイド・マニフェスト Lobste Comment

11-15 MinGW and Side-by-Side Manifests (www.qt.io)

172. macOS Tips Lobste Comment

11-15 macOS Tips (blog.xoria.org)

173. 意外なキーボード：すべてのキーを備えたAndroidキーボード Lobste Comment

11-15 Unexpected Keyboard: Android keyboard with all the keys (github.com)

174. ついに）クラウド化へ Lobste Comment

11-15 We’re (finally) going to the cloud (meta.stackexchange.com)

175. 歴史化された属性：システマティックなテーブルデザイン Lobste Comment

11-15 Historized attributes: systematic table design (kb.databasedesignbook.com)

176. なぜ私たちは関数型プログラミングが好きなのか？ Lobste Comment

11-15 Why Do We Like Functional Programming? (functionalsoftware.se)

177. RailsアプリケーションにHotwireとTurboを実装する究極のガイド Lobste Comment

11-15 The Ultimate Guide to implementing Hotwire and Turbo in a Rails application (blog.cloud66.com)

178. SQLiteインデックスの可視化：構造 Lobste Comment

11-14 SQLite Index Visualization: Structure (mrsuh.com)

179. 認証：PyPIにおける新世代の署名 Lobste Comment

11-14 Attestations: A new generation of signatures on PyPI (blog.trailofbits.com)

180. ルナを偲んで Lobste Comment

11-14 In memory of Lunar (upsilon.cc)

181. データの幾何学：欠損計量テンソルとスタイン・スコア【後編 Lobste Comment

11-14 The geometry of data: the missing metric tensor and the Stein score [Part II] (blog.christianperone.com)

182. BetterBufRead：Rustでの読み取りを高速化 Lobste Comment

11-14 BetterBufRead: Faster Reads in Rust (graphallthethings.com)

183. Pythonのスケール下の肥大化：きめ細かなプロジェクト間依存性分析 Lobste Comment

11-14 Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis (dl.acm.org)

184. なぜもっと多くのOSがないのか？ Lobste Comment

11-14 Why are there not more operating systems? (crowdhailer.me)

185. go-safeweb：Go のセキュアなデフォルト HTTP サーバ Lobste Comment

11-14 go-safeweb: Secure-by-default HTTP servers in Go (github.com)

186. ネットフリックスの分散カウンター抽象化 Lobste Comment

11-14 Netflix’s Distributed Counter Abstraction (netflixtechblog.com)

187. コンテナー・ランタイムの実装その1：Linux上でのプロセス生成 Lobste Comment

11-14 Implementing a Container Runtime Part 1: Spawning Processes on Linux (maelstrom-software.com)

188. なぜ新しいコード・エディターを作るのか？ Lobste Comment

11-14 Why am I creating a new code editor? (raphamorim.io)

189. ママボード記憶喪失の親のための電子インク・ディスプレイ Lobste Comment

11-14 MomBoard: E-ink display for a parent with amnesia (jan.miksovsky.com)

190. watermark-anything: 論文 "Watermark Anything with Localized Messages "の公式実装。 Lobste Comment

11-14 watermark-anything: Official implementation of the paper "Watermark Anything with Localized Messages" (github.com)

191. 12因子アプリ手法がオープンソースに Lobste Comment

11-14 Twelve-Factor App Methodology is now Open Source (12factor.net)

192. ローカル・ファーストのアプリのためのオブジェクト同期エンジン Lobste Comment

11-14 An Object Sync Engine for Local-first Apps (stack.convex.dev)

193. Erlangの歴史 Lobste Comment

11-14 A history of Erlang (www.labouseur.com)

194. GPU上の機械学習 - ケーススタディ：オープン・イメージ・ノイズ Lobste Comment

11-14 Machine Learning on the GPU - Case Study: Open Image Denoise (wallisc.github.io)

195. Rustのインクリメンタルリンクとホットコードリロード Lobste Comment

11-14 Incremental Linking and Hot Code Reloading for Rust (www.youtube.com)

196. Atuinでシェル履歴を検索・同期する Lobste Comment

11-14 Search and Sync Your Shell History With Atuin (calebhearth.com)

197. エリック・ウェインとは何者か：未解決のIoTミステリー Lobste Comment

11-14 Who Is Eric Wayne?: an Unsolved IoT Mystery (blog.the-brannons.com)

198. Oils 0.23.0 - YSHコードの記述、ユーザーフィードバック、バグ報奨金 Lobste Comment

11-14 Oils 0.23.0 - Writing YSH Code, User Feedback, and Bug Bounty (www.oilshell.org)

199. プラットフォームには新しいビルディングブロックが必要 Lobste Comment

11-14 Platforms Need New Building Blocks (www.junctionlabs.io)

200. スウィフトはもう少しで、私が望む本当にクールなことをする。 Lobste Comment

11-13 Swift *almost* does a really cool thing I want (wolfgirl.dev)

201. エンパワード・プログラマーサールズ・カット Lobste Comment

11-13 The Empowered Programmer: The Searls Cut (www.youtube.com)

202. No News is Good News：AIを使ってキャッチアップラジオのニュースを自動スキップ - djhworld Lobste Comment

11-13 No News is Good News: Using AI to auto skip the news on catch-up radio - djhworld (djharper.dev)

203. GPSは必要ありません：私たちのアプリは現在、地下の列車を見つけることができます。 Lobste Comment

11-13 No GPS required: our app can now locate underground trains (blog.transitapp.com)

204. 珍しい樂の5つの特徴 Lobste Comment

11-13 Five Unusual Raku Features (buttondown.com)

205. 「不変」再生産可能、反ヒステリシス Lobste Comment

11-13 “Immutable” - reprovisionable, anti-hysteresis (blog.verbum.org)

206. Rust財団がCとRustの相互運用性に関する問題声明を発表 Lobste Comment

11-13 Rust Foundation Releases Problem Statement on C/Rust Interoperability (foundation.rust-lang.org)

207. くそっ！先週はうまくいったのに Lobste Comment

11-13 Damn! It worked last week (jarosz.dev)

208. 有限の世界のためのコーディング (2023) Lobste Comment

11-13 Coding for a Finite World (2023) (yoric.github.io)

209. 誰にとってのコンプレックスか？ Lobste Comment

11-13 Complex for Whom? (notes.pault.ag)

210. 1300万人のBlueSkyユーザーを可視化 Lobste Comment

11-13 Visualizing 13 million BlueSky users (joelgustafson.com)

211. バイナリーなしで再現されたジグ Lobste Comment

11-13 Zig Reproduced Without Binaries (jakstys.lt)

212. ダイクストラの汎化への叫び：再帰手続きの登場（1950年代後半1960年代前半 Lobste Comment

11-13 Dijkstra’s Rallying Cry for Generalization: The Advent of the Recursive Procedure, late 1950s — early 1960s (dijkstrascry.com)

213. トンネルでインターネット・プロトコルを誇示する Lobste Comment

11-13 Flaunting the Internet Protocols with Tunnels (www.macchaffee.com)

214. Ubuntu 24.04の機能を悪用してroot権限を昇格させる Lobste Comment

11-13 Abusing Ubuntu 24.04 features for root privilege escalation (snyk.io)

215. 大規模分散システムのデバッグ方法アンチテーゼ Lobste Comment

11-13 How to debug large, distributed systems: Antithesis (newsletter.pragmaticengineer.com)

216. Qwen2.5-Coder-32Bは、私のMacで動作する、うまくコーディングできるLLMです。 Lobste Comment

11-13 Qwen2.5-Coder-32B is an LLM that can code well that runs on my Mac (simonwillison.net)

217. ROMと続編でUPSERTする Lobste Comment

11-13 UPSERTing with ROM and Sequel (rossney.net)

218. Cにおけるf(x)の意味は？ Lobste Comment

11-13 What does f(x) mean in C? (biowpn.github.io)

219. 認知的負荷こそが重要 Lobste Comment

11-13 Cognitive load is what matters (zakirullin.md)

220. 囲碁が15歳に Lobste Comment

11-13 Go Turns 15 (go.dev)

221. Hyperlight - 仮想マシンで機能を実行する Lobste Comment

11-13 Hyperlight - Running functions in virtual machines (opensource.microsoft.com)

222. シークレット・サービス、位置情報の追跡に同意したと発表 Lobste Comment

11-13 Secret Service Says You Agreed To Be Tracked With Location Data (www.404media.co)

223. サマータイムが廃止された場合、PostgreSQLの "タイムゾーンを含むタイムスタンプ "は将来的に不正確になる可能性があります。 Lobste Comment

11-13 PostgreSQL "timestamp with time zone"s set in the future may become silently incorrect if DST abolished (lobste.rs)

224. スケーラブルなWebのためのBazelの採用 Lobste Comment

11-13 Adopting Bazel for Web at Scale (medium.com)

225. fmt.Sprintf vs String Concat Lobste Comment

11-13 fmt.Sprintf vs String Concat (www.dolthub.com)

226. RSSでバッド・アップルと対戦 Lobste Comment

11-13 Playing Bad Apple over RSS (ersei.net)

227. セキュリティ工学 - 信頼性の高い分散システム構築の手引き Lobste Comment

11-13 Security Engineering - A Guide to Building Dependable Distributed Systems (www.cl.cam.ac.uk)

228. Fedora Linux インストーラを再構築する：Anaconda の新しい "Web UI" Lobste Comment

11-13 Reimagining the Fedora Linux installer: Anaconda''s new "Web UI" (fedoramagazine.org)

229. .NET 9の発表 Lobste Comment

11-13 Announcing .NET 9 (devblogs.microsoft.com)

230. ロス・アンダーソン著『セキュリティ・エンジニアリング』第3版がフリーダウンロード可能に Lobste Comment

11-13 3rd edition of Ross Anderson’s Security Engineering book now freely available for download (www.lightbluetouchpaper.org)

231. 開発環境から本番環境まで有効なENVバーをタイプする Lobste Comment

11-13 Typed ENV Vars for Valid Environments from Dev to Production (runme.dev)

232. 安定したRustでポータブルSIMDを使う Lobste Comment

11-12 Using portable SIMD in stable Rust (pythonspeed.com)

233. Postgresの未来？ Lobste Comment

11-12 The future of Postgres? (www.craigkerstiens.com)

234. AIワークロードのためのノマディック・インフラストラクチャ設計 Lobste Comment

11-12 Nomadic Infrastructure Design for AI Workloads (www.tigrisdata.com)

235. 柔術：MozillaのMercurialユーザーのための隠れ家 Lobste Comment

11-12 Jujutsu: A Haven for Mercurial Users at Mozilla (ahal.ca)

236. ホームアシスタントとESPHomeによる温水浴槽のモニタリング Lobste Comment

11-12 Hot Tub Monitoring with Home Assistant and ESPHome (jnsgr.uk)

237. ジェプセン: Bufstream 0.1.0 Lobste Comment

11-12 Jepsen: Bufstream 0.1.0 (jepsen.io)

238. さびには公式仕様が必要 Lobste Comment

11-12 Rust needs an official specification (tweedegolf.nl)

239. ROCK64 ボード上の NetBSD Lobste Comment

11-12 NetBSD on a ROCK64 Board (simonevellei.com)

240. 大手ハイテク企業でプロジェクトを成功させる方法 Lobste Comment

11-12 How I ship projects at big tech companies (www.seangoedecke.com)

241. 近親相姦 (2011) Lobste Comment

11-12 Object Incest (2011) (timkellogg.me)

242. プログラミング・パフォーマンスの神話と現実 Lobste Comment

11-12 Programming Performance Myths vs. Realities (jatinchowdhury18.medium.com)

243. ここからそこまで道はない Lobste Comment

11-12 There is no road from here to there (discourse.suttacentral.net)

244. 邪悪なバリスタの攻撃 Lobste Comment

11-12 Attack of the Evil Baristas (medium.com)

245. 古い機械の魂：時代を超えたフォン・ノイマン・アーキテクチャの再考 Lobste Comment

11-12 The Soul of an Old Machine: Revisiting the Timeless von Neumann Architecture (ankush.dev)

246. Postgresについて教えてほしかったこと Lobste Comment

11-12 What I Wish Someone Told Me About Postgres (challahscript.com)

247. ギットと柔術：ミニチュアで見る Lobste Comment

11-12 Git and jujutsu: in miniature (lottia.net)

248. グレース・ホッパーを偲ぶ - Communications of the ACM Lobste Comment

11-12 Remembering Grace Hopper – Communications of the ACM (cacm.acm.org)

249. Qwen2.5-Coderシリーズ：パワフル、多様、実用的 Lobste Comment

11-12 Qwen2.5-Coder Series: Powerful, Diverse, Practical (qwenlm.github.io)

250. リバースエンジニアリング：ビデオゲームのエクスプロイトを見つける Lobste Comment

11-12 Reverse Engineering: Finding Exploits in Video Games (shalzuth.com)

251. VMware FusionとWorkstationが全ユーザーに無償提供開始 Lobste Comment

11-12 VMware Fusion and Workstation now free for all users (blogs.vmware.com)

252. カウジン・ソフトストリップの解読 (2021) Lobste Comment

11-12 Decoding the Cauzin Softstrip (2021) (pmc.ncbi.nlm.nih.gov)

253. AWS上のActions Runner Controller (ARC)でGitHub Actionsランナーをセルフホストする Lobste Comment

11-12 Self-host GitHub Actions runners with Actions Runner Controller (ARC) on AWS (www.warpbuild.com)

254. バスナンバー - 同僚に「書くな」と言われたgithubプラグイン Lobste Comment

11-12 Bus Number - The github plugin my coworkers asked me not to write (www.scannedinavian.com)

255. Next.jsアプリルーターで高度な検索パラメータフィルタリングを管理する Lobste Comment

11-12 Managing Advanced Search Param Filtering in the Next.js App Router (aurorascharff.no)

256. 高性能キャッシング・ライブラリ「Caffeine」のコードベースを分析する Lobste Comment

11-12 Analyzing the codebase of Caffeine: a high performance caching library (adriacabeza.github.io)

257. tlb_シュートダウン Lobste Comment

11-12 tlb_shootdowns (github.com)

258. CVMアルゴリズム Lobste Comment

11-12 The CVM Algorithm (buttondown.com)

259. 賢明なデフォルト Lobste Comment

11-12 Sensibly Default (matt.blwt.io)

260. ラスト商標ポリシーの次のステップ Lobste Comment

11-12 Next Steps on the Rust Trademark Policy (blog.rust-lang.org)

261. codemodsを使ったバレルファイルのリファクタリング Lobste Comment

11-12 Refactoring barrel files with codemods (mmazzarolo.com)

262. curl -v google.com Lobste Comment

11-11 curl -v google.com (www.youtube.com)

263. コスモスDBの使用時期 Lobste Comment

11-11 When to Use Cosmos DB (www.pulumi.com)

264. 2値ベクトル埋め込みはとてもクール Lobste Comment

11-11 Binary vector embeddings are so cool (emschwartz.me)

265. エクセルで見るRISC CPU Lobste Comment

11-11 A RISC CPU in Excel (www.youtube.com)

266. OpenGLは右利き用ではない Lobste Comment

11-11 OpenGL is not right-handed (www.gingerbill.org)

267. トークバック生産性を高めるAI搭載インフォセック・リソース・アグリゲーター Lobste Comment

11-11 Talkback: AI Powered Infosec Resource Aggregator to Boost Productivity (talkback.sh)

268. PSA：ほとんどのデータベースは、デフォルトではチェックサムを行いません。 Lobste Comment

11-11 PSA: Most databases do not do checksums by default (avi.im)

269. Linuxにおけるシェルの進化 Lobste Comment

11-11 Evolution of shells in Linux (developer.ibm.com)

270. emiT-C：時間旅行プログラミング言語 Lobste Comment

11-11 emiT-C: A time travelling programming language (github.com)

271. 問題となるSwiftの同時実行パターン Lobste Comment

11-11 Problematic Swift Concurrency Patterns (massicotte.org)

272. SRFI 255：再起動条件 Lobste Comment

11-11 SRFI 255: Restarting conditions (srfi.schemers.org)

273. イーサネットパケットを送った Lobste Comment

11-11 I sent an ethernet packet (github.com)

274. kcrypt2 - 回顧と実験ノート Lobste Comment

11-11 kcrypt2 - a retrospective and a lab notebook (palaiologos.rocks)

275. 子プロセスをタイムアウトで待つ方法が多すぎる Lobste Comment

11-11 Way too many ways to wait on a child process with a timeout (gaultier.github.io)

276. RSSリーダーは何を使っていますか？ Lobste Comment

11-11 What RSS reader do you use? (lobste.rs)

277. Pishi: カバレッジガイド付き macOS KEXT ファジング Lobste Comment

11-11 Pishi: Coverage guided macOS KEXT fuzzing (r00tkitsmm.github.io)

278. 位置ポップカウントによるバイトのヒストグラム化（GF2P8AFFINEQB版） Lobste Comment

11-11 Histogramming bytes with positional popcount (GF2P8AFFINEQB edition) (bitmath.blogspot.com)

279. ソフトウェア開発のアルゴリズム Lobste Comment

11-11 Algorithms we develop software by (grantslatton.com)

280. POSIXシェルをターゲットとしたセルフコンパイルCトランスパイラの設計 Lobste Comment

11-11 The Design of a Self-Compiling C Transpiler Targeting POSIX Shell (dl.acm.org)

281. ラスト商標ポリシーは依然として有害である Lobste Comment

11-11 The Rust Trademark Policy is still harmful (purplesyringa.moe)

282. コマンドひとつで FreeBSD をインストール Lobste Comment

11-11 Install FreeBSD with One Command (vermaden.wordpress.com)

283. Gentooパッケージ・テストという奇妙な世界 Lobste Comment

11-11 The peculiar world of Gentoo package testing (blogs.gentoo.org)

284. グラフ指向プログラミング言語KC3で書かれたkmx.ioの新しいウェブサイト。 Lobste Comment

11-11 New website for kmx.io, entirely written in KC3 a graph oriented programming language (www.kmx.io)

285. Cスタイルの配列の代わりにstd::spanを使う Lobste Comment

11-11 Use std::span instead of C-style arrays (www.sandordargo.com)

286. F#9の新機能 Lobste Comment

11-11 What''s new in F# 9 (learn.microsoft.com)

287. 自家製GPT JS - KarpathyのminGPTの最小限のTensorFlow.js再実装 Lobste Comment

11-11 Homemade GPT JS - A minimal TensorFlow.js re-implementation of Karpathy''s minGPT (github.com)

288. PCオーディオの歴史 Lobste Comment

11-11 The History of PC Audio (thejpster.org.uk)

289. ホームグリッド - Plan9ビデオシリーズ Lobste Comment

11-10 Home Grid - Plan9 video series (youtube.com)

290. ブーリアンは罠である Lobste Comment

11-10 Booleans Are a Trap (katafrakt.me)

291. ラムダ微積分を理解する0：アブストレーション、リダクション、代入？ Lobste Comment

11-10 Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)

292. htmxによる（レガシーな）CGIアプリの段階的強化 Lobste Comment

11-10 Progressively enhancing (legacy) CGI apps with htmx (jmtd.net)

293. BSDの人がAlpine Linuxを試す Lobste Comment

11-10 A BSD person tries Alpine Linux (rubenerd.com)

294. Datasette、Observable、MapLibre GLを使った地方選挙結果の可視化 Lobste Comment

11-10 Visualizing local election results with Datasette, Observable and MapLibre GL (simonwillison.net)

295. ピトニックな虚無 Lobste Comment

11-10 The Pythonic Emptiness (blog.codingconfessions.com)

296. 地方LLMの運営についてこれまで学んだことすべて Lobste Comment

11-10 Everything I''ve learned so far about running local LLMs (nullprogram.com)

297. タイガービートルの安全性 Lobste Comment

11-10 Safety in TigerBeetle (docs.tigerbeetle.com)

298. Nixを使ってPDFパーサーをファズテストする（後編） Lobste Comment