zavoloklom.dev↗

日本全国の花火大会の情報サイト。2026年～2027年に春・夏・秋・冬と年間を通して開催される花火大会の打上日程・会場・観覧場所・打ち上げ数をデータベース化。

TextureGen shares free seamless textures, PBR materials, and image resources for 3D rendering, game design, architecture, and creative digital projects.

Gateway to trusted information

BSides312 is the Security BSides conference in Chicago — a non-profit, one-day hacker & cybersecurity event at the Irish American Heritage Center, held the day after THOTCON. Talks, workshops, villages, CTFs, and networking with Chicago

Formal verification tool for Rust

by Zach Tellman For the past few years, I've been working on a book about software design. Its thesis is fairly simple: Software development can be reduced to a single, iterative action. Almost everything we do in the course of a day — the pull requests, the meetings, the whiteboard diagrams, the hallway conversations — is an explanation. Our job is to explain, over and over, the meaning of our software: what it is, and what we expect it to become. In this newsletter, I'll be shari