メインコンテンツまでスキップ

2023-09-18

CatalaLang/カタラ：法律仕様のためのプログラミング言語​

  • Catalaは、法律文書からアルゴリズムを作成できる新しいドメイン固有言語であり、コードと法律の間の高い忠実性を保証する。
  • この言語は、法律の論理構造を反映するように構築されており、法律の専門家によるレビューや認証にアクセスしやすくなっている。さらに、弁護士が読みやすいPDFを生成するコンパイラまで備えている。
  • フランスのリーガルテックのパイオニアであるピエール・カタラにちなんで命名されたカタラ・プロジェクトは、フランス国立コンピュータ科学研究所のInriaが主導する研究イニシアティブである。しかし、このコンパイラーは依然として不安定で、機能も限られている。

反応​

  • この対談では、法律や法的文書を指定する際にプログラミング言語であるCatalaを使用することに焦点を当て、その利点、欠点、英語を形式論理システムに翻訳する際の潜在的な課題について強調する。
  • 規制機関としてのコードの使用、法的コードの複雑さ、法的契約におけるコード化記号の使用、プログラミング言語を使用して法律に意図を符号化する概念について議論がある。
  • 参加者たちは、明確な法的文章を書くという考え方、法的契約のためのドメイン固有言語の役割、ソフトウェア開発と法制度の比較、そのようなプログラミング言語の名称選択に関する懸念などについて議論した。

BitTorrentスタイルでLLMを自宅で運営​

  • Petalsは、Llama 2、Falcon、BLOOMなどの大規模な言語モデルを、コンシューマーグレードのGPUやGoogle Colabを使って、ユーザーがデバイス上で操作できるようにするプラットフォームである。
  • このプラットフォームは、ユーザーがモデルのさまざまな部分にサービスを提供するためのネットワークに参加し、モデルを多様なタスクに適応させることを可能にし、APIとPyTorchとハギング・フェイス・トランスフォーマーによる柔軟なオプションの両方を提供する。
  • Petalsのプロジェクトは、BigScience研究ワークショップでハイライトされ、言語モデル開発の分野への重要な貢献をさらに示している。

反応​

  • この記事では、計算リソースをプールし、派生モデルを作成し、パラメータ効率的な微調整とLoRA手法を利用することで、BitTorrentスタイルの方法を用いて大規模言語モデル（LLM）を自宅で実行する可能性を検証している。
  • 大規模なモデルのトレーニングに伴う困難とコストについては、水冷や古いサーバーカードの改造などの解決策が考えられる。また、分散型コンピューティングやモデルの微調整といった概念も取り上げられている。
  • ローエンドのデバイスでLLMを実行するためのサービスであるPetalsについても触れられているが、参加者の間では評価が分かれている。この記事では、将来的にオープンソースのLLMをサポートするためにトークンと分散型コンピューティングを使用する可能性について推測している。

ブライアン・バックルウ 『クードの洞窟』をユニティからゴドーへ移植​

  • このツイートは、個人が無責任な活動に参加し、その被害状況を記録する計画を示している。

反応​

  • ブライアン・バックルウは、ゲーム『Caves of Qud』をUnityからGodotに移行しています。この移行は、Godotのユーザーフレンドリーな性質と、ツールの開発や2Dグラフィックスの適用における利点により、好評を得ています。
  • GodotにはUnityのようなストアとマーケットプレイスのエコシステムがないにもかかわらず、この問題を是正するための努力が進められている。
  • ゲームエンジンでスケーラブル・ベクター・グラフィックス（SVG）を使用する際の課題を取り上げ、解決策としてレンダリングライブラリの採用を提案している。

過去10年間で2千人近い環境活動家が殺害される​

  • グローバル・ウィットネスは最近の報告書の中で、2012年から2022年の間に世界中で2000件近く、2022年だけで177件もの環境活動家が殺害されるという懸念すべき傾向を強調している。
  • ラテンアメリカ、特にコロンビアは、環境活動家にとって危険度の高い国として特定され、ブラジル、メキシコ、ホンジュラス、フィリピンでも高い死亡率が報告された。先住民は犠牲者の3分の1を占め、気候緩和における先住民の重要な役割を浮き彫りにしている。
  • この報告書は、環境保護を主張する人々を保護し、支援することの緊急性を強調している。

