科技回声

Calling Raft an advance in CS is a stretch. It is an alternate and equivalent reimplementation of Paxos by those who didn't understand Paxos. They did succeed in making a protocol which people have more confidence that they understand--but it still has weird edge cases, so it's a bit dangerous to give people that false confidence.

I’d add practical zero knowledge proof systems to the list.

Local-first web apps are (hopefully) the next frontier for web apps.One of the technologies that enable this are CRDT's (Conflict-free data types) which apparently was "formally defined in 2011" according to Wikipedia.Perhaps somebody else could chime in and point out to some popular products using CRDT's that I may not know of.

Worst Case Optimal Join Algorithms.Tecnically they started in 2008 with the AGM bound, but most meaningfull algorithms have been developed after 2012.

Surprised to see no mention of LLMs, although that's far more recent than 2010.

+1 for metatracing interpreter-jits.

> Recent advances in computer science since 2010?Finding creative ways to exfiltrate and sell user data. And this in the name of "security" and "think about the children".

I’d add practical zero knowledge proof systems to the list.

Worst Case Optimal Join Algorithms.Tecnically they started in 2008 with the AGM bound, but most meaningfull algorithms have been developed after 2012.

Surprised to see no mention of LLMs, although that's far more recent than 2010.

+1 for metatracing interpreter-jits.

> Recent advances in computer science since 2010?Finding creative ways to exfiltrate and sell user data. And this in the name of "security" and "think about the children".

Recent advances in computer science since 2010?

8 条评论

Recent advances in computer science since 2010?

8 条评论