cognitive psychology. PhD 
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 …
Show this thread
@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 …
Show this thread -
They specifically cited:
@derKha &@leodemoura, "Counting Immutable Beans" Reinking &@xnningxie et al., "Perceus: Garbage Free Reference Counting with Reuse"Show this thread -
-
@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
Show this thread -
Reminds me a bit of a blockchain, but friendlier. A shared ledger amongst the participants, but assuming good faith so anyone can modify anything.
Show this thread
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.