sugyanのブックマーク - はてなブックマーク

MoonBit が WebAssembly 時代の理想(の原型)だった

最近 moonbit という言語を知ったのですが、これが調べれば調べるほど好きになる言語だったので、紹介させてください。文法的にはGC付きの Rust で、 WebAssembly にコンパイルされます。とくに CDN Edge Worker 上での実行を想定しているようです。もう好き。注意: まだ若い言語なので、これから言語仕様がガンガン変わっていくと思われます。あくまで現時点での情報です。 tl;dr Pros だいたいGCあり Rust と捉えていい文法面のキャッチアップが容易ライフタイムの難しさを考えなくていいすでに vscode 拡張やパッケージマネージャ等のエコシステムが整っている Cons まだ安定していない / しばらくはソースコードが公開されない現時点では学習リソースやパッケージ数が足りず、書き手の腕力が求められるはじめに: JS/TS/Rust へ

sugyan 2024/04/09

リンク

BlueskyのDesktop Client Appを作り始めている - すぎゃーんメモ

sugyan 2024/04/05

書いた

リンク

XZ Utilsの脆弱性 CVE-2024-3094 についてまとめてみた - piyolog

2024年3月29日、Linux向け圧縮ユーティリティとして広く利用されているXZ Utilsに深刻な脆弱性 CVE-2024-3094 が確認されたとして、研究者やベンダがセキュリティ情報を公開しました。この脆弱性は特定の条件下においてバックドアとして悪用される恐れがあるものとみられており、当該ソフトウエアのメンテナのアカウントにより実装されたソフトウエアサプライチェーン攻撃の可能性が指摘されています。ここでは関連する情報をまとめます。脆弱性の概要xzとは主要なLinuxディストリビューションに含まれる汎用的なデータ圧縮形式で、今回問題が確認されたのはその圧縮・解凍ユーティリティであるliblzma(API)を含むXZ Utils。CVE-2024-3094が採番されており、Red Hatによって評価されたCVSS基本値はフルスコアの10。影響を受けたライブラリをリンクしているssh

sugyan 2024/04/01

security

リンク

λ計算から始める Lazy K

Lazy K は S, K, I の三文字 (と括弧) だけで記述することのできる難読プログラミング言語です。Brainfuck やWhitespace などの手続き型の難読言語と異なり、 Lazy K は関数型がベースとなっており、難読言語の中でも書くのがかなり難しい言語と思われます。一方、Brainfuck がチューリングマシンをベースにしているように、 Lazy K もコンビネータ計算と呼ばれる計算モデルをベースにしており、ある意味﹁究極の関数型言語﹂と呼べるような美しさもあります。本書では Lazy K を書く上で必須となるλ計算の簡単なチュートリアルから、実際に Lazy K プログラムを書く (生成する) までを扱います。

sugyan 2024/04/01

リンク

なぜ、YAPCはこれほど愛されるカンファレンスになったのか。運営の裏側をHiroshima 2024スタッフたちに聞いた - Findy Engineer Lab

YAPCは﹁Yet Another Perl Conference﹂の略称であり、Perlを軸としたITに関わる全ての人のためのカンファレンスです。このカンファレンスは、Perlのみならず参加者たちが好きな技術の話をして交流することを目的としており、毎年数多くの方々が参加する一大イベントとなっています。 2024年2月9日・10日に広島県で開催されたYAPC::Hiroshima 2024は﹁what you like﹂がテーマ。職種やロール、プログラミング言語、技術要素など、各々のさまざまな﹁お好み﹂を語る場となりました。YAPC::Hiroshima 2024の運営に携わったメンバーたちは、どのような思いで活動をしたのでしょうか。運営チームのリーダーを務めたkobakenさんと、長きにわたり運営に参加し今回は主に広報業務を担当したpapixさん、そして開催地である広島県在住でコアスタ

sugyan 2024/03/29

いい話

リンク

RFC の URL はどのドメインで貼るのが良いか | blog.jxck.io

Intro IETF の RFC は、いくつかの場所で同じものが公開されている。どの URL が最適なのか、という話。結論は www.rfc-editor.org だ。 RFC Hosting Site例えば RFC 9110 - HTTP Semantics で言うと、以下の4つがある。 https://tools.ietf.org/html/rfc9110 https://datatracker.ietf.org/doc/html/rfc9110 https://www.rfc-editor.org/rfc/rfc9110.html https://httpwg.org/specs/rfc9110.html まずは、これらの違いを簡単に解説する。 tools.ietf.org IETF がホストする RFC は、 tools.ietf.org だった。 RFC 2616: H

sugyan 2024/03/28

RFC

リンク

Bluesky meetup in Osaka Vol.2 (2024/04/14 13:30〜)

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。 2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

sugyan 2024/03/28

リンク

鍵生成には暗号論的に安全な乱数を使おう

SSHの鍵生成には暗号論的に安全な疑似乱数を使おうという話。暗号論的に安全ではない疑似乱数がどれだけ危険かというのを、簡単なCTFを解くことで検証してみました。背景 SSH公開鍵に自分の好きな文字列を入れる、という記事を読みました。かっこいいSSH鍵が欲しい例えばこのSSH公開鍵、末尾に私の名前(akiym)が入っています。 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFC90x6FIu8iKzJzvGOYOn2WIrCPTbUYOE+eGi/akiym そんなかっこいいssh鍵が欲しいと思いませんか？かっこいい！真似してみたい！そこまではいいんですが、問題は実装です。秘密鍵を生成する際の乱数生成には高速化のために Goのmath/randを使っていますが、乱数が用いられるのは公開しない秘密鍵自体であり、このアルゴリズム自体はLagged Fib

sugyan 2024/03/28

リンク

｢YAPC::Hakodate 2024｣を開催します!!! - YAPC::Japan 運営ブログ

Japan Perl Associationの id:papix です. YAPC::Hiroshima 2024が終わって間もない時期ですが, 次のYAPC::Japanの開催が決まりましたのでお知らせいたします. 次のYAPC::Japanは, ｢YAPC::Hakodate 2024｣として, 2024年10月5日(土曜日) に, 公立はこだて未来大学にて開催することとなりました!!! 北海道での開催は, ｢YAPC::Hokkaido 2016 SAPPORO｣以来となります. この他, 前後に前夜祭やアフターイベントなども開催する予定ですが, こちらについては決定し次第お知らせいたします. 10月の函館で皆様とお会いできることを楽しみにしています!!!

sugyan 2024/03/27

おっ！

yapcjapan

リンク

Rustのserdeで、データフォーマットによって異なる型にserialize/deserializeする - すぎゃーんメモ

背景 CidLink serde_json, serde_ipld_dagcbor 問題点: データフォーマットによって対象の型が異なる最初の解決策: is_human_readable() による分岐うまくいかないケース解決策(？): Ipld を経由しデータの構造によって分岐する汎用的？な解決策: Untagged ベンチマーク実装結果その後背景 BlueskyのAT ProtocolのRust版ライブラリを作っている。memo.sugyan.com github.com その中で最近実装した機能の話。 CidLink AT Protocolで扱うデータモデルのSpecは、以下のページで書かれている。 atproto.com この中に、Lexiconでcid-linkという名前で扱われる型がある。 https://atproto.com/specs/lexicon#c

sugyan 2024/03/26

書いた

Rust
ATrium

リンク

RustにおけるGitHub Actionsベストプラクティス - paild tech blog

こんにちは大櫛です。Travis CIがオープンソースプロジェクトで使いづらくなったり、Azure PipelinesからGitHub Actionsになった途端*1爆発的な流行が生まれたりと、CIサービスにおいてもここ数年で色々な動きがありました。特に技術記事・ブログのトレンドや企業のリクルート向け資料を見ていると、GitHub Actionsの利用が進んでいるような印象を受けます。今回はそんなGitHub Actionsについて、Rust projectで使う際に知っておいた方がいいことやactionを紹介していきます。以下の情報は執筆時点︵2023-02-19︶のものに基づいています。閲覧時には無効・誤ったものになっている可能性がありますので、必ず最新の情報・状態を確認するようにしてください。 actions-rs︵非推奨︶まずはじめに、執筆時点では使用を控えた方がいいact

sugyan 2024/03/22

リンク

Tailwind CSS を使ったダークモード実装の効率的なアプローチ

はじめに現在、海外のプロダクトのほとんどがダークモードに対応しており、その普及は加速しています。ダークモード対応は単なるデザイン要素にとどまらず、プロダクトの品質や開発力の高さ、アクセシビリティへの配慮を示す効果もあります。日本ではまだまだ普及が遅れているダークモード対応ですが、効率的な実装を行えば実は少ない工数でダークモードに対応できます。この記事では Tailwind CSS におけるダークモードの効率的な実装について解説します。本記事は shadcn/ui や Tailwind UIのコードを参考にしており、著者の属人的アプローチではありません。結論 CSS 変数と Tailwind CSS の色拡張を使うことでテーマごとの配色を一元管理しつつ、Tailwind CSS の直感的な DXも維持できます。Demo実装例を用意しました。 css と tailwind.co

sugyan 2024/03/15

メモ

Tailwind
CSS

リンク

Bluesky’s Stackable Approach to Moderation - Bluesky

sugyan 2024/03/13

リンク

エンジニアの強力な付加価値スキルとしての発信力 - An Epicurean

エンジニアに限らず、BlogやTwitter、OSS、登壇など、対外発信力がキャリアにおける強力な付加価値になることは知られるようになりました。英語力がそうであるように、発信力は必ずしも必須スキルではありません。英語ができなくても活躍しているエンジニアはいくらでもいます。同時に英語がそうであるように発信力が有力な付加価値をもたらすスキルであることは事実です。私自身、発信力が強みになっている分バイアスがあるので、あまりそのスキルの価値を過大評価して他人に押し付けるようなことはしたくありません。それに、エンジニアだったら発信力などではなく、純粋な技術力で評価されたいよな、という青臭い気持ちもまだどこかにあります。ですから、全員が発信すべきだとは考えません。ただ、対外発信に興味を持っている人は後押しはしたいし、そういう人が増えてほしいとは強く思っています。なぜならば、それが単純に楽しいから

sugyan 2024/03/10

いい文書。心掛けて頑張っていきたい

リンク

Dada | Dada

Welcome to Dada, an experimental new programming language!Care to try our live tutorial?Wondering what the heck Dada is all about?Jump to the web playground?

sugyan 2024/03/07

こんなのあったのか、全然しらんかった

リンク

proposals/0002-labeling-and-moderation-controls at main · bluesky-social/proposals

sugyan 2024/03/01

リンク

Cloudflare Workersで、自分のはてブをBlueskyに流す - すぎゃーんメモ

bsky.app そういえば、古き良き時代は自分のブックマークは自動でTwitterに投稿されていたのだった。今はBlueskyがメインになっているので、同じ仕組みが欲しい、と思った。ので、作った。 github.com 要件先行事例 Rust版 WASM対応 Cloudflare Workersでの実装 1MB制限との戦いFetchAPIKVでのSessionStore？要件自分のブックマークはRSSで取得できる。定期的にチェックして新しいのがあれば、といったロジックで検出できる。なので、基本的にはプログラムを定期実行できる場所があればGitHub Actionsとかでも良い。ただ、対象のブクマ内容をpostする前に、それを既にpostしているか否かを知る必要がある。専用のbotアカウントとかであれば、そのアカウントのpost feedを取得して最近のものをチェックす

sugyan 2024/03/01

作った、書いた

リンク

The AT Protocol

The AT ProtocolSocial networking techno logy created by Bluesky IntroducingThe Social Internet The AT Protocol is a networking techno logy created to power the next generation of social applications. The initial reference application, bsky.app, provides a global-scale microblogging experience.

sugyan 2024/02/29

atproto

リンク

GitHub - sugyan/hatebu2bsky

sugyan 2024/02/29

ようやくできた

リンク

YAPC::Hirosima 2024でコードゴルフコンテストを開催しました〜解説編〜 #yapcjapan - KAYAC engineers' blog

こんにちは、技術部の谷脇です。去る2月10日に行われたYAPC::Hiroshima2024ですが、みなさまはいかがだったでしょうか。私は参加して大満足であり、運営の方々に大感謝させていただきます。さて、カヤックではゴールドスポンサーと椅子スポンサーをしていたというのは開催直前に出した記事で述べさせていただきました。 tech blog.kayac.com この記事では伏せられていた、椅子スポンサーのPerlbatrossですが、この記事ではPerlbatrossの内容紹介と問題解説をしようと思います。 PerlbatrossとはYAPC::Hiroshima2024の開催期間中にコードゴルフの問題を出していました。以下は椅子スポンサーで貼らせていただいた問題です。 Q1. Split of Graphemeの問題さて、これだけではなく、QRコードにアクセスすると実際に問題を解けるサ

sugyan 2024/02/22

とても面白かったし勉強になりました！チート・グリッチ編の解説も楽しみにしております

リンク

はてなブックマーク

タグ

sugyanのブックマーク (7,982)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第3週）

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス