The Nothing Phone 3 is a fun, flawed, but overall worthy semi-flagship
(androidauthority.com)
8131.
8132.
When you're asking AI chatbots for answers, they're data-mining you
(news.ycombinator.com)
8133.
MCP tools with dependent types
(news.ycombinator.com)
8134.
MCP Tools and Dependent Types
(news.ycombinator.com)
8135.
8136.
Ars Technica System Guide: Four sample PC builds, from $500 to $5,000
(arstechnica.com)
8137.
Modifying other people's software
(news.ycombinator.com)
8138.
Mangle – a language for deductive database programming
(news.ycombinator.com)
8139.
A gigantic jet caught on camera: A spritacular moment for NASA astronaut
(news.ycombinator.com)
8140.
Show HN: NextDNS Adds "Bypass Age Verification"
(news.ycombinator.com)
8141.
8142.
This open-source fasting app actually helped me hit my fitness goals
(androidauthority.com)
8143.
Google is adding "Projects" feature to Gemini to run research tasks
(bleepingcomputer.com)
8144.
Sharp Hubble Images Confirm 3I/Atlas as Comet
(news.ycombinator.com)
8145.
LLMs tell bad jokes because they avoid surprises
(news.ycombinator.com)
8146.
Eliminating JavaScript cold starts on AWS Lambda
(news.ycombinator.com)
8147.
Who does your assistant serve?
(news.ycombinator.com)
8148.
8149.
Leak: ChatGPT cheaper plan costs $4 or £3.50, might release everywhere
(bleepingcomputer.com)
8150.
Show HN: unsafehttp – tiny web server from scratch in C, running on an orange pi
(news.ycombinator.com)
8151.
Tversky Neural Networks
(news.ycombinator.com)
8152.
Can Google do AI notifications better than Apple? | Authority Insights Podcast #002
(androidauthority.com)
8153.
Solving the Nostr web clients attack vector
(news.ycombinator.com)
8154.
Ashby (YC W19) Is Hiring Design Engineers in AMER and EMEA
(news.ycombinator.com)
8155.
Traps to Developers
(news.ycombinator.com)
8156.
8157.
8158.
DJI Osmo 360 Review: A Strong Start
(wired.com)
8159.
8160.
Sale: These Yaber projectors are at record-low prices!
(androidauthority.com)