Forwarded from Hacker News (yahnc_bot)
Lean, Coq and other proof assistants: Visualising proofs as trees https://lakesare.brick.do/lean-coq-isabel-and-their-proof-trees-yjnd2O2RgxwV
lakesare.brick.do
Lean/Coq/Isabel and Their Proof Trees
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...
Forwarded from Frontend Today (Ayaya)
Chrome Developers - Blog
From WebGL to WebGPU
From WebGL to WebGPU
Chrome for Developers
From WebGL to WebGPU | Chrome for Developers
Learn some tips for WebGL developers who are migrating to WebGPU.
Forwarded from Lobste.rs
ARMfuck: Turing completeness from two RISC instructions
Comments
via calvin@users.lobste.rs (calvin)
Comments
via calvin@users.lobste.rs (calvin)
kellanclark.github.io
ARMfuck: Turing completeness from two RISC instructions
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…
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…