24421.
24422.
Super-resolution of Sentinel-2 images (10M –> 5M)
(news.ycombinator.com)
24423.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
24424.
Lina Khan points to Figma IPO as vindication of M&A scrutiny
(news.ycombinator.com)
24425.
Mezzano, an operating system written in Common Lisp
(news.ycombinator.com)
24426.
A dive into open chat protocols
(news.ycombinator.com)
24427.
The Big Oops in type systems: This problem extends to FP as well
(news.ycombinator.com)
24429.
24430.
Lina Khan points to Figma IPO as vindication of M&A scrutiny
(techcrunch.com)
24431.
24432.
24433.
These are 5 of my favorite gallery apps, but one stands out from the rest
(androidauthority.com)
24434.
6 ridiculous promises we were sold about 5G
(androidauthority.com)
24435.
Apple @ Work: Why MDM isn’t enough to succeed with Macs
(9to5mac.com)
24436.
24437.
The Art of Multiprocessor Programming 2nd Edition Book Club
(news.ycombinator.com)
24438.
24439.
This is my favorite Android launcher, and it’s not the one you think
(androidauthority.com)
24440.
24441.
24442.
24443.
The tradeoff between human and AI context
(news.ycombinator.com)
24444.
Native Sparse Attention
(news.ycombinator.com)
24445.
Kleiner Perkins is having a very good week
(techcrunch.com)
24446.
24447.
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
(news.ycombinator.com)
24448.
Amazon eyes ads and upcharges for Alexa Plus
(theverge.com)
24449.
24450.