44761.
44762.
44763.
44764.
44765.
Formally verifying a floating-point division routine with Gappa – part 1
(news.ycombinator.com)
44766.
Removing yellow stains from fabric with blue light
(news.ycombinator.com)
44767.
The HackberryPi CM5 handheld computer
(news.ycombinator.com)
44768.
44769.
XNEdit – fast and classic X11 text editor
(news.ycombinator.com)
44770.
Deliberate Abstraction
(news.ycombinator.com)
44771.
Seoul says US must fix its visa system if it wants Korea's investments
(news.ycombinator.com)
44772.
“No Tax on Tips” Includes Digital Creators, Too
(news.ycombinator.com)
44773.
44774.
Perplexity reportedly raised $200M at $20B valuation
(techcrunch.com)
44776.
Picat: A Logic-based Multi-paradigm Language (2014) [pdf]
(news.ycombinator.com)
44777.
44778.
44779.
Anker deals: These essentials will keep all your desk devices charged and connected
(androidauthority.com)
44780.
HBO Max is going to get a lot more expensive, CEO promises
(engadget.com)
44781.
Picat: A Logic-based Multi-paradigm Language(2014) [pdf]
(news.ycombinator.com)
44782.
Fraudulent Publishing in the Mathematical Sciences
(news.ycombinator.com)
44783.
KDE launches its own distribution
(news.ycombinator.com)
44784.
44785.
Forget subtitles: YouTube opens the floodgates on auto-dubbing videos into your own language
(androidauthority.com)
44786.
44787.
44788.
Show HN: HumanAlarm – Real people knock on your door to wake you up
(news.ycombinator.com)
44789.
Minerals represent potential biosignatures in the search for life on Mars
(news.ycombinator.com)
44790.
Longhorn – A Kubernetes-Native Filesystem
(news.ycombinator.com)
Today's top topics:
apple
google
anthropic
nvidia
cnet
amazon
android authority
ai agents
openai
gael cooper