@stereotype32 I borrowed the machines from a local workshop. The total cost is ~200 USD I'll say. The most expensive part is the buttons and switches, they cost me 100$ and 1/3 is the shipment fee (from Korea)
#Java#openjdk https://t.co/jvRZtgmNTS has been updated with partial GADT support!!
Exhaustiveness checking of switch blocks is now more precise with sealed hierarchies where the permitted direct subclass only extends an instantiation of the (generic) sealed superclass.
Interesting CTF task. I didn't recognize the form and spent a whole day trying to construct the "∀ p, ¬ (¬ p) ⇒ p" in constructive logic (which should be impossible, according to my limited knowledge...)
https://t.co/qPW0QovYe8
I'm very happy with how today's stream on atomics and memory ordering in @rustlang turned out. Hopefully this'll help clear up the confusion and mystery that surrounds the std::sync::atomic module, and allow more people to write good concurrent code! 🧮
https://t.co/t12ZR4gj21
quiver (https://t.co/90Jksq1LWh) is a new commutative diagram editor for the web. I've written a short blog post describing the motivation behind it, as well as some of its most useful features.
https://t.co/RbrxC4FEpW