Looks similar
Related stories
Artificial intelligence is losing hype(economist.com)
453 points by bx376 | 663 comments
An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.
AWS us-east-1 down
567 points by rurp | 256 comments
Hacker News discussion thread reporting an AWS us-east-1 outage with increased error rates affecting Lambda and IAM-dependent services.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
Tesla takes on $30B in credit as it approaches unprofitability(electrek.co)
80 points by ciconia | 93 comments
Electrek article reporting that Tesla is taking on $30 billion in credit as the company nears unprofitability.
Shreddit is a Python program to remove all your Reddit comments(github.com)
335 points by wgx | 207 comments
GitHub repository for Shreddit, a Python tool using PRAW to delete your Reddit comment history, since deleting an account does not remove comments.
Airlines will make $118B in extra fees(fastcompany.com)
363 points by thunderbong | 283 comments
Fast Company article reporting airlines will earn a record $118 billion in extra fees in 2023 and explaining how their websites use design to pressure fliers into paying.












