what is or would be a good, immediately grokkable demo for an implementation of incremental computation?

one where you could actually see/feel the impact; where 're-execute from scratch' is too slow

(build systems, IVM, Salsa, spreadsheets; anything like that counts)

[New Blog Post] EGRAPHS 2024 submission: E-graphs and Automated Reasoning philipzucker.com/egraph2024_tal… #egraph #pldi

Really excited to co-chair SaTML Conference 2025 with Konrad Rieck 🌈

We are really committed to keep growing this community. Please send email to me or Konrad if you have suggestions.

You want to train a linear model and ensure the data remains private. Differentially, Private linear/logistic regression has many algorithms. But too many papers are just out to 'have a math' and don't really empirically validate anything. What should you do? Ask Amol Khanna !

How much has everyone's favorite open source query optimizer, PostgreSQL, improved over the last 10 years? Turns out, quite a lot!

Blog post: rmarcus.info/blog/2024/04/1…

Today, I'm leaning in ... to academic self-promotion.

Grateful to be named a Guggenheim Fellow #guggfellows2024 . Now I have all the more reason to pursue my wacky ideas for transforming secondary electron microscopy.

Thanks Boston University BU Engineering BU Dept. of Electrical & Computer Engineering BU Center for Information & Systems Engineering

Kristopher Micinski Now that’s a topic I could really delve into

my email this morning has had some really interesting contents....

Our paper 'VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time' with H. Awad, A. Alidra, T. Ledoux, E. Leclerq & J. Rivalan, won a Best Paper Award at #ACM #SAC_2024 !
Preprint hal.science/hal-04332046
IMT Atlantique @LaboLS2N Centre Inria de l'Université de Rennes Alter Way

find some excuse to try lean4 finally，write a lot of dt but haven't use dt lang for aong time

Personally, I’m waiting for the NeurIPS middle school track.

Who is hiring in PL/FM areas in the industry (remote)?

Someone who has worked ~5 years in industrial formal verification, ~10 years teaching OCaml and other subjects in an R1 university, PL PhD, is looking for new opportunities. They are based in the US.

Kristopher Micinski Suzanne Rivoire George Porter This was changed generally at Harvard, not I think specifically for CS. This article covers some of the history: thecrimson.com/article/2013/4…

Enrique Mejías privv difference between a junior and a senior these days is that senior engineer can operate search engines while junior can ChatGPT only

I think Conor McBride's papers are what got most of us into computing. The passion and humanity in that work is off the charts...

Join the EGRAPHS Community Meeting next week to learn about an EqSat-based tensor compiler:

Amir Shaikhha will be presenting '∇SD: Differentiable Programming for Sparse Tensors' on Thu 4/18, 9am PT!

egraphs.org/meeting/2024-0…

PS: EGRAPHS workshop deadline *this* Friday 4/12 AoE!

got to be careful to ensure none of my proposals use the word 'delve' apparently.