My ZHAW Coffee Science and Education Summit talk was accepted! "How wine pedagogy can inform specialty coffee" will be a fun one to put together. A recording will be available soon after.

Safely landed in Zurich. Driving in Switzerland is a unique experience! Poke for coffee or other shenanigans.

RT @debasishg: Pat Morin's Open Data Structures is a very underrated book on the subject. It can be downloaded free (link: 👇) .. Here's a s…

Some of you might be interested in my unhinged coffee science escapades on Threads. We started a fun little lab and are working on some cool data and OSS projects. I'll eventually start cross posting on X, but for now:

RT @crypto_carsten: I just stumbled across this great summary of the state of privacy-preserving authentication, written by Daniel Slamanig…

RT @Jose_A_Alonso: Evaluating SAT and SMT solvers on large-scale sudoku puzzles. ~ Liam Davis, Tairan Ji. #SAT #SMT

RT @flixlang: Effect handlers in action:

RT @tangled_zans: Category theory had an enormous success in functional programming, but most categories are not cartesian closed. For ca…

I've now explained to a few folks that the Cybertruck explosion in LV is being investigated as intentional. People were so deep into their dunks on EVs or Elon Musk that they missed the memo. Many people who did get it are now touting awful conspiracies. I don't understand how people live in this muck day to day.

I'm in Zurich Feb 4-9 for the ZHAW Coffee Science and Education Summit. I'm hoping to meet up with new folks while I'm there! I'll be driving from Rapperswil if anyone needs a carpool.

RT @ttforall: @CoqLang releases a preview rebrand website towards the rename to Rocq

RT @dwillems42: Big announcement. I'm exhausted of seeing people asking for thousands of euros and dollars for courses about ZK and math. W…

A large constituent of new Rust developers come from JavaScript, Kotlin, Scala, Haskell, etc. Some are interested in systems development, but many of them are using Rust for specific performance or interop reasons within/around their existing ecosystems. C was the traditional language for this but it is highly specialized work because "safe C" requires developer specialization in practice. Rust, somewhat ironically, safely lowers the skill specificity needed in this context, especially with .clone() being within reach most of the time. I wouldn't have guessed this to be the case, but it's working out in practice! Rust is also gaining in ML and game dev, and other domains where higher level languages are the norm. It's likely the arrow will continue being in the reverse direction for many devs for the future of Rust. (I still agree, though, that learning systems development will be much easier through C, insofar as most of the learning resources target C and require the use of C API)

RT @sketchplanator: More parable: The Blind and the Elephant

RT @7etsuo: λ-2D: Drawing as Programming Language, Featuring Ideas from Lambda Calculus – MIT Media Lab

RT @tldraw: We just launched tldraw computer

RT @debasishg: An awesome presentation by matklad on system programming. He discusses .. - memory safety - temporal and spatial and how th…

RT @ReproBuilds: HUGE edition of our report this month. Check it out whilst stocks last! Don't miss out on this fantastic deal. 🔹 https://t…

RT @rv_inc: See this thread to learn how Kontrol proves a function correct in just over a minute and finds a valid counterexample for a twe…

RT @nurijanian: You left engineering because you were tired of: - PMs who don't understand system dependencies - "Product people" who can'…