A *lot* or work has gone into this, I’m so excited to see it launching! 🚀
Here's the CSS chapter that I led, co-authored, and co-analyzed this year: https://t.co/VA3a4jFZUJ
It's a long read (about 76 pages if printed!), but hopefully you will find it insightful.
If you touch two CLEAN blocks of the same metal together in space, they weld!
Atoms in solid metals move a bit. Touch two clean surfaces together, and the atoms can't tell they're in different blocks so they become one group of atoms, ie ONE SOLID.
(Gif: https://t.co/8YZxHWYoZP)
*cracks knuckles*
Math major, ex-webdev, now a formal methods consultant. Here's some ways I've used math in my jobs:
Algebra: "This function is associative, so instead of applying it N times we can just compose it with itself N times and call it once."
Nila, this is a magnificent and terrifying picture of the monster! I love the eyes and the scaly tail and the fact that it looks unlike any creature I’ve seen before! 👏 #TheIckabog
Hello @jk_rowling, my name is Nila, I'm 8 years old. I've drawn a picture of the Ickabog. Please tell me if you like it. XOXO Nila. #TheIckabog
P.S: I like your book very much.
When I was very young and discovered 'Germaniyin senthaen malarae' (Ullaasa Paravaigal, 1980) for the first time, possibly in the mid-80s/early 90s (I don't remember exactly), I recall loving the pallavi, for its simple, children's rhyme-like quality. Over the years, I have 1/5
@Arulselvan_Says @BartoszMilewski It's here! I am thrilled to present the OCaml edition of Category Theory for Programmers!
HUGE thanks to @Arulselvan_Says for contributing the snippets, @marcelloseri, @akochkov for reviewing, and, of course, @BartoszMilewski for writing the book!
https://t.co/L2uidjwewf
Natural History in Temple Building Stones.
Thread- Sedimentary depositional environments of Neoproterozoic age (900-800 million yr old) building stones of Aihole, Pattadakal and Badami temples, rock cut caves and sculptures.
#Karnataka
We'd given ourselves a week to raise money for our newest #FreeLibrary...and we're 3/4ths of the way there!
We are *so* close, so donate NOW: https://t.co/PBPx5uyQRM
When we meet our goal it will ensure that one more oasis of #ReadingIsThinking comes up in a brand new locality.
In 2018 the blockchain/decentralization story fell apart. For example, a study of 43 use cases found a 0% success rate. https://t.co/FTEKKCPAy8
Let's talk about some mistaken assumptions about decentralization that led to the blockchain hype, and what we can learn from them.
Much of what’s being sold as "AI" today is snake oil. It does not and cannot work. In a talk at MIT yesterday, I described why this happening, how we can recognize flawed AI claims, and push back. Here are my annotated slides: https://t.co/iCpyFw5urN
This flip book has been made by paper engineer and artist Matt Shlian, who also makes paper sculptures and videos of his intricate flip books and small paper installations [site: https://t.co/XUQNU2qjPx]
Good primer on soundness vs. completeness in type systems like Flow and TypeScript and their comparison to Python's MyPy and Ruby's Sorbet
https://t.co/RvYBvKL9Au
Explains why Flow sacrifices convenience while TS sacrifices soundness.
Now that I scheduled a bunch of interviews and am making it a Real Thing, I wanna hype y'all on my new project:
What makes software engineering different from 'traditional' kinds of engineering?
Short request: pause and think about that for a few seconds before reading on.
In this video, DevTools designer @violasong gives an overview of all 7 of our new CSS tools, plus stories from the design process and a sneak peek at future ideas! https://t.co/k0lOcvF6ib
Magic, coming soon to WebAssembly…
The same .wasm file running and using high-level types in:
✨ pure WebAssembly
✨ Python
✨ Rust
✨ Node
✨ The web
with no glue code required? 🤯
See how it works ↓
https://t.co/EHxPElDCr8