LAMBDA The ultimate Excel worksheet function

LAMBDA The ultimate Excel worksheet function Post by Andy Gordon and Simon Peyton Jones on LAMBDA giving Excel users the ability to define functions. Ever since it was released in the 1980s, Microsoft Excel has changed how people organize, analyze, and visualize their data, providing a basis for decision-making for the millions of people who use it

http://lambda-the-ultimate.org/node/5621 · January 27, 2021

Google Brains Jax and Flax

Google Brains Jax and Flax Google’s AI division, Google Brain, has two main products for deep learning: TensorFlow and Jax. While TensorFlow is best known, Jax can be thought of as a higher-level language for specifying deep learning algorithms while automatically eliding code that doesn’t need to run as part of the model. Jax evolved

http://lambda-the-ultimate.org/google-brain-jax · January 15, 2021

Decentralised content moderation

Decentralised content moderation Who is doing interesting work on decentralised content moderation? With Donald Trump suspended from Twitter and Facebook, and Parler kicked off AWS, there is renewed discussion about what sort of speech is acceptable online, and how it should be enforced. Let me say up front that I believe that

http://martin.kleppmann.com/2021/01/13/decentralised-content-moderation.html · January 13, 2021

What is the Right Response to Employer Misbehavior in Research

What is the Right Response to Employer Misbehavior in Research I enjoyed my conversations with Timnit when she was in the MSR-NYC lab, so her situation has been on my mind throughout NeurIPS. Piecing together what happened second-hand is always tricky, but Jeff Dean’s account and Timnit’s agree on a basic outline. Timnit and others wrote a paper for FAccT

https://hunch.net/?p=13762892 · December 14, 2020

Using Bloom filters to efficiently synchronise hash graphs

Using Bloom filters to efficiently synchronise hash graphs This blog post uses MathJax to render mathematics. You need JavaScript enabled for MathJax to work. In some recent research, Heidi and I needed to solve the following problem. Say you want to sync a hash graph, such as a Git repository, between two nodes. In Git, each commit

http://martin.kleppmann.com/2020/12/02/bloom-filter-hash-graph-sync.html · December 2, 2020

Experiments with the ICML 2020 Peer-Review Process

Experiments with the ICML 2020 Peer-Review Process This post is cross-listed on the CMU ML blog. The International Conference on Machine Learning (ICML) is a flagship machine learning conference that in 2020 received 4,990 submissions and managed a pool of 3,931 reviewers and area chairs. Given that the stakes in the review process are high — the careers

https://hunch.net/?p=13762807 · December 1, 2020

New courses on distributed systems and elliptic curve cryptography

New courses on distributed systems and elliptic curve cryptography I have just published new educational materials that might be of interest to computing people: a new 8-lecture course on distributed systems, and a tutorial on elliptic curve cryptography. Distributed Systems Since last year I have been delivering an 8-lecture undergraduate course on distributed systems at the University of

http://martin.kleppmann.com/2020/11/18/distributed-systems-and-elliptic-curves.html · November 18, 2020

The open source paradox

The open source paradox A new idea is insinuating in social networks and programming communities. It’s the proportionality between the money people give you for coding something, and the level of demand for quality they can claim to have about your work. As somebody said, the best code is written when you are supposed to

http://antirez.com/news/134 · October 3, 2020

Built to Last

Built to Last Mar Hicks. Built to Last. Logic. Issue 11, “Care”. It was this austerity-driven lack of investment in people—rather than the handy fiction, peddled by state governments, that programmers with obsolete skills retired—that removed COBOL programmers years before this recent crisis. The reality is that there are plenty of new COBOL

http://lambda-the-ultimate.org/node/5605 · September 21, 2020

Tackling the Awkward Squad for Reactive Programming

Tackling the Awkward Squad for Reactive Programming https://2020.ecoop.org/details/ecoop-2020-papers/19/Tackling-the-Awkward-Squad-for-Reactive-Programming-The-Actor-Reactor-Model Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter Reactive programming is a programming paradigm whereby programs are internally represented by a dependency graph, which is used to automatically (re)compute parts of a program whenever its input changes. In practice reactive programming can only be used

http://lambda-the-ultimate.org/node/5603 · September 15, 2020