Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by -ertgl
Formally verifying FP division with Gappa
3 points
todsacerdoti
2025-09-04T12:41:14Z
community.arm.com
1 points
theflock2025
2025-09-04T12:41:11Z
news.ycombinator.com
How to build vector tiles from scratch
112 points
ajd555
2025-09-04T12:40:47Z
www.debuisne.com
1 points
teamsellenta
2025-09-04T12:40:14Z
news.ycombinator.com
Your Browser Agent Is Thinking Too Hard
2 points
shardullavekar
2025-09-04T12:39:33Z
www.100x.bot
25 points
amarcheschi
2025-09-04T12:39:04Z
news.ycombinator.com
Ask HN: What Are Your Prompt Framework Design Principles?
1 points
mingtianzhang
2025-09-04T12:38:32Z
news.ycombinator.com
We Found the Hidden Cost of Data Centers. It's in Your Electric Bill [video]
156 points
xbmcuser
2025-09-04T12:33:41Z
www.youtube.com
Show HN: Arena – Publicly ranking startup founders based on effort and progress
1 points
Mat_Sherman
2025-09-04T12:32:46Z
arena.matsherman.com
A RedMonk Conversation: Tales from Agency Life
1 points
mooreds
2025-09-04T12:31:39Z
redmonk.com
Almost anything you give sustained attention to will begin to loop on itself
752 points
jger15
2025-09-04T12:29:49Z
www.henrikkarlsson.xyz
The Invisible Work of Motherhood: Recognizing the Mental Load This Labor Day
3 points
mooreds
2025-09-04T12:29:33Z
www.inpoweredtherapy.com
1 points
chibi00
2025-09-04T12:29:29Z
news.ycombinator.com
The company behind the Dia and Arc browsers is being acquired
64 points
thm
2025-09-04T12:29:29Z
www.theverge.com
Apple Plans AI-Powered Web Search Tool for Siri to Rival OpenAI, Perplexity
4 points
nycdatasci
2025-09-04T12:28:40Z
www.bloomberg.com
Simplify and accelerate logs and search with Aiven for OpenSearch
2 points
mooreds
2025-09-04T12:28:01Z
aiven.io
Openscan – open-source 3D scanner
5 points
klinch
2025-09-04T12:26:55Z
openscan.eu
Smartwatches offer little insight into stress levels, researchers find
3 points
PaulHoule
2025-09-04T12:24:58Z
www.theguardian.com
Microsoft and Oracle Laid Off and Bet on AI. New Research Says It Might Backfire
4 points
akyuu
2025-09-04T12:24:22Z
www.inc.com
1 points
tintin888
2025-09-04T12:22:35Z
news.ycombinator.com
179
180
181
182
183
184
185
186
187
188