Merge branch 'main' of https://github.com/abap34/abap34.com

Author: abap34

blog_builder/__pycache__/precompute_vectors.cpython-312.pyc

@@ -0,0 +1,142 @@
+{
+  "14534eead9858fc26e3a5e4b756b4a42": {
+    "data": {
+      "img_url": "https://lh7-us.googleusercontent.com/docs/AHkbwyKG0eKhQ7ZW_vLsgH1ivLHhl3QzjavIKTk7efmdZ5CI6haS5QwqijYnXkYNietKRU7h5eUWENgHX101CoXTHUWTUaqNR2Svb4N09FrZSsBOCQCMDHWS=w1200-h630-p",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "(public ver) proposal for GSoC 2025: JETLS ",
+      "description": "2025 Proposal:  Development of a New Language Server for Julia   Name: XXXXXXXXXX Email: XXXXX@XXXXX Country & timezone: Japan, UTC+9 School Name & Study: Department of Computer Science, School of Com",
+      "site_name": "Google Docs",
+      "favicon": "https://ssl.gstatic.com/docs/documents/images/kix-favicon-2023q4.ico",
+      "url": "https://docs.google.com/document/d/1rk39WzYwvI1jEx9FtYwAynwVmjyjwjo_F9RExQBD3J8/edit?usp=sharing",
+      "display_url": "docs.google.com/document/d/1rk39WzYwvI1jEx9FtYw...",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:13.847996"
+  },
+  "b5d223ec93bd0db8c1a47c0588e61bb6": {
+    "data": {
+      "img_url": "https://opengraph.githubassets.com/90c79a229d51e0c4e38e92e243a8c507471f53baabf5ece20a91ae8df9b2a80e/aviatesk/JET.jl",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "GitHub - aviatesk/JET.jl: An experimental code analyzer for Julia. No need for additional type annot",
+      "description": "An experimental code analyzer for Julia. No need for additional type annotations. - aviatesk/JET.jl",
+      "site_name": "GitHub",
+      "favicon": "https://github.com/fluidicon.png",
+      "url": "https://github.com/aviatesk/JET.jl",
+      "display_url": "github.com/aviatesk/JET.jl",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:14.824597"
+  },
+  "b4309183779a128f2d341fab533beb3b": {
+    "data": {
+      "img_url": "https://abap34.com/posts/jci_06/image.png",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "Julia Compiler Internals (06) - Implementing Small Julia Compiler",
+      "description": "多重ディスパッチと抽象解釈に基づく型推論が載った処理系を作ります。",
+      "site_name": "abap34's blog",
+      "favicon": "https://abap34.com/favicon.ico",
+      "url": "https://abap34.com/posts/jci_06.html",
+      "display_url": "abap34.com/posts/jci_06.html",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:31.519635"
+  },
+  "4575fac570d9c05df8a713a86230d192": {
+    "data": {
+      "img_url": "https://trap.jp/content/images/2025/03/mosaic_20250315035433-1.png",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "traP Kaggle 班 x 日本経済新聞社でデータ分析コンペを開催しました！",
+      "description": "情報工学系 B3 の @abap34 です。昨年まで Kaggle 班の班長をしていました。\n\nさて、Kaggle 班では定期的に部内データ分析コンペを開催しているのですが、\n\nKaggle班で機械学習講習会と部内データ分析コンペを開催しました！こんばんは ！ 情報工学系 B3 の @abap34 です。Kaggle 班の班長をしています。最近は、財布を落として教務課の人に怒られました。 さて、梅",
+      "site_name": "東京科学大学デジタル創作同好会traP",
+      "favicon": "https://trap.jp/content/images/size/w256h256/2020/01/traP_logo_icon.png",
+      "url": "https://trap.jp/post/2518/",
+      "display_url": "trap.jp/post/2518/",
+      "published_date": "<span class=\"link-card-date\">2025/03/17</span>"
+    },
+    "timestamp": "2025-09-29T17:02:31.530173"
+  },
+  "2c00b87cebe34716bdf87cc18c427e1b": {
+    "data": {
+      "img_url": "https://trap.jp/content/images/2025/01/img_5128.png",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "冬ハッカソンで定理証明支援系 「lapisla-prover」(and more !) を開発しました！",
+      "description": "この記事は 1/19 ~ 1/26 に行われた冬ハッカソン2024 10 班「Cat dance at the cafe」の参加記です。\n\n私たちは今回のハッカソンで定理証明支援系 「lapisla-prover」とそのほか全てを開発し、技術賞を獲得しました 🥳‌                              \n\nこの記事ではこの lapisla-prover のコンセプトと実装を紹介",
+      "site_name": "東京科学大学デジタル創作同好会traP",
+      "favicon": "https://trap.jp/content/images/size/w256h256/2020/01/traP_logo_icon.png",
+      "url": "https://trap.jp/post/2478/",
+      "display_url": "trap.jp/post/2478/",
+      "published_date": "<span class=\"link-card-date\">2025/02/09</span>"
+    },
+    "timestamp": "2025-09-29T17:02:31.634094"
+  },
+  "44576d1b22b839b972010348460722e5": {
+    "data": {
+      "img_url": "https://opengraph.githubassets.com/b02ffe6b941b3c6526c27959fd7211b6e02ab4bb44ae7d9ff696e1344b614c3f/abap34/server.abap34.com",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "GitHub - abap34/server.abap34.com: just 🐩ᯓᡣ𐭩 ▶︎ `ssh abap34@server.abap34.com  -p 39001`",
+      "description": "just 🐩ᯓᡣ𐭩 ▶︎ `ssh abap34@server.abap34.com  -p 39001` - abap34/server.abap34.com",
+      "site_name": "GitHub",
+      "favicon": "https://github.com/fluidicon.png",
+      "url": "https://github.com/abap34/server.abap34.com",
+      "display_url": "github.com/abap34/server.abap34.com",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:31.704690"
+  },
+  "899d492f68e87493ce4b6cd0e9f52f67": {
+    "data": {
+      "img_url": "https://opengraph.githubassets.com/ed1f72e3735bfcdb2d52f009a40d84dcd1526b3e3c094b0ce9f5a28b70661597/abap34/almo/pull/167",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "ビルドシステムの書き換え by abap34 · Pull Request #167 · abap34/almo",
+      "description": "fix #166",
+      "site_name": "GitHub",
+      "favicon": "https://github.com/fluidicon.png",
+      "url": "https://github.com/abap34/almo/pull/167",
+      "display_url": "github.com/abap34/almo/pull/167",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:31.796240"
+  },
+  "a649827a0369fa6ef008c8f70f6a2f6e": {
+    "data": {
+      "img_url": "https://opengraph.githubassets.com/56a834218c95be64b39ec1c9824387c9221e36ba05b39dec8d93a9a05de16f34/abap34/mu",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "GitHub - abap34/mu: Implementation of multiple dispatch and abstract interpretation based  static ty",
+      "description": "Implementation of multiple dispatch and abstract interpretation based  static type analysis  - GitHub - abap34/mu: Implementation of multiple dispatch and abstract interpretation based  static type...",
+      "site_name": "GitHub",
+      "favicon": "https://github.com/fluidicon.png",
+      "url": "https://github.com/abap34/mu",
+      "display_url": "github.com/abap34/mu",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:31.855941"
+  },
+  "4cba594324e92fe9bac97cc4646dc4bb": {
+    "data": {
+      "img_url": "https://opengraph.githubassets.com/3b5b763da5aef69c53298e49d5d08e982b2edcda4caa9ddf8a80d519d1e471a6/abap34/almo",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "GitHub - abap34/almo: [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サー",
+      "description": "[⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。 - abap34/almo",
+      "site_name": "GitHub",
+      "favicon": "https://github.com/fluidicon.png",
+      "url": "https://github.com/abap34/almo",
+      "display_url": "github.com/abap34/almo",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:31.920208"
+  },
+  "9b513954279f68b0ca82ef47154cf752": {
+    "data": {
+      "img_url": "https://opengraph.githubassets.com/377a70c19e1e007c01559c513a99fcc9314e35113f55eb2df477058c6fa05662/lapisla-prover/lapisla-prover",
+      "fallback_img": "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTIwIiBoZWlnaHQ9IjEyMCIgdmlld0JveD0iMCAwIDEyMCAxMjAiIGZpbGw9Im5vbmUiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+CjxyZWN0IHdpZHRoPSIxMjAiIGhlaWdodD0iMTIwIiBmaWxsPSIjRjVGNUY1Ii8+CjxwYXRoIGQ9Ik00MCA0MEg4MFY4MEg0MFY0MFoiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+CjxjaXJjbGUgY3g9IjUwIiBjeT0iNTUiIHI9IjUiIGZpbGw9IiNDQ0MiLz4KPHA+PC9wYXRoPgo8cGF0aCBkPSJNNDUgNjVMNTUgNzVMNzUgNTUiIHN0cm9rZT0iI0NDQyIgc3Ryb2tlLXdpZHRoPSIyIiBmaWxsPSJub25lIi8+Cjwvc3ZnPgo=",
+      "title": "GitHub - lapisla-prover/lapisla-prover: lapisla is a *battery-pluggable* theorem prover and ecosyste",
+      "description": "lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋 - lapisla-prover/lapisla-prover",
+      "site_name": "GitHub",
+      "favicon": "https://github.com/fluidicon.png",
+      "url": "https://github.com/lapisla-prover/lapisla-prover",
+      "display_url": "github.com/lapisla-prover/lapisla-prover",
+      "published_date": ""
+    },
+    "timestamp": "2025-09-29T17:02:32.038731"
+  }
+}