反応​

  • ディスカッションでは、環境活動家が直面するリスク、環境保全における先住民文化の重要な役割、気候変動活動家の戦略と評判など、さまざまなトピックが強調された。
  • また、人為的な環境破壊の倫理的意味合い、警察の免責現象と刑事司法への影響、銃の所有とそれに関連する殺人、メディアの信頼性とプロパガンダに関する懸念などについても掘り下げている。
  • 警察官によるマヌエル・エステバン・パエス・テランの射殺事件もまた、強調されたテーマであり、会話ではさまざまな視点や見方が強調され、これらのトピックの論争や複雑さが浮き彫りになった。

もしOpenDocumentがSQLiteを使っていたら？​

  • この記事では、リレーショナルデータベース管理システムを提供するソフトウェアライブラリであるSQLiteを、現在のZIPアーカイブフォーマットの代わりに、OpenDocument Presentationファイルのコンテナとして利用するアイデアを提案している。
  • コンテンツをより小さなパーツに分割したり、バージョン管理機能を追加したりといった、この切り替えによって促進される可能性のある改善点を示唆している。
  • 著者は、アプリケーション・ファイル・フォーマットとしてSQLiteを使用することの利点を強調している。

反応​

  • この談話は、SQLiteをOpenDocumentのファイルフォーマットとして使用し、XMLのような他のフォーマットと比較して、その長所と限界を比較するというものです。
  • SQLiteは標準化されていないため、その機能性の高さにもかかわらず、相互運用性やISO標準化に課題がある。
  • また、ユーザーデータの自動保存の概念、データ保存の技術的なこと、様々な文脈におけるSQLiteの潜在的な利点と欠点についても話し、自動保存とユーザーコントロールのバランスの必要性を強調する。

不変Linuxシステム入門​

  • この記事では、NixOS、Guix、Endless OS、Fedora Silverblueなどの具体的な実装を探りながら、不変のLinuxシステムのコンセプトを掘り下げている。
  • パッケージ・マネージャーやロールバック機能など、各システムのユニークな特徴について議論し、個人的な経験や意見も共有する。
  • オープンソースの分野でイミュータブルなオペレーティング・システムの人気が高まっていることを指摘しながらも、この記事では、イミュータビリティに関連する課題やさまざまな戦略についても指摘している。

反応​

  • この記事では、EndlessOSやFedora CoreOSなど、このモデルを実装したいくつかのディストリビューションを紹介しながら、不変のLinuxシステムのアイデアを探求する。
  • イミュータブル・システムとミュータブル・システムの長所と短所について、パッケージ管理、カスタマイズ、システム制御などの側面を取り上げながら議論する。
  • アクセシビリティ、互換性、ロールバック手順などの要素を考慮し、NixOSとFedoraに関するユーザーの経験と見解を共有します。

ディメンション・アップルには存在しないもの​

  • この記事では、アップルのマーケティング資料に繰り返し登場するテーマや人物について、特に偽のテキストによる会話の描写に焦点を当てて論じている。
  • 著者は、これらの架空の会話には独特の文化があり、皮肉がなく、写真の共有や社交イベントの開催に重点が置かれていることに注目している。
  • この記事は「ディメンション・アップル」と呼ばれるパラレルワールドについて推測しており、親のWhatsAppグループでのある体験になぞらえ、偽のアップル・テキストのスクリーンショットをまとめている。

反応​

  • この記事では、アップルのマーケティング資料におけるテキストメッセージの描写を批判的に検討し、個人が実際にどのようにやりとりしているかと対比している。
  • 議論は、アップルのコミュニケーション戦略が現実を反映しているかどうか、同社のマーケティングにおけるソーシャルメディアとの統合の減少、メッセージングアプリで大きな画像ファイルを共有することの制約などを中心に展開される。
  • また、ソーシャルメディア・サービスを提供する企業の群れからアップルが姿を消したことに関する憶測もある。

チリオイル​

  • 著者は、ホットフラッシュやスローインフュージョンなど、さまざまな抽出方法を模索しながら、チリオイルの調製に関する見識を披露している。
  • さまざまな温度と油の種類と、結果として得られる風味との相関関係を調べた。
  • この記事では、様々な唐辛子、スパイス、調味料を試して、チリオイルの独特なニュアンスを発見することを提案している。

反応​

  • 本記事では、チリオイルの作り方や、スービングなどの代替テクニックを紹介している。
  • コメントでは、参加者がチリオイル作りに関する個人的な経験や見解を共有し、安全対策や風味の特徴について議論している。
  • 会話は紅茶の淹れ方、食品の安全性、注ぎ足しコーヒー抽出における挽きの均一性とグラインダーの品質の重要な役割など、他の話題にも及んだ。

AWS IPv4エステートは現在45億ドルの価値がある​

  • アマゾン・ウェブ・サービス（AWS）は、IPv4アドレスを2700万個増やし、合計1億2800万個とした。
  • IPv4アドレスの希少性とコストの増加により、IPv4アドレスは1つあたり35ドルの価値があると推定されている。
  • AWSは、IPv4アドレスの料金を1時間あたりIPあたり0.005ドルで顧客に請求することを計画しており、これにより年間5億ドルから10億ドルの売上が見込まれる。

反応​

  • この投稿では、IPv4からIPv6への移行で遭遇した困難や不満について、互換性に関する懸念、ネットワークのアップグレード、ISPによる予想以上の採用の遅れなどについて論じている。
  • IPv4の拡張や新バージョンの作成といった代替案についての議論や、IPv6アドレスの複雑さや使い勝手についての批判、さらには移行に対する経済的動機付けの欠如などがある。
  • この投稿はまた、IPv4アドレスの不足と主要参加者による反競争的行為の可能性を強調し、よりスムーズな変換プロセスとよりユーザーフレンドリーなソリューションの必要性を示唆している。

自作ウェブサイト・クラブ​

  • Homebrew Website Clubは、個人がオンライン体験、特にブログに関連した体験をよりコントロールできるようにすることを目的としたミートアップの世界的ネットワークである。
  • このリソースには、最近および将来のミートアップに関する詳細が含まれており、日程、主催者、会場、バーチャルおよび物理的なミーティングの手配ガイドなどの情報が掲載されている。
  • パンデミックを通して、クラブはオンライン上の集まりに移行し、中央集権的なウェブサービスを利用するのとは対照的に、個人的なウェブサイトを構築する独立した取り組みであるインディーウェブキャンプを組織するためのリソースを提供している。

反応​

  • この対談では、JavaScriptの使用を抑えたミニマルなウェブサイトデザインと、同意バナーの重要性が強調されている。
  • 参加者は、自作ウェブサイト・クラブ、個人のウェブサイト所有、ReactやAngularなどのツールを使った革新的なウェブデザインの作成への好意を表明している。
  • この講演では、個人のウェブサイトを持つことやインディ・ウェブのイベントに参加することなど、現在のウェブの状況における創造性とパーソナライゼーションの価値を強調している。

コンパイラ最適化のための大規模言語モデル​

  • 本論文では、LLVM（Low Level Virtual Machine）アセンブリコードのサイズを最適化するための70億パラメータ変換モデルを用いて、コード最適化における大規模言語モデル（Large Language Models：LLM）の適用を検討する。
  • モデルは最適化前後の命令数を予測するように学習され、その後最適化されたコードを提供する。
  • 膨大な種類のプログラムに対して実施されたテストでは、従来のコンパイラに比べて3.0％の改善が見られ、このモデルの堅牢なコード推論能力が実証された。

反応​

  • この要約では、言語学習モデル（LLM）をコンパイラの最適化に使用する利点と制約について、命令数の削減やコンパイル可能なコードの生成などの議論を取り上げている。
  • また、LLMを使用する際のコードのセマンティクスや正しさに関する懸念や、より大きなデータセットの必要性などの課題についても論じている。
  • 本文では、コンパイラの最適化におけるAIの活用、関連するリスク、コンパイルプロセスのさまざまな段階におけるLLMの機能の調査について、さらに対話を重ねている。

マックはいかに人々にプログラミングをもたらさなかったか​

  • この記事では、マック・プラットフォームにおけるプログラミング言語の歴史と、一般の人々にとってコーディングをより親しみやすいものにするための試みが失敗したことについて掘り下げる。
  • ビジュアル・プログラミング言語であるPrographに重点を置き、同様の、しかしより効率的なビジュアル言語がこの分野に大きな変化をもたらす可能性を示唆している。
  • 著者は、スウィフトのような言語には興味深い要素があるにもかかわらず、マックがプログラミング分野に与える影響は、デスクトップパブリッシングにおける影響に比べると、まだ限定的であると指摘する。

反応​

  • ディスカッションの中心は、90年代にマック・コンピューターでプログラミングを学ぶ際に起こった課題を示しながら、一般ユーザーにもプログラミングを身近なものにしようとするアップルの取り組みについてである。
  • アップルとマイクロソフトのソフトウェア開発戦略の対照を浮き彫りにし、プログラミングを簡素化し、ユーザーに力を与える環境を育てることの重要性を強調している。
  • 対談では、特定のプログラミング・ツールの制約や、さまざまなオートメーションとスクリプティング形式の間に見られる矛盾について考察し、複数のプラットフォームとツールにまたがるプログラミングとユーザー・エクスペリエンスに関する多様な視点を提供する。

錆のルールを変える​

  • この投稿では、Rustプログラミング言語のAPI決定とマーカー特性について、特にSend、Move、Leakの各特性に焦点を当てて検証する。
  • 著者は、RustにLeak特性を組み込むことを検討しているが、潜在的な混乱と互換性の問題を引き起こす可能性があるため、反対している。
  • リーク特性をもっと早く統合しなかったことを後悔しているにもかかわらず、著者は現段階でそのような修正を実装することの複雑さを認めている。

反応​

  • RustHackerフォーラムでは、主に非同期Rustに関して、Leakスタイルの特質がないために回避策が必要となり、Rustで修正を加えることの難しさが強調されている。
  • 時代遅れのコンパイラに対応することの意味、潜在的な改善策、そしてJavaScriptやTypeScriptに匹敵するRustの新しいイテレーションが発表される見通しについて、現在も議論が続いている。
  • 参加者たちは、プログラミング言語の複雑さや制約について多様な視点を表明し、Rustでのピン打ちやC++との比較など、プログラミング言語の設計と実行に内在する複雑さや妥協点を示している。

技術的独立​

  • この記事では、技術的自立のアイデアを探求し、LinuxやBSDオペレーティングシステムのようなオープンソース・ソリューションの使用を奨励し、自分のデジタル・プレゼンスをコントロールできるようにする。
  • ドメインの登録、サーバーの設定、電子メールの設定などの作業について詳細なガイドを提供し、データや機能を失うことなくプロバイダーを簡単に切り替えることの重要性を強調している。
  • さらに、アンドロイドとアップルのiPhoneの具体的な説明、トラブルシューティングの提案、個人の習熟度を高めるための貴重な学習リソースも掲載されている。

反応​

  • この記事では、技術的自立のコンセプトを掘り下げ、よりシンプルでユーザーフレンドリー、そしてアクセスしやすいセルフホスティング・ソリューションの必要性を強調している。
  • 既存のP2P（Peer-to-Peer）システムの限界を強調し、さまざまなプラットフォームやプロジェクトについて説明し、自宅でウェブサイトや個人的なファイルをセルフホストするための提案を行い、注意を促している。
  • この記事は、クラウドホストのIPを使用することで実現可能な技術的独立性の度合いに関する議論を促進し、サードパーティ・サービスの信頼性に関する対照的な見解を引き出している。

OpenRA - 古典的な戦略ゲームを現代向けに再構築​

  • ボランティア主導のプロジェクトであるOpenRAは、Red Alert、Command & Conquer、Dune 2000といった古典的なリアルタイムストラテジーゲームを現代のシステム向けに再構築し、Windows、macOS、Linuxをネイティブにサポートしている。
  • ゲームプレイメカニクスの改善、MODサポートを含むオンラインプレイ、斬新なキャンペーンが特徴です。このプロジェクトは、オープンソース開発とコミュニティへの貢献で繁栄しています。
  • 最新のプレイテストでは、バグ修正、新しいタスク、改造サポートの強化、Command & Conquer Remastered Collectionとの互換性の前進などが行われた。開発者は問題点に関するフィードバックを歓迎する。

反応​

  • OpenRAは、古典的なストラテジーゲームを現代のプラットフォームに対応させることを目的としたプロジェクトで、インストールを簡素化し、クロスプラットフォームの互換性を提供する。
  • OpenRAはゲームメカニクスを強化し、オリジナルゲームからアセットをインポートするオプションを提供することで、全体的なゲーム体験を向上させている。
  • このプロジェクトは、他のクラシックゲームの再実装の可能性について、ユーザーの間で関心を呼び、活発な議論を呼んでいる。

ドーナツ数学：donut.cの仕組み​

  • この記事は、レイトレーシングを使わずに、フレームバッファとZバッファを使ってトーラスを低解像度のアスキーアートとして視覚化する、2006年の「ドーナツ」コードへの再注目について詳しく述べている。
  • 3Dパースペクティブ・レンダリングの背後にある数学と、各ポイントを2Dスクリーンに投影する方法についての説明があった。
  • この作品にはオリジナルのコードも掲載されており、ASCIIとキャンバスレンダリングのJavaScriptソースへのリンクも含まれている。

反応​

  • この記事では、donut.cコードの実装について、他のクリエイティブ・コーディング・プロジェクトと比較しながら論じている。
  • このコードを特定のプラットフォームでコンパイルする方法と、コンパイルに関するいくつかの問題の解決策を提供する。
  • コメント欄には、トピックに関連した洞察に満ちた議論や共有された個人的な体験が書かれている。

ブーズ・アレンはなぜ国立公園を貸し出すのか？​

  • この記事は、コンサルティング会社であるブーズ・アレンが、Recreation.govのウェブサイトを通じてアメリカ連邦の土地や水域へのアクセス料を徴収していることを精査したもので、国立公園の管理と利益に関する懸念を引き起こしている。
  • レッドロックキャニオンの見学料に異議を唱える訴訟により、業者の報酬を決定するためのパブリック・コメント・プロセスが始まった。
  • 著者は、公有地の価値とヘンリー・ジョージの哲学の影響を強調し、そのような慣習を避けるために、より厳しい規制を推奨している。

反応​

  • この記事では、Recreation.govが国立公園のレンタルを扱っており、運営者であるブーズ・アレン・ハミルトン社が価格つり上げと独占の悪用で非難されていることについての論争を検証している。
  • 透明性を求める声が上がるなか、評論家たちは、政府のウェブサイト開発における競争の激化と、収入と運営コストの明確な開示を強く求めている。
  • 非営利団体や政府機関が予約システムを管理すべきだという意見がある一方で、民間企業が課す料金や契約に疑問を呈する声もある。

Hush - Safariのノイズレスブラウジング​

  • Joel Arvidsson氏による無料のコンテンツブロッカー「Noiseless Browsing」は、Mac、iPhone、iPadのSafariで利用できる。
  • このアプリケーションは、不要なクッキーやプライバシー追跡通知を防止する一方、個人データを収集しないため、ユーザーのプライバシーを保護します。
  • 軽量、高速、使いやすいと宣伝され、オープンソースであるため、最新のアップルの技術とも互換性がある。

反応​

  • この記事では、Safariブラウザで広告やクッキー・バナーをブロックできる複数の拡張機能とブラウザについて説明しています。
  • クッキーバナーに関するユーザーの苛立ちや、一般データ保護規則（GDPR）のデータ収集ルールについて掘り下げている。
  • この議論では、プライバシーとソフトウェアツールの安全性に関する懸念が提起され、オンラインプライバシーとトラッキングに関する現在の議論とユーザーの嗜好が浮き彫りになる。

植物は音を感知する​

  • 科学的研究により、植物は音を感知して反応し、自ら音を出す可能性があることが示されている。
  • さまざまな実験から、音の種類が植物の成長やストレス物質の生成に影響を与えることが明らかになっている。例えば、アジアのある低木は、仏教の聖歌にさらされた後、葉のサイズが大きくなったと報告されている。
  • ある研究では、交通騒音にさらされた植物の成長が阻害された。

反応​

  • ある研究により、ボキラ・トリフォリオラータという種の植物には音を識別する能力があることが発見された。
  • 専門家の間でも、この研究のデザインや解釈、特に植物のすべての感覚が触覚の一種として分類されるかどうかについては意見が分かれている。
  • 疑似科学的な主張には懐疑的な見方もあり、実験室での交通騒音が植物に与える影響を研究した別の実験に見られるように、より厳密な研究を求める声もある。

1994年のようなブラウジング：Mac SE、ImageWriter IIを最新のLANに統合​

  • 著者は、年代物のマッキントッシュ・コンピューターとアップルトーク・プロトコルを使って、1994年当時のインターネット・ブラウジング体験を再現した経験を語っている。
  • このテキストでは、アップル・プロトコルのLinux実装であるNetatalk 2.xのインストールと設定に関するガイドを提供し、古いマッキントッシュ・コンピューターをオンラインにするプロセスを説明する。
  • また、特定のブラウザの利用法、IPv4リンク・ローカル・アドレッシングを使用する利点、新しいマック・デバイスにプリンターを接続する方法についても触れている。

反応​

  • この記事は、ビンテージMac SEとImageWriter IIを最新のローカルエリアネットワーク（LAN）に統合することを中心に、90年代のLocaltalkとPhoneNETの使い方を再考している。
  • 参加者は、ビンテージ・プリンターの使用や現代のネットワークへの接続など、古いマックや周辺機器との大切な経験を分かち合う。
  • また、時代遅れのマシンを使ってインターネットを閲覧したり、昔愛用していたワープロソフトの思い出話にも触れる。