A Chinese start-up has developed a device that uses artificial intelligence and lasers to kill mosquitoes. But there are safety concerns for people and other creatures nearby when the device is in action.

© Qilai Shen for The New York Times

In Malaysia, U.S. and Chinese tech giants are pouring billions into vast data centers, straining local resources and testing the limits of Washington’s restrictions on advanced chips.

© Ulet Ifansasti for The New York Times

Using sensors developed for self-driving cars, a Chinese start-up claims it can track and destroy tiny flying targets while avoiding people, pets and reflective surfaces.

© Qilai Shen for The New York Times

Gains for Arab-led parties have electrified Taibe, in central Israel, even as voters elsewhere in Israel say they have no place in any future government.

© Ammar Awad/Reuters

Using sensors developed for self-driving cars, a Chinese start-up claims it can track and destroy tiny flying targets while avoiding people, pets and reflective surfaces.

© Qilai Shen for The New York Times

© Uncredited

The world’s largest crypto exchange suspended deposits and withdrawals after an apparent hack.

© Antonio Masiello/Getty Images

The world’s largest crypto exchange suspended deposits and withdrawals after an apparent hack.

© Antonio Masiello/Getty Images

The collision involving a Robinson R22 and an Airbus helicopter occurred on Thursday afternoon, with both aircraft crashing in a field adjacent to a highway.

Onyeka Okongwu comes up big as Hawks snap early-season skid

Whatever the result of the midterm elections, the party is facing tough questions over what they stand for and who should represent them.

Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of software engineering and programming languages. This next wave will largely be enabled by the incredibly intelligent LLMs that understand formal verification and its programming languages.

Lean is one of the most popular languages that allow for formal verification, and to me is incredibly powerful because it is a general purpose programming language with formal verification built directly into it.

You can build general purpose software in Lean, and formally verify it in Lean. Amazing.

Lasm brings Lean to the browser, Node, serverless, and edge environments (and more). The idea is that you can now write web apps, frontend to backend, in Lean and formally verify these apps.

Imagine an Express server or Hono server, running on Cloudflare Workers, with formal verification of its specification.

I'm an agentic engineer with an emphasis in software engineering, and Lasm was built mostly by Claude Opus 5.5 with my high-level direction.

---

Comments URL: https://news.ycombinator.com/item?id=50299004

Points: 7

# Comments: 0

Article URL: https://github.com/picocss/pico/discussions/754

Comments URL: https://news.ycombinator.com/item?id=50298964

Points: 44

# Comments: 15

Doctors are finding vitamin D deficiency is increasingly widespread in the UK, especially in young people. But the symptoms are difficult to spot and can be missed.

A tour of the three caves in southern Spain suggests that people in the area cannibalized one another as funerary practice over many generations.

An Estonian addict could barely keep pace with the new drugs flooding the market. His terrifying accounts of the cruel toll they took on his body held his country in its grip.

© Meridith Kohut for The New York Times

The Singapore dollar strengthened against its U.S. counterpart, amid falling U.S. Treasury yields.

Bitcoin, Ethereum and Ripple each dropped more than 2% after Binance, the world’s biggest crypto exchange, suspended transactions to investigate what could be the industry’s largest-ever hack.

© Dado Ruvic/Reuters

The chip maker warned that challenges in the segment, driven by high memory-chip prices, will continue into 2028.

© Heather Diehl/Getty Images

Erin Patterson argued her trial was unfair due to seven grounds but three appeal judges dismissed them all.