Reposted by Michael Ficarra
Today I presented to the Wasm CG a proposal for fine-grained dynamic code generation as a core WebAssembly feature. The proposal is now at phase 1!
github.com/WebAssembly/...
Also immortalized in song: suno.com/song/19e0679...
github.com/WebAssembly/...
Also immortalized in song: suno.com/song/19e0679...
GitHub - WebAssembly/jit-interface: WebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal.
WebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal. - WebAssembly/jit-interface
github.com
October 29, 2025 at 9:49 PM
Today I presented to the Wasm CG a proposal for fine-grained dynamic code generation as a core WebAssembly feature. The proposal is now at phase 1!
github.com/WebAssembly/...
Also immortalized in song: suno.com/song/19e0679...
github.com/WebAssembly/...
Also immortalized in song: suno.com/song/19e0679...
Reposted by Michael Ficarra
One thing I cannot emphasize enough in these benighted times is that NO ONE who is not a US Citizen should be crossing the US Border in either direction unless they have no other choice.
It's immensely unsafe.
It's immensely unsafe.
He left for Korea to attend his cousin's wedding, returning via SFO where ICE detained him.
In 10 days, he was permitted one phone call to his mother. The CBP officer told her that Will has no constitutional rights.
I will REPEAT that he is a legal permanent resident in good standing.
In 10 days, he was permitted one phone call to his mother. The CBP officer told her that Will has no constitutional rights.
I will REPEAT that he is a legal permanent resident in good standing.
July 31, 2025 at 11:58 AM
One thing I cannot emphasize enough in these benighted times is that NO ONE who is not a US Citizen should be crossing the US Border in either direction unless they have no other choice.
It's immensely unsafe.
It's immensely unsafe.
Reposted by Michael Ficarra
went through the entire Natural Number Game today! (well, except for the Fermat level 😛)
it’s very well-made, definitely one of the best learning/onboarding experiences i remember
adam.math.hhu.de#/g/leanprove...
it’s very well-made, definitely one of the best learning/onboarding experiences i remember
adam.math.hhu.de#/g/leanprove...
Lean Game Server
You need to enable JavaScript to use the Lean Game Server, as it is built using React.
adam.math.hhu.de
February 1, 2025 at 7:31 PM
went through the entire Natural Number Game today! (well, except for the Fermat level 😛)
it’s very well-made, definitely one of the best learning/onboarding experiences i remember
adam.math.hhu.de#/g/leanprove...
it’s very well-made, definitely one of the best learning/onboarding experiences i remember
adam.math.hhu.de#/g/leanprove...