The Easiest Way to Build a Type Checker
Type checkers are a piece of software that feel incredibly simple, yet incredibly complex. Seeing Hindley-Milner written in a logic programming language is almost magical, but it never helped me understand how it was implemented. Nor does actually trying to read anything about Algorithm W or any academic paper explaining a type system. But thanks to David Christiansen, I have discovered a setup fo
goroutineを作ã£ã¦ã¿ã‚‹ã€‚Rust㧠- エムスリーテックブãƒã‚°
ã“ã®è¨˜äº‹ã¯ã‚¨ãƒ スリー Advent Calendar 2025 2日目 å…¼ マãƒã‚¸ãƒ¡ãƒ³ãƒˆãƒãƒ¼ãƒ ブãƒã‚°ãƒªãƒ¬ãƒ¼9日目ã®è¨˜äº‹ã§ã™ã€‚ ã“ã‚“ã«ã¡ã¯ã€ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãƒªãƒ³ã‚°ã‚°ãƒ«ãƒ¼ãƒ— General Manager å…¼ 基盤ãƒãƒ¼ãƒ リーダーã®æ¨ªæœ¬(@yokomotod)ã§ã™ã€‚ 今回ã¯goroutineã«ã¤ã„ã¦ã®è‡ªç”±ç ”究ã§ã™ã€‚ 「軽é‡ã€ã€Œä½•ä¸‡å€‹ã‚‚作れるã€ã€Œä¸¦è¡Œå‡¦ç†ãŒç°¡å˜ã«æ›¸ã‘ã‚‹ã€...ãã‚“ãªgoroutineã®è£å´ã¯ã©ã†ãªã£ã¦ã„ã‚‹ã‚“ã§ã—ょã†ã‹ã€‚ ãªãœOSスレッドより「軽ã„ã€ã®ï¼Ÿ グリーンスレッドã¨ã¯é•ã†ã®ï¼Ÿ ãªãœãƒ‘フォーマンスãŒé«˜ã„ã¨è¨€ã‚れるã®ï¼Ÿ ã“ã®è¨˜äº‹ã§ã¯ã€goroutineã®ã‚ˆã†ãªãƒ©ãƒ³ã‚¿ã‚¤ãƒ ã‚’Rustã§è‡ªä½œã™ã‚‹ã“ã¨ã§ã€ã“れらã®ç–‘å•ã«ç”ãˆã‚‹ã“ã¨ã‚’目指ã—ã¾ã—ãŸã€‚ ソースコードã®å…¨ä½“ã¯ä»¥ä¸‹ã®ãƒªãƒã‚¸ãƒˆãƒªã§å…¬é–‹ã—ã¦ã„ã¾ã™ã€‚ github.com ãªãœRust？ OSスレッドã¯é‡ã„ã€ã®ãŠã•ã‚‰ã„ グリーンスレッドを作ã£ã¦
Why xor eax, eax? — Matt Godbolt’s blog
Written by me, proof-read by an LLM. Details at end. In one of my talks on assembly, I show a list of the 20 most executed instructions on an average x86 Linux desktop. All the usual culprits are there, mov, add, lea, sub, jmp, call and so on, but the surprise interloper is xor - “eXclusive ORâ€. In my 6502 hacking days, the presence of an exclusive OR was a sure-fire indicator you’d either found t
å…ˆèªã¿ Go 1.26 Draft - ANDPAD Tech Blog
ANDPADアドベントカレンダー2025 1æ—¥ç›®ï¼ å…ˆé 打者ã¯ANDPAD Tech Leadã® tomtwinkle ãŒå‹™ã‚ã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚ ã“ã®è¨˜äº‹ã¯ hatena.go #2 ã§ç™ºè¡¨ã—ãŸGo 1.26ãƒã‚¿LTをベースã«ã—ãŸã‚‚ã®ã§ã™ã€‚ æµçŸ³ã«5分LTã ã¨å–‹ã‚Šãã‚Œãªã‹ã£ãŸâ€¦ï¼ developer.hatenastaff.com å‰æ›¸ã Go ã¯æ˜”ã‹ã‚‰å¹´ã«2回ã€2月㨠8月 ã«æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã‚’リリースã™ã‚‹ã¨ã„ㆠGo Release Cycle ã«æ²¿ã£ã¦é–‹ç™ºãŒé€²ã‚られã¦ã„ã¾ã™ã€‚ go.dev rc版ãŒå‡ºã‚‹ã®ã¯å¤§ä½“12月ãªã®ã§ã€ã‚¢ãƒ‰ãƒ™ãƒ³ãƒˆã‚«ãƒ¬ãƒ³ãƒ€ãƒ¼ã®æ™‚期ã«ã¯ã‚‚ã—ã‹ã™ã‚‹ã¨rc版ãŒãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã¦ã„ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。 次ã®Go ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã¯è¡¨é¡Œé€šã‚Š Go 1.26 ã§ã™ã。 リリースã¯æ¥å¹´ã®2月予定ãªã®ã§ã‚‚ã†å°‘ã—å…ˆã§ã™ãŒã€ä»Šå›žã¯ã©ã‚“ãªæ©Ÿèƒ½ãŒæ載ã•ã‚Œã‚‹äºˆå®šãªã®ã‹ã€å…ˆè¡Œã—ã¦è¦‹ã¦ã„ãã¾ã—ょã†ã€‚ 最åˆã«
Datacenters in space are a terrible, horrible, no good idea.
In the interests of clarity, I am a former NASA engineer/scientist with a PhD in space electronics. I also worked at Google for 10 years, in various parts of the company including YouTube and the bit of Cloud responsible for deploying AI capacity, so I'm quite well placed to have an opinion here. The short version: this is an absolutely terrible idea, and really makes zero sense whatsoever. There
普段使ã„ã§ãã‚‹ä¿è·ãƒ¬ã‚¤ãƒ¤ãƒ¼ã€Œrestricted shellã€ã®ç´¹ä»‹ - mizdra's blog
ã“れ㯠ã¯ã¦ãªã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ Advent Calendar 2025 1日目ã®è¨˜äº‹ã§ã™ã€‚ ã¯ã¦ãªã§ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã‚¨ã‚スパートをã—ã¦ã„ã‚‹ id:mizdra ã§ã™ã€‚普段㯠JavaScript を書ã„ã¦ã¦ã€è¶£å‘³ã§è‰²ã€…ãªãƒ„ールを作ã£ã¦ã¾ã™ã€‚ ã¨ã“ã‚ã§æœ€è¿‘ã€npmjs.com ã¸ã®ã‚µãƒ—ライãƒã‚§ãƒ¼ãƒ³æ”»æ’ƒãŒè©±é¡Œã§ã™ã。以å‰ã‹ã‚‰ npmjs.com ã§ã¯ã‚µãƒ—ライãƒã‚§ãƒ¼ãƒ³æ”»æ’ƒãŒç™ºç”Ÿã—ã¦ã„ã¾ã—ãŸãŒã€ä»Šå¹´ã¯è¦æ¨¡ãŒå¤§ãã„ã‚‚ã®ãŒé »ç¹ã«ç™ºç”Ÿã—ã¦ã„ã¾ã™ã€‚ Active Supply Chain Attack: npm Phishing Campaign Leads to P... npm Author Qix Compromised via Phishing Email in Major Suppl... DuckDB npm Account Compromised in Continuing Supply Chai
超高速SQLå˜ä½“テスト rawsql-ts/pg-testkit
Node.jsã§SQLを高速ã«å˜ä½“テストã™ã‚‹ãƒ©ã‚¤ãƒ–ラリ @rawsql-ts/pg-testkit を紹介ã—ã¾ã™ã€‚ 生SQLã¯å½“然ã¨ã—ã¦ã€Prismaã‚„Drizzleãªã©æ—¢å˜ORMã¨ã‚‚併用å¯èƒ½ã§ã€æ—¢å˜ã‚¢ãƒ¼ã‚テクãƒãƒ£ã‚’壊ã•ãšå°Žå…¥ã§ãã¾ã™ã€‚ 従æ¥ã®å•é¡Œç‚¹ SQLã®å˜ä½“テストを行ã†å ´åˆã€ä¸€èˆ¬çš„ã«ã¯ä»¥ä¸‹ã®æ‰‹é †ã§è¡Œã„ã¾ã™ã€‚ マイグレーション（テーブル環境構築） シーディング（テストデータ投入） テスト クリーンアップ（ãƒãƒ¼ãƒ«ãƒãƒƒã‚¯ã€ãƒ†ãƒ¼ãƒ–ãƒ«ç’°å¢ƒç ´æ£„ï¼‰ 通常ã®å˜ä½“テストã¨ç•°ãªã‚Šã€ãƒžã‚¤ã‚°ãƒ¬ãƒ¼ã‚·ãƒ§ãƒ³ã€ã‚·ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã€ã‚¯ãƒªãƒ¼ãƒ³ã‚¢ãƒƒãƒ—ã¨ã„ã†å·¥ç¨‹ãŒå¿…è¦ã§ã™ã€‚ ã•ã‚‰ã«ã€DBã¨ã„ã†å…±æœ‰ã‚¹ãƒˆãƒ¬ãƒ¼ã‚¸ã‚’使用ã™ã‚‹ãŸã‚ã€ãƒ†ã‚¹ãƒˆé–“ã®ç«¶åˆã«æ³¨æ„ãŒå¿…è¦ã§ã™ã€‚ 上記ã®å•é¡Œã‚’回é¿ã—ã¦é«˜é€ŸåŒ–ã™ã‚‹ã®ã¯é›£ã—ãã€ç¾çŠ¶ã§ã¯ DBインスタンスをãŸãã•ã‚“ç«‹ã¦ã‚‹ DBã«ã‚¹ã‚ーマをãŸãã•ã‚“作る テストデータãŒç«¶åˆã—ãªã„よã†ã«æ°—を付ã‘ã‚‹ ã¨ã„ã£ãŸåŠ›æ¥ã«é ¼ã‚‹
ソースマップã¯ã¨ã‚™ã®ã‚ˆã†ã«å…ƒã‚³ãƒ¼ãƒˆã‚™ã¸ã®å‚照をä¿æŒã™ã‚‹ã‹ | ドクセル
ソースマップã¯ã©ã®ã‚ˆã†ã« 元コードã¸ã®å‚照をä¿æŒã™ã‚‹ã‹ 2025.11.30 フãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã‚«ãƒ³ãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹é–¢è¥¿2025 @yuta-ike エムスリー / エンジニアリンググループ
NixOS 25.11 released | Blog | Nix & NixOS
Hey everyone, we are jopejoe1 and Leona Maroni, the release managers of the newest release of NixOS. We are very proud to announce the public availability of NixOS 25.11 "Xantusia". NixOS is a Linux distribution. Its underlying package repository Nixpkgs can also be used on other Linux systems and macOS with the Nix package manager. This release will receive bugfixes and security updates for seven
.NET 10 ã®ãƒ‘フォーマンス改善
CLR/H #111 ã§ã®ç™ºè¡¨è³‡æ–™ 関連資料 GitHub
æ•™ãˆæ–¹ã‚’æ•™ãˆã‚‹: ソフトウェアエンジニアリングã¨ä¸å¦å—験 - 白ã®ã‚«ãƒ”ãƒãƒ©ã®é€†æ¥µé™ S.144-3
……春ã«ã—ã¦å›ã‚’離れ……ã§ã‚‚今ã¯æ˜¥ã˜ã‚ƒãªã„ã‚ã€å一月ã˜ã‚ƒã‚ã‚Šã¾ã›ã‚“ã‹â€¦â€¦ アガサ・クリスティ『春ã«ã—ã¦å›ã‚’離れ〠ã¯ã˜ã‚ã« ã“ã®æ–‡ç« ã¯ã€ã€Œç«¶æŠ€ãƒ—ãƒã‚°ãƒ©ãƒžãƒ¼ã®ãŸã‚ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°é¢æŽ¥ã€ã“ã‚Œã ã‘ã€ã¨ã„ã†ã‚¿ã‚¤ãƒˆãƒ«ã§æ›¸ã始ã‚ãŸã‚‚ã®ã 。以å‰ã‚ˆã‚Šã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã®æ•™è‚²ã‚’ã—ã¦ãŠã‚Šã€å¹´ã«ã‚ˆã£ã¦ã¯ GAFA ãŒæƒã†ã“ã¨ã‚‚ã‚る。Google ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã ã‘ã§ã‚‚10å¹´è¿‘ã毎年入ã£ã¦ãŠã‚Šã€æ•™ãˆã‚‰ã‚Œã¦å…¥ã£ãŸäººã‚‚æ•™ãˆã‚‹ã‚ˆã†ã«ãªã‚Šã€ä»Šå¹´æ›¾å«(4代目)ã® Google ソフトウェアエンジニアãŒèª•ç”Ÿã—ãŸã€‚ãŸã ã“ã®è‚²æˆé€Ÿåº¦ã§ã¯ã¾ã£ãŸãå分ã§ã¯ãªã„。年間一万人ã®æ¡ã§è‚²ã¦ã‚‹å¿…è¦ãŒã‚ã‚‹ã¨è€ƒãˆã‚‹ã®ã§æ•™ãˆæ–¹è‡ªä½“を広ã‚ã‚‹ã“ã¨ã«ã—ãŸã€‚書ã進ã‚ã¦ã„ãã†ã¡ã«ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°é¢æŽ¥ã«æœ‰ç”¨ãªã ã‘ã§ãªãã€ã‚€ã—ã‚å¦ç¿’や仕事全般ã«å…±é€šã™ã‚‹è©±ã«ãªã£ãŸã€‚ãŠãらãã€æ±Žç”¨æ€§ãŒã‚る話ã§ã¯ã‚ã‚‹ã®ã ã‚ã†ã€‚外資系コンサルタントや外資系金èžæ©Ÿé–¢ã®äººãŸã¡ãŒæ™‚々
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Mutation testing for librsvg - Federico's Blog
PtrHash: Minimal Perfect Hashing at RAM Throughput
Constructing The Word's First JPEG XL MD5 Hash Quine
Haskellプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ï¼šç›´å‰ã®é †åˆ—（ABC 276 C）
Typst ã®æ—¥æœ¬èªžã‚¹ãƒšãƒ¼ã‚¹å•é¡Œã‚’解決ã™ã‚‹
Punycode: My New Favorite Algorithm - Ian Duncan - Ian Duncan
Help, My Java Object Vanished (and the GC is Not at Fault)
Don't tug on that, you never know what it might be attached to
Clade
{{#tags}}- {{label}}
{{/tags}}