Hacker wipes Romania's land registry database
https://news.risky.biz/risky-bulletin-hacker-wipes-romanias-entire-land-registry-database/
https://news.risky.biz/risky-bulletin-hacker-wipes-romanias-entire-land-registry-database/
Risky.Biz
Hacker wipes Romania's entire land registry database
In other news: Graykey maker sues former employee for leaking exploit; Hugging Face was hacked using AI; unauth RCE finally found in WordPress.
Cross sectioning insects in an electron microscope with a femtosecond laser [video]
https://www.youtube.com/watch?v=NwhVJ7cv9B4
https://www.youtube.com/watch?v=NwhVJ7cv9B4
YouTube
See inside insects with an electron microscope and a femtosecond laser
I use a femtosecond laser like a lightsaber to cross section insects and inspect them with an electron microscope. What's really inside an insect's head?
Femtosecond laser built by Oscillate Photonics: https://oscillatephotonics.com/
Open Beam Interface…
Femtosecond laser built by Oscillate Photonics: https://oscillatephotonics.com/
Open Beam Interface…
An Empirical Study: AI Agent Rules Need Context and Layered Enforcement
https://eunomia.dev/blog/2026/07/15/ebpf-ai-agent-policy-enforcement/
https://eunomia.dev/blog/2026/07/15/ebpf-ai-agent-policy-enforcement/
eunomia
An Empirical Study: AI Agent Rules Need Context and Layered Enforcement | eunomia
AI agent rules look simple in CLAUDE.md, but ActPlane's 2,116-statement study shows why context and layered OS enforcement decide what can be checked.
Safety and alignment in an era of long-horizon models
https://openai.com/index/safety-alignment-long-horizon-models/
https://openai.com/index/safety-alignment-long-horizon-models/
OpenAI
Safety and alignment in an era of long-horizon models
OpenAI shares lessons from deploying long-running AI models, highlighting new safety risks, observed failures, and improved safeguards through iterative deployment.
Human mathematicians are being outcounterexampled
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
Xena
Human mathematicians are being outcounterexampled
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…
Show HN: Immersive Gaussian Splat tour of grace cathedral, San Francisco
https://vincentwoo.com/3d/grace_cathedral/
https://vincentwoo.com/3d/grace_cathedral/