Sabitlenmiş Tweet
本気コンパイラ開発の日記【自作コンパイラで得られる知見】
受験でコンパイラ開発自体は止めたんですが、言語仕様と日記はもう少し進めます。競プロで自信のある方にこの世界(プログラミングではなくエンジニアリング)を知ってもらいです。
zenn.dev/sonneko/books/… #自作言語 #競プロ
日本語
Sonneko@本気コンパイラ開発
77 posts
Sonneko@本気コンパイラ開発
@_sonneko
High School Programmer | Passionate about low-level systems and PL development with #Rust 高3 #プログラマ |コンパイラ開発者|#科甲15th #科学の甲子園 大阪代表|#Aoristos 所属|プログラミング言語自作が趣味
Japan Osaka Katılım Mart 2026
45 Takip Edilen51 Takipçiler
先ほどお風呂の中で、
ポインタなし参照なしGCなし、TypeScriptヤーでも直感的にかけるゼロコスト抽象化の安全なシステムプログラミング言語の文法を思いついた。
これはやばい。betterなGoすぎる...
日本語
関数型って結局なんやねん！どないして活用せえっちゅうねん！｜Sonneko zenn.dev/sonneko/articl… #zenn #プログラミング #関数型プログラミング
日本語
偶数まるめを知らなかったー
これがインターネット完全独学の弊害か。
ライブラリの関数使うから知らなくてもいい気もするが、知っとくべきやね
くいなちゃん@kuina_ch
日本には『四捨五入』という四字熟語があるせいで、「XX.5 以上を切り上げて、XX.5 未満を切り捨てる」という処理を日本のプログラマさんは書きがちです。 しかしそうすると、切り上げになる頻度が増えてよくないため、世界的には「XX.5 は近い偶数整数に丸める」ことが一般的らしいですね。
日本語
@luckyowlman この前書きました！
(多分ループでも書けるけど)
github.com/sonneko/hydent…
日本語
Rustの学習コスト高すぎってよくいうけど、低レイヤーのためにRust使うときは、メモリわかってない人がc++書くよりは、Rustコンパイラがその人のコードをレビューしてくれた方がマシでは？Rustの学習コストって、Rust自体のじゃなくてメモリ関連の知識によるものだと思う。Rustとモダンc++って似てるし
日本語
Sonneko@本気コンパイラ開発 retweetledi
@2rnej @piyush784066 はじめてでc++は難しすぎん？メモリ関連の知識がいるやん。
僕は昔に戻れたらTypeScriptからやる
日本語
現在、私高校生が開発しているhydent-langは、
- Rustと同じ抽象化機能
- TypeScriptのような構文の簡潔性,柔軟性
- Goに学んだシンプルさ,開発者体験
- DAppsに関する機能
を併せ持った現代的で実利主義なプログラミング言語です。
#Compiler #言語自作
sonneko.github.io/hydent-lang/
日本語
なぜか科学の甲子園行きの荷物に、入れてたやつ。
そういえば安定化電源自作しようとして部品買ったのにまだ作ってないなー
ElectronicsNotes by Ian Poole@ElecNotes
The Swiss Army Knife of Power Supplies: Why the LM317 Still Rules In a world of complex power management ICs, sometimes the classic solutions are still the best. The LM317 adjustable voltage regulator has been a staple on engineer workbenches for decades - and for good reason. Whether you're building a variable lab supply, a constant current source for LEDs, or local on-card regulation, this 3-terminal wonder is as versatile as it is reliable. Based on information on my website , here is why the LM317 should still be in your component drawer: Key Features • Wide Output Range: Adjusts from 1.2V all the way up to 37V. • High Current Capability: Capable of delivering over 1.5A with proper heatsinking. • Floating Regulator: Because it doesn't have a dedicated ground pin, it can be used in high-voltage applications as long as the input-to-output differential is maintained. • Robust Protection: Built-in current limiting and thermal overload protection make it incredibly "forgiving" during the prototyping phase. Pro-Tips for a Stable Circuit To get the best performance out of your LM317 design, keep these practical tips in mind: 1. Capacitors are NOT optional: Use a 0.1µF ceramic on the input to handle line impedance and a 1µF tantalum on the output to ensure transient stability. 2. The "Protection Diode" Trick: If you’re using large output capacitors (over 25µF), add a protection diode from output to input. This prevents the capacitor from discharging back through the IC if the input is shorted. 3. Layout Matters: Keep your programming resistors as close to the IC terminals as possible to minimize voltage drops that can degrade regulation. 4. Heatsink Connection: Remember that on the TO-220 package, the metal tab is internally connected to the Output pin, not ground! Always use an insulator kit if mounting to a common chassis. The LM317 is a testament to the idea that good analog design is timeless. It’s cheap, widely available, and virtually impossible to make obsolete. For more information check out my website - link in the comments. Are you still using the LM317 in your modern designs, or have you fully switched to LDOs and Switchers? Let’s talk shop in the comments! 👇 #ElectronicsEngineering #AnalogDesign #PowerSupply #LM317 #ElectricalEngineering #MakerMovement #CircuitDesign #electronicsnotes
日本語
@2rnej 日本語唯一のLeanの本みたいですねこれ。
結局、関数型言語を先にやれよってなって買ってないが、僕はそのうち買いそう。
日本語
ちょっと狙ってたこの本が流れてくるとは想定外。(要はプログラムを利用して、数学の定理を厳密に証明しようぜっていう本、四色定理の証明とかもそうだったと思う)
書泉_MATH@rikoushonotana
『ゼロから始めるLean言語入門』井上亜星 3520円（ラムダノート） 動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発するための基礎を身に付けます。 数学の形式化に興味がある数学者はもちろん、数学に挑戦したいプログラマーや、計算機科学の抽象概念を手触りで確かめたいエンジニアにも最適な一冊。 書泉オンラインショップ⇩ x.gd/09kBY
日本語
みんな、Pythonってスクリプト言語としてはとても優秀だけどプログラミング言語としてはちょっとーという認識？
Python以外の色んな言語で書かれた資産を利用するための、ユニバーサル言語としての枠組みが強い。Python書いてると、プログラミングしているというより何をするのかを設定している感覚。
日本語
初めてドメインを買った時を思い出すな〜
たこ|Shota Tomiyama@takos_jp
親の許可なしでサーバー買って 欲望のままにマイクラサーバーやって ホームページ作るためにhtmlコピペ したのが始まりなんて言えない
日本語
Sonneko@本気コンパイラ開発 retweetledi
Every website you’ve ever used is broken in a way you never noticed and it’s been this way for 30 years...
A Midjourney engineer finally just fixed it.
It’s called Pretext:
A tiny library that lets websites lay out text the way magazines and newspapers do, with text flowing around images, wrapping into columns, and fitting perfectly into any shape, all at 120fps.
This has been basically impossible on the web for 30 years. Every website you’ve ever used relies on the same clunky system from the 90s to figure out where text goes on screen. Pretext bypasses it entirely. 500x faster.
The demos look like they shouldn’t be possible in a browser. Go look.
Cheng Lou@_chenglou
My dear front-end developers (and anyone who’s interested in the future of interfaces): I have crawled through depths of hell to bring you, for the foreseeable years, one of the more important foundational pieces of UI engineering (if not in implementation then certainly at least in concept): Fast, accurate and comprehensive userland text measurement algorithm in pure TypeScript, usable for laying out entire web pages without CSS, bypassing DOM measurements and reflow
English
