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.

31.07.2025 11:58 — 👍 983    🔁 287    💬 27    📌 11

GitHub - tc39/proposal-concurrency-control: interfaces and data structures for concurrency control and integration into async iterator helpers interfaces and data structures for concurrency control and integration into async iterator helpers - tc39/proposal-concurrency-control

in the future, this may just be `new CountingGovernor(1)` github.com/tc39/proposa...

30.07.2025 13:28 — 👍 0    🔁 0    💬 0    📌 0

feat(es/ast): Support import phase (#8279) · swc-project/swc@72048ae **Description:** - https://github.com/tc39/proposal-source-phase-imports

I think the declaration form you've shown here has been available since January 2024. See github.com/swc-project/.... The thing that just shipped is the dynamic form: import.defer(...).

17.07.2025 11:04 — 👍 3    🔁 0    💬 0    📌 0

a man in a suit and tie is saying he a little confused but he got the spirit . Alt: a man in a suit and tie is saying he a little confused but he got the spirit

09.03.2025 10:42 — 👍 0    🔁 0    💬 0    📌 0

the last one is when I finally get all my Rust type errors worked out and the borrow checker kicks in with a million new errors

13.02.2025 15:21 — 👍 1    🔁 0    💬 0    📌 0

Lean Game Server You need to enable JavaScript to use the Lean Game Server, as it is built using React.

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...

01.02.2025 19:31 — 👍 169    🔁 15    💬 7    📌 1

a.co/d/hyZOVg1

25.01.2025 16:23 — 👍 0    🔁 0    💬 1    📌 0

a hinge popper

just stick one of these in the drawer and you'll never be stuck

25.01.2025 16:20 — 👍 0    🔁 0    💬 1    📌 0

you're still on covid? I'm already on bird flu my dude

21.12.2024 22:38 — 👍 1    🔁 0    💬 1    📌 0

a man wearing a nike shirt is talking to another man in a blue hat ALT: a man wearing a nike shirt is talking to another man in a blue hat

14.12.2024 15:25 — 👍 2    🔁 0    💬 0    📌 0