A spokesperson for the University told WESA Friday that the school has "temporarily paused additional Ph.D. offers of admission," while Pitt works to understand how proposed federal funding cuts could play out.

Most employees will receive about 10% less equity options this year

Using PeerDB open source to reliably replicate data from PostgreSQL to ClickHouse.

SVDQuant supports NVFP4 on NVIDIA Blackwell GPUs with 3× speedup over BF16 and better image quality than INT4. Try our interactive demo below or at https://svdquant.mit.edu/! Our code is all available at https://github.com/mit-han-lab/nunchaku.

Using data to prevent gun violence at schools.

Notes on using the Z3 constraint solver with the Clang Static Analyzer

Exploring how to fix optimistic concurrency failures and bugs in Lucene using Fray. We'll be making concurrency debugging less painful by using open-source tools.

Stratospheric IQs are like leprechauns, unicorns, or mermaids

Power testing a consumer continuous glucose monitor

This surely won't make me seem like a crank.
Further watching:

@HGModernism on addiction to scrolling and the Skinner box mechanism:
https://www.youtube.com/watch?v=bNOol5OTasw
@acollierastro on the AI hype cycle and how professionals understand there's…

A comprehensive list of things that grind the gears of most software engineer, especially the seniors

A Tetris implementation in PostScript. Contribute to nst/PSTris development by creating an account on GitHub.

Chinese car and battery manufacturer BYD apparently already produced its first solid-state cells last year. The source for this is not an anonymous informant,

A quick look at the physics of conductors, insulators, and electric charges.

The first of a series of envisioned blog posts on lambda calculus, and Lisp. It’s unclear exactly where to start: there is a whole heap of interesting issues, both theoretical and in terms of concrete implementations, which tangle and interconnect.
A particular…