"I See What You Mean" by Peter Alvaro

What Hacker News said

Strong rec roller · 2016-10 · on “Eve: Programming designed for humans”

For an introduction to Dedalus with less reading, Peter Alvaro's 2015 Strange Loop talk was fantastic. [this video] --- Edit: Actually Chris Granger gave an Eve talk at the same conference. It's interesting to see how Eve has evolved since. [LINK]

Strong rec alexmingoia · 2019-03 · on “Ask HN: Datalog as the only language for web programming, logic and database”

Not anything I’d want to use. The closest is prolog. But at a higher level this is what Eve attempted to do. Eve was built using the semantics of Dedalus which is built from datalog. I highly recommend watching Peter Alvaro’s Strangeloop talk about creating Dedalus - it’s exactly the same train of thought you’re onto. [this video]

Recommends jitl · 2016-01 · on “BOOM: Berkeley Orders of Magnitude – Declarative Languages And Systems”

This Strangeloop talk by Peter Alvaro is a good introduction to the thinking behind some of these systems: [this video]

Recommends svieira · 2018-04 · on “Ask HN: What is your favourite tech talk?”

Also: I see what you mean: [this video] and Applying Failure Testing Research @Netflix: [LINK] both by Peter Alvaro (second also includes Kolton Andrus) are thought-provoking looks at failure modeling in distributed systems.

Recommends iamwil · 2018-12 · on “Please do not attempt to simplify this code”

Your language example, and the burger example seems flipped. I assume you prefer artisan burgers, which means you like no language restrictions. Badly chosen restrictions are not good, we can all agree. But what do good restrictions look like? Back in the day, programmers prided themselves on being able to do their own memory management, and bristled at the idea of a compiler or the runtime doing it for them. Now, that's the exception, as most of the time, we don't think about memory management in most languages we program in. As time marches on, we'll find more of these restrictions that we all eventually agree are good practices, and the next generation of programmers will take it as a giv

Recommends ComNik · 2019-03 · on “Introduction to Datalog”

If model-theoretic semantics and the various ways to slice, dice, and extend Datalog are interesting to you, then almost any talk by Peter Alvaro might be as well. In particular: [this video]

Cites norswap · 2016-05 · on “Ask HN: What do you want to learn in 2016?”

I'd be more interested by pointers for Javascript front-end principles, because I feel like I'm lacking some background to understand much of what I'm encountering, whereas there's quite a bit about machine learning (which I haven't checked, still I have good hope it covers the fundamentals). Deduction systems: see [this video] for instance.

Cites vii · 2017-01 · on “RethinkDB Postmortem”

Slava (coffeemug) is very brave to introspect publicly and whenever I interacted with him, behaved with greatest integrity and kindness. Unfortunately, his hypothesis here that devtools are a tough market does not ring true. Making a business is always tough, making one that does something new is even tougher. There are many tools and database companies doing extraordinarily well, from Atlassian to Cloudera to Docker to Elastic. The difficulties that RethinkDB faced, as it pivoted from closed source MySQL DB backend, to open source independent database with a very cool update mechanism, were in my analysis much more mundane. Simply, RethinkDB was not easy. Here is a flavor of their thinking,