Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I'm at Strange Loop! Talk is tomorrow, ping me if you want to say hi. I'll live tweet some highlights below.https://twitter.com/strangeloop_stl/status/1429836015724728320 …
@deech talked about Nim. Most compelling example was using static introspection to diff two types and generate migrations.
Also interesting that compile-time code is an increasingly common language feature. See comptime in Zig, or of course constexpr in C++/Rust.
Roc lang was pretty neat! Really taking advantage of recent compilers research (like, PLDI 2021) to accelerate functional languages.https://twitter.com/hillelogram/status/1444017259391946778 …
They specifically cited:
@derKha & @leodemoura, "Counting Immutable Beans"
Reinking & @xnningxie et al., "Perceus: Garbage Free Reference Counting with Reuse"
@MatthewWeidner3 presenting a library for CRDTs. I love the concept of group-chat-level-apps. Eg here a recipe book shared only amongst the chat participants, and collaborated on via the Matrix protocol.pic.twitter.com/lvPaFR5uLF
Reminds me a bit of a blockchain, but friendlier. A shared ledger amongst the participants, but assuming good faith so anyone can modify anything.
Looking forward to your talk tomorrow! Also Flowistry seems really cool, would to learn about how it works if you feel like giving an impromptu demo over coffee while we're at @strangeloop_stl!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
