This week we (me & Anton Kovsharov) published Paperproof, a Gentzen-tree-like proof interface for Lean 4. In this post I'll review proof visualisations from ot...

the paradox that there are countable models of theories that assert the existence of uncountable sets

Learn some tips for WebGL developers who are migrating to WebGPU.

Everything, Everywhere, All On One Plot

11/10発売予定の入間人間新作『安達としまむら99.9』＆『安達としまむらSS』のカバーイラストが公開されました

The native `<textarea>` can now automatically increase its height.
Just one line of CSS: `form-sizing: normal`

Coming soon to Chrome Canary. Any suggestions or ideas? You can chat about it at CSSWG: https://github.com/w3c/csswg-drafts/issues/7542

目が合った...! 🐰✨🍁

cat go where he wanna go

In this work, we present the novel results of our research on Intel CPU microcode. Building upon prior research on Intel Goldmont CPUs, we have reverse-engineered the implementations of complex x86 instructions, leading to the discovery of hidden microcode…

🌈祝・放送5周年記念🌈
「#色づく世界の明日から」
YouTube全話無料配信決定！
✰⋆｡:ﾟ･*☽:ﾟ･⋆｡✰⋆｡:ﾟ･*☽:ﾟ･

2018年10月のTV放送開始から5周年…🪄

10月1日(日)より順次配信開始です📡
チャンネル登録をしてお待ちください🎨
https://t.co/GSAnf9UKFR

#iroduku

Interested in learning about programming language semantics? Check out this new paper, which has just been accepted for the Journal of Functional Programming: https://t.co/GbsQMnAyKZ

Van Eck phreaking... It ACTUALLY works?!?!

【QRT of Federico 'Larroca' La Rocca (@fedelarrocca):】
'Introducing deep-TEMPEST: a deep learning method that recovers great quality images from unintentional electroma…

💖 4053

Why did I do this?



Check out the GitHub page


Intro/Context
What are LDM and STM?
Notes on the pipeline
Where do we even start?


Register Map
Some building blocks
Numbers
Writing the Interpreter
Dispatch…