1081.
1082.
Why is it worth spending time on type theory? (2013)
(news.ycombinator.com)
1083.
Why is it worth spending time on type theory?
(news.ycombinator.com)
1084.
NautilusTrader: Open-source algorithmic trading platform
(news.ycombinator.com)
1085.
Android may soon get its own version of Apple’s Hot Corners on Macs
(androidauthority.com)
1086.
NautilusTrader: Open-Source, High-Performance Algorithmic Trading Platform
(news.ycombinator.com)
1087.
Here’s an early look at Gboard’s Material 3 Expressive refresh (APK teardown)
(androidauthority.com)
1088.
1089.
Customizing tmux
(news.ycombinator.com)
1090.
Customizing tmux and making it less dreadful
(news.ycombinator.com)
1092.
1093.
So you want to parse a PDF?
(news.ycombinator.com)
1094.
1096.
Lego’s August Releases Are Going Merry
(gizmodo.com)
1097.
Spotify listened and is finally letting you disable this controversial feature
(androidauthority.com)
1098.
1099.
1100.
1101.
1102.
1103.
1104.
Don’t worry, Samsung’s Android XR headset is still launching this year
(androidauthority.com)
1106.
1107.
1108.
Hierarchical Reasoning Model – 1k training samples SoTA reasoning v/s CoT
(news.ycombinator.com)
1109.
The most powerful gaming handheld chipset will soon ship in this ‘budget’ handheld
(androidauthority.com)
1110.
A major AI training data set contains millions of examples of personal data
(news.ycombinator.com)
Today's top topics:
shinyhunters
apple
openai
apple tv
canvas
instructure
sony
nintendo
microsoft
data breach