Koka [1] has “algebraic effect handlers” which are pretty cool. An alternative to monads for modeling effects in a sound way.<p>Lots of advances in theory of gradual typing. See with by Ben Greenman et al.<p>That’s just stuff from my neck of the woods. (PL) I would recommend reading stuff from POPL or ICFP or OOPSLA.<p>[1]: <a href="https://koka-lang.github.io/koka/doc/index.html" rel="nofollow">https://koka-lang.github.io/koka/doc/index.html</a>
I'm not really up to date, but a couple recent papers that I found interesting were:<p>In theoretical distributed computing, <i>The Space Complexity of Concencus From Swap</i> [0] solves a problem that has been open for a couple decades, and won Best Paper at PODC 2022.<p>In quantum complexity theory, <i>MIP^* = RE</i> [1] was really big deal when it was published in 2020. It got a (relative) ton of press coverage, and there are lots of articles and blog post available that give a high-level of the result and techniques used. I like this one [2] from Quanta Magazine.<p>[0] <a href="https://dl.acm.org/doi/abs/10.1145/3519270.3538420" rel="nofollow">https://dl.acm.org/doi/abs/10.1145/3519270.3538420</a><p>[1] <a href="https://arxiv.org/abs/2001.04383" rel="nofollow">https://arxiv.org/abs/2001.04383</a><p>[2] <a href="https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/" rel="nofollow">https://www.quantamagazine.org/landmark-computer-science-pro...</a>
Maximum Flow and Minimum-Cost Flow in Almost-Linear Time<p><a href="https://news.ycombinator.com/item?id=31675015" rel="nofollow">https://news.ycombinator.com/item?id=31675015</a><p><a href="https://arxiv.org/abs/2203.00671" rel="nofollow">https://arxiv.org/abs/2203.00671</a>
Best to look at recent papers at arxiv <a href="https://arxiv.org/list/cs/recent" rel="nofollow">https://arxiv.org/list/cs/recent</a>
You can have a look at Baez's work<p><a href="https://www.azimuthproject.org/azimuth/show/HomePage" rel="nofollow">https://www.azimuthproject.org/azimuth/show/HomePage</a>
<a href="https://johncarlosbaez.wordpress.com/" rel="nofollow">https://johncarlosbaez.wordpress.com/</a><p>computational category theory. Lots of cool stuff there.