Central Java

IN FOCUS: With landfills almost full, Indonesia grapples with ‘ticking time bomb’ of waste crisis

IN FOCUS: With landfills almost full, Indonesia grapples with ‘ticking time bomb’ of waste crisis Indonesia is counting on waste-to-energy plants to tackle its waste crisis, but experts say it’s no substitute for reducing trash at the source. With its sandy beaches and lush paddy fields, Bali has long been sold as Indonesia’s picture-perfect island paradise. But to locals, especially those living in southern Bali, their streets have been far from dreamy, with piles of trash filling up parts...

Photos of the Week: Kite Chase, River Float, Night Harvest

Jeff Chiu / APElena Ostergren shows her voting sticker to her dog Olaf at Club Fugazi during the California primary election on June 2, 2026, in San Francisco. Yang Bo / China News Service / VCG / GettyWorkers repair a peacock-shaped topiary at Gulou Square on June 4, 2026, in Nanjing, Jiangsu province, China. Artur Widak / NurPhoto / GettyA wild rhesus macaque sits upright on a wooden fence overlooking a dramatic landscape of sandstone pillars in the Yuanjiajie Scenic Area in Zhangjiajie...

Photos of the Week: Memorial Day, Spelling Bee, Cheese Rolling

Two decades of research shows Indonesia's coral reefs are heat tolerant—but only up to a point

Two decades of research shows Indonesia's coral reefs are heat tolerant—but only up to a point Lisa Lock Scientific Editor Andrew Zinin Lead Editor Indonesia is home to the world's largest and most biodiverse coral reef system, spanning more than 32,000 square kilometers across the archipelago. Just like what is happening globally, these reefs are now bearing the brunt of a warming ocean. Our new study, however, found that despite rising sea temperatures, coral cover at most of our...

Devs know AI code is riddled with holes, but ship it anyway

Research by AppSec biz Checkmarx finds that 70 percent of developers believe AI-generated code has more vulnerabilities, and 30 percent knowingly ship vulnerable code into production. The report is based on responses from 2,350 global developers, CISOs, and AppSec managers, and follows similar annual surveys since 2023. The number of respondents is 54 percent higher this year than last, and the increased sample size may account for a somewhat surprising statistic: the reported proportion of...

AlgoTouch: An Execution-Centered Approach to Incremental Construction of Imperative Programs

arXiv:2606.03349v1 Announce Type: new Abstract: Program construction in imperative languages remains largely based on writing textual code that specifies sequences of instructions operating on program data. This approach requires developers to anticipate the effects of instructions on evolving data states, which increases cognitive load and the likelihood of errors during early and incremental development. This paper presents AlgoTouch, an execution-based system for incremental construction...

Pyro Caml Continuous Profiler for OCaml

The core SAST engine of Semgrep is written in OCaml. There are a lot of good technical and historical reasons for this that I’ll leave for another time. An important consequence of using a language with a (relatively) small ecosystem like OCaml is that there aren’t a lot of libraries for things like observability, which are critical for running industrial software like Semgrep on hundreds of thousands of code repositories, and keeping it both reliable and performant.