This is probably old enough that it doesn’t ring a lot of bells for people, so here: blog.cryptographyengineering.com/2017/12/19/the…

🌴 New post: The only question you need to ask about education technology. This is the first thing I do whenever I see any new edtech. danmeyer.substack.com/p/the-only-que…

Hugging Face One might reply: "But it wasn't that hard to build with today's technology. Someone else could do it." To this, please see #ethicsbingo square #1: cc @KarnFort1 >>

TODAY'S CHAAARTSSSSS

Bumford & Charlow: Dynamic semantics with static types ift.tt/9oelaW0 #dynamicsemantics #typetheory #continuations

What are the limits of the modernist and post-moderninst predicaments in understanding code? ron eglash takes us on a journey that connects code to language, music, and cybernetics. youtu.be/tfNqOxgNRTU

he's trying to do an ethnography

rein state

I guess all the pure functional programmers have left this site

Minimize total loss across all future neural networks. Stop deep learning.

And that's how America became the land of the spiciest foods THE END

Donald Trump asking the SCOTUS to invalidate an election, suspend the Constitution & just declare him president is wild AF That would essentially mean the Jan 6 insurrection was successful. There’s no way anyone who knows REAL HISTORY thinks that could happen… Again. A thread

#Queerdle 337 5/6 🥥🍌🍌🥥🥥 🥥🥥🍌🍌🥥 🥥🍌🥥🍌🍌 🥥🍌🥥🐍🍌 🐍🐍🐍🐍🐍

A scrolling comparison of many similar homework submissions: multi-screen video installation

Accepted at OOPSLA 2023: "Exact Recursive Probabilistic Programming" with Chung-chieh Shan 單中杰 and Colin McDonald. Preprint arxiv.org/abs/2210.01206 Code github.com/diprism/perpl

Impressive results from PERPL, a new probabilistic programming language with exact inference! Reminiscent of work by Daphne Koller & students in 1990s, but goes much further to handle recursion using (de|re)functionalization, sort of a generalization of #nlproc grammar transforms

兩位學生 兩位學生 做得快 做得快 一位不寫測試 一位不用紙張 真奇怪 真奇怪