LLMs are making formal software verification feasible at a much larger scale
Article URL: https://www.anthropic.com/research/formal-verification Comments URL: https://news.ycombinator.com/item?id=50202217 Points: 212 # Comments: 118
Article URL: https://www.anthropic.com/research/formal-verification Comments URL: https://news.ycombinator.com/item?id=50202217 Points: 212 # Comments: 118
Title is a bit of an exaggeration but the question is more: if the frontier models are so good, why even sell them as your primary money maker?Couldn't OpenAI or Anthropic make a lot more money by just starting companies themselves that leverage the models and building their own products?Is selling…
Websites were taken offline after the developers of programming language PHP said "critical vulnerabilities" had been discovered.
Article URL: https://www.techspot.com/news/114100-google-cleared-300-hectares-finnish-forest-data-center.html Comments URL: https://news.ycombinator.com/item?id=50196837 Points: 97 # Comments: 53
Article URL: https://www.404media.co/amanda-smith-opened-a-cashapp-in-her-name-she-faces-years-in-prison-cashapp-fraud/ Comments URL: https://news.ycombinator.com/item?id=50194833 Points: 592 # Comments: 591
Article URL: https://www.phoronix.com/news/LKML-New-Trend-Vulnerabilities Comments URL: https://news.ycombinator.com/item?id=50193804 Points: 203 # Comments: 62
AI uncovered long-hidden programming flaws, triggering a rare global cyber-security response.
Article URL: https://olivergrabner.com/research/pokemon/ Comments URL: https://news.ycombinator.com/item?id=50190334 Points: 21 # Comments: 11
Article URL: https://www.judgments.fedcourt.gov.au/judgments/Judgments/fca/single/2026/2026fca1552 Comments URL: https://news.ycombinator.com/item?id=50190168 Points: 125 # Comments: 83
Article URL: https://www.economist.com/finance-and-economics/2026/10/22/ai-compute-is-the-new-oil-and-needs-a-new-market Comments URL: https://news.ycombinator.com/item?id=50202671 Points: 36 # Comments: 29
The Meta boss had said he would exit the state over a wealth tax that has not yet come into force.
Treasury is revising all the numbers for the mid-year budget update as economists warn of a difficult six months aheadGet our new political email, free app or daily news podcastJim Chalmers has revealed December’s mid-year budget update will project weaker growth and higher unemployment, as economi…
| Winners | Losers |
|---|---|
| ASST $30.75 +13.64% | TLX $10.03 -10.13% |
| ALMR $31.45 +11.68% | WING $119.95 -7.95% |
| NTSK $21.81 +10.04% | DXCM $80.26 -6.39% |
| INOD $60.56 +10.02% | CLMT $52.59 -6.17% |
| SMCI $35.57 +9.55% | HSAI $13.19 -5.72% |
| Winners | Losers |
|---|---|
| SKYD $7.87 +10.85% | RCUS $19.10 -19.58% |
| SEI $69.37 +9.52% | LAD $269.13 -10.15% |
| CDLR $24.83 +9.43% | TAL $10.55 -8.89% |
| CRL $344.87 +9.33% | MHO $114.04 -8.08% |
| MANE $136.66 +7.51% | GPI $224.85 -7.48% |
Officials compare working in Russia since its full-scale invasion of Ukraine to the Cold War era.
Ukraine relies on Starlink for a range of military uses - its owner Elon Musk has repeatedly denied restricting access.
The Russian official who called commercial satellites "legitimate targets" now says concerns are "unfounded."
A Ukrainian man was arrested on suspicion of spying for Russia - one of several such cases in Germany this year.
Experts say Russia is trying to destroy energy infrastructure before winter and US ‘appeasement and flattery’ will not achieve peaceEurope live – latest updatesRussia has carried out a massive “demonstrative” attack on Ukraine, bombarding Kyiv with ballistic missiles just hours after Vladimir Putin…
The U.S. and Israel are planning for a possible post-elections attack on Iran, an anonymous source tells NPR. And, Elon Musk considers merging his companies SpaceX and Tesla.
Four members of the so-called Gang Suppression Force have been missing since Sunday.
Many view it as one of the most pivotal elections in Israel's history, with global implications.
Kim Yo-jong, sister of Kim Jong-un, issues warning after inspecting border fortifications against backdrop of rising tensionsPropaganda loudspeakers aimed at South Korea will be ready to restart within days along the entire border, Kim Yo-jong, the powerful sister of North Korean leader Kim Jong-un…
Prime Minister Mark Carney dismissed the claim, noting that it was the that US initiated trade actions against Canada.
The judge found the department's field operations to identify noncitizens who voted likely violated the Voting Rights Act, which bars voter intimidation.
Meta will appeal a ruling imposing the largest fine Mark Zuckerberg has ever seen.
[Filed 2026-08-21] The Securities and Exchange Commission ("Commission") is proposing new rules to create a tailored offering regime for certain investment contracts involving crypto assets. The proposed offering regime is intended to facilitate capital formation and accommodate innovation within the crypto asset mar…
John Lawrence Smart charged with being armed in a way that may cause fear but Perth lawyer expresses concern for mental healthGet our breaking news email, free app or daily news podcastA man accused of making threats while armed with “improvised nunchucks” at a Western Australian MP’s electorate of…
Former reality star and wellness influencer stands accused of choking and assaulting wife at Noosa in QueenslandGet our breaking news email, free app or daily news podcastFormer reality television star Sam Wood will go to the Queensland supreme court seeking release from custody, more than two week…
Skerritt was Captain Dallas in Alien, Viper in Top Gun, and a small town sheriff in the TV series Picket Fences.
Bukangi the shark became an unlikely sensation after it was spotted in a canal in Busan weeks ago.
The BBC's Madeline Halpert spoke to city tourists, residents and horse carriage workers about the industry and their opinion on the ban.
The departure comes amid turmoil in Kennedy's Make America Healthy Again movement.
Trump is suing the BBC over an episode of Panorama that edited together two different sections of a speech he gave in 2021.
President Trump's attempts to bring beef prices down has potentially backfired politically in several key states.
President Trump, seeking to reshape the voting map, prompted a rare wave of mid-decade redistricting that gave Republicans a boost for holding the House. But the voters will determine if it works.
At least four Trump merchandise stores have closed this year. Store owners say with Trump in his final term, there isn't as much to fire up his consumer fan base and sales have softened.
V Harish, who ran the hugely popular Instagram account "Finance with Harish", was found dead on Tuesday.
Ole Bielfeldt of Germany captured a microscopic view of an inkjet printer depositing ink onto paper.
Article URL: https://github.com/maxilevi/project-hedra/tree/pre-ai Comments URL: https://news.ycombinator.com/item?id=50199389 Points: 166 # Comments: 31
The decried trial was canceled last week before police seized vaccine doses.
Article URL: https://emudhra.com/en/press-release/emudhra-to-exit-global-ssl-tls-certificate-business Comments URL: https://news.ycombinator.com/item?id=50195110 Points: 497 # Comments: 389
Assessment finds global heating is endangering 96% of coral reefs across 80 countries – a figure scientists say should serve as a ‘wake-up call’Sign up for climate and environment editor Adam Morton’s free Clear Air newsletter hereAlmost every shallow-water coral reef on the planet, including Austr…
Article URL: https://www.maps.com/star-map-charts-stars-and-constellations-of-northern-hemisphere/ Comments URL: https://news.ycombinator.com/item?id=50202766 Points: 23 # Comments: 10
Article URL: https://jank-lang.org/ Comments URL: https://news.ycombinator.com/item?id=50202762 Points: 45 # Comments: 2
Article URL: https://codeandcake.dev/posts/2026-10-22-docker-is-weird Comments URL: https://news.ycombinator.com/item?id=50202681 Points: 253 # Comments: 130
The UN human rights chief Volker Türk says the multiple attacks may amount to war crimes.
Article URL: https://edjefferson.com/localwiki/ Comments URL: https://news.ycombinator.com/item?id=50202285 Points: 917 # Comments: 178
The beauty giant's CEO says the use of GLP-1s is "a very important phenomenon for us".
"Userland" exploit relies on integer overflow found in "SmileBasic" interpreter.
Markers released top-line results today after previously reporting the trial succeeded.
41-year-old set on ‘dream to be able to race in Africa’Rwanda to host despite criticism of human rights recordLewis Hamilton has said he hopes to remain racing in Formula One until he can take part in the African Grand Prix which is set to take place in Rwanda in the 2030s. The seven-time world cha…
"We need to keep our eyes on numerous required fuelings for the lander."
Article URL: https://www.lesswrong.com/posts/WHEQps5PK8LrrcTAb/how-does-fable-5-1-hide-messages-in-images Comments URL: https://news.ycombinator.com/item?id=50201445 Points: 173 # Comments: 55
Article URL: https://train.samismith.com/ Comments URL: https://news.ycombinator.com/item?id=50201414 Points: 71 # Comments: 22
Comcast plans job cuts and more AI agents for its shrinking cable customer base.
Flubbed key signing "ceremony" allowed minting of web credentials for any site.
We can't have nice things, but at least we can get trailers for them.
Article URL: https://developer.chrome.com/blog/html-in-canvas-origin-trial Comments URL: https://news.ycombinator.com/item?id=50200164 Points: 108 # Comments: 48
460 kW charging and 450 miles of range are among the reasons the EV is the one to get.
Searches for Samsung foldables just happened to skyrocket following iPhone Duo unveiling.
Article URL: https://arxiv.org/abs/2610.27251 Comments URL: https://news.ycombinator.com/item?id=50199230 Points: 126 # Comments: 74
Article URL: https://github.com/NVIDIA/OpenShell Comments URL: https://news.ycombinator.com/item?id=50198675 Points: 341 # Comments: 178
The influencer, whose real name is Braden Peters, is accused of sexually assaulting a 17-year-old girl in 2025.
The Brazilian president accuses the tech firm of favouring Flávio Bolsonaro, which it denies.
At 3pm BST / 4pm CEST Friday 23 Oct, Guardian Europe columnists Rokhaya Diallo and Alexander Hurst will be live taking questions from our readers about the riots and protests in France. Send your questions by email now to conversations@theguardian.com, or join the discussion on FridayAfter weeks of…
Her Republican opponent Vivek Ramaswamy is airing the ad featuring her mother, whose husband was charged with sexual abuse in her childhood.
Article URL: https://arc.net/ Comments URL: https://news.ycombinator.com/item?id=50197601 Points: 13 # Comments: 2
Article URL: https://thestatedtruth.com/?p=28732 Comments URL: https://news.ycombinator.com/item?id=50197533 Points: 27 # Comments: 29
The attack on the unidentified victim follows a wave of anti-migrants protests in South Africa this year.
Article URL: https://www.taler.net/en/news/2026-13.html Comments URL: https://news.ycombinator.com/item?id=50197404 Points: 9 # Comments: 0
Article URL: https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans Comments URL: https://news.ycombinator.com/item?id=50197313 Points: 299 # Comments: 348
Tile-based color palettes go way beyond the four shades of red on original hardware.
Raghad and Raad's family had to flee their home on foot because of the fighting between pro-government forces and the Houthis.
French president will decide on concrete ‘next steps’ regarding demonstrations called for Saturday and after, as part of tough response to recent riotingAngry lawyers and bewildered defendants: the fallout from fast-tracking French rioting casesEmmanuel Macron has said “illegitimate” demonstrations…
Article URL: https://github.com/oosexgang/hackios-xnu-kernel Comments URL: https://news.ycombinator.com/item?id=50196718 Points: 54 # Comments: 22
Hackers were already probing the bug before defenders were told it existed.
Some cities including Lyon and Nice have banned all protests, and the French president said only authorised demos would be allowed.
Videos from the Arizona capital show people sheltering inside a car as hail smashes the windscreen, while intense downpours covered neighbourhoods in ice.
Investigations under way to determine whether virus normally found in livestock contributed to man’s deathA man in France has become the first human known to have contracted Shamonda virus, with investigations under way to explore whether it contributed to his death.Shamonda virus is a type of buny…
It’s the last day of the electoral campaign in Serbia today ahead of this Sunday’s closely contested parliamentary electionAs we are waiting for Macron, first details of the planned police response to this weekend’s protests are emerging.Junior interior minister, Jean-Didier Berger, said that the p…
‘Scapegoating non-permanent residents is not going to lower the cost of living,’ Vanesa Ortiz saysWhen Vanesa Ortiz came to Calgary from Mexico, she found herself in a city gripped by winter. Outside the airport, it was -15C (5F).“I would come to understand that this was not an extreme cold,” she s…
Article URL: https://quad9.net/news/blog/au-revoir-france/ Comments URL: https://news.ycombinator.com/item?id=50195959 Points: 259 # Comments: 84
Article URL: https://www.cbc.ca/news/investigates/gambling-ads-restrictions-canada-9.7388888 Comments URL: https://news.ycombinator.com/item?id=50195873 Points: 59 # Comments: 14
"I will take my place as the conqueror, a sorcerer, a king."
The teacher said she could not help children because she was badly injured by the attacker.
Article URL: https://pwn.watch/ Comments URL: https://news.ycombinator.com/item?id=50195543 Points: 152 # Comments: 92
This animated map shows the insect’s population exploding in Australia’s eastern states, with the endangered species coming back from the brinkIf you live anywhere on the eastern side of Australia, you’ve probably noticed that bogong moths are back in a big way.While we don’t yet have figures from …
Hostility from constituents is not new for the state’s politicians, including its premiers. But the alleged attack on Helen Haines has sent a chill down the collective spineGet our new political email, free app or daily news podcastOn Monday night, Georgie Purcell shared a statement on social media…
The disease, which usually affects cattle, has been identified in a patient who died in early October.
The Iguazú Falls span more than a mile across both countries. A rain-soaked October, which scientists link to the Super El Niño, has sent near-record volumes of water surging over the towering cliffs.
It is the latest in a series of attacks by the Houthi movement targeting airports and other sites in the kingdom.
The congresswoman said federal agents seized over a dozen items, including cell phones and notebooks, as part of a federal investigation.
The Swiss government told the BBC that the freed national was on her way back to Switzerland.
Article URL: https://crystal-lang.org/2026/10/12/1.22.0-released/ Comments URL: https://news.ycombinator.com/item?id=50194938 Points: 113 # Comments: 55
General Motors' plans will require quite a lot of customers' trust.
Article URL: https://lastmuseum.com/ Comments URL: https://news.ycombinator.com/item?id=50194522 Points: 49 # Comments: 15
Jim O'Callaghan described the video as "inappropriate and demeaning to grandparents".
Article URL: https://aws.amazon.com/blogs/security/amazon-threat-intelligence-identifies-php2shell-exploitation-prior-to-public-disclosure-in-madpot/ Comments URL: https://news.ycombinator.com/item?id=50194070 Points: 193 # Comments: 54
For 3 days this month, 333 exit nodes were hacked in hopes of stealing sensitive data.
The deaths include two women found drowned in a cellar in the Bouches-du-Rhône region.
Best case is now an overshoot to 1.8º C, accompanied by massive carbon removal.
I posted here about the then-upcoming PHP RCEs related to CVE-2026-109618 & CVE-2026-109619. I appreciate this has had considerable knock-on effects with the schedule for co-ordinated disclosure, and created additional workload.I am truly sorry. I take full responsibility for my actions.It was not …
New South Wales Police say inquiries took place "following a report of inappropriate content being shared".
Article URL: https://globus.software/blog/2026/10/16/cutting-map-polygons/ Comments URL: https://news.ycombinator.com/item?id=50193170 Points: 146 # Comments: 32
Sitting at a desk all day hurts. And it isn't good for us. Strategies to make it a little more comfortable, from eye muscle exercises to alleviate eye strain to a back pain-fighting body movement.
What can you learn from dreams and how can you remember them and steer them to the topics you wish to dream about. Allison Aubrey and A Martinez discuss the resurgance in dream research and how dreams are a tool for self-discovery.
A drought-stricken region of northeast Spain has become a focus for American companies searching for locations to place their data centers.
A new analysis finds that the average renter household now needs 16 years to save for a down payment and closing costs. Rising rents and other costs have consumed a growing share of household budgets.
Republican U.S. Rep. David Valadao is fighting for reelection in central California. 6 in 10 residents of his district are covered by Medicaid, which he voted to cut last year.
Article URL: https://pepsipu.com/blog/2026-10-switch2-jailbreak-ns2jb/ Comments URL: https://news.ycombinator.com/item?id=50192536 Points: 481 # Comments: 175
Starbucks says it is improving customers' in-store experience as it competes with homegrown rivals.
Article URL: https://www.spacebar.news/powershell-is-actually-good/ Comments URL: https://news.ycombinator.com/item?id=50190959 Points: 10 # Comments: 1
Swimming banned at Maroubra and Coogee while council prioritises ‘culturally respectful’ approach to remainsGet our breaking news email, free app or daily news podcastA whale carcass has forced the closure of two busy swimming and surfing spots after washing up between Coogee and Maroubra beaches i…
Article URL: https://web.maths.unsw.edu.au/~davidharvey/research/subnlogn.pdf Comments URL: https://news.ycombinator.com/item?id=50190455 Points: 65 # Comments: 28
Antiques store owner, 74, pleads guilty to 13 charges after regulator uncovers hundreds of animals at his home and shopGet our new political email, free app or daily news podcastThe white-walled room packed with magpies, galahs and sulphur-crested cockatoos, foxes and possums is eerily quiet. As a …
Article URL: https://simedw.com/2026/10/21/world-model-terminal/ Comments URL: https://news.ycombinator.com/item?id=50190363 Points: 420 # Comments: 131
Perth man charged with ‘being armed in a way that may cause fear’ – days after Helen Haines was allegedly attacked with 4WD outside her Victorian officeGet our breaking news email, free app or daily news podcastA man has been charged after allegedly threatening staff and wielding nunchucks at the e…
Author withdrawn from France’s Prix Goncourt last month has repeatedly denied using artificial intelligence to write novelThe publisher of top-selling Haitian Canadian writer Thélyson Orélien, who was removed from France’s most prestigious literary prize list last month, has confirmed the author us…
The warning to US officials comes as at least three people die in the latest strikes at an airport and an oil field.
The pro-Israel lobbying group and influential political funder announced it would no longer endorse candidates or give directly to campaigns. AIPAC's affiliated super PAC, though, will continue.
The department has long deployed election monitors, but the Trump administration's unprecedented steps to try to wrestle control over elections have led to new concerns about DOJ monitoring this year.