Croatia declared free of landmines after 31 years
Interior Minister Davor Božinović announced Friday that Croatia is officially free of landmines. Thirty-one years after the end of the Homeland War, all known minefields have been cleared — a major milestone for the country. The decades-long effort came at a heavy cost. Over three decades of painstaking and dangerous work, 208 people lost their […]
Statement on the comments from Secretary of War Pete Hegseth
Earlier today, Secretary of War Pete Hegseth shared on X that he is directing the Department of War to designate Anthropic a supply chain risk. This action follows months of negotiations that reached an impasse over two exceptions we requested to the lawful use of our AI model, Claude: the mass domestic surveillance of Americans […]
We Will Not Be Divided
Frequently Asked Questions Have you thought about broadening the requests to be more comprehensive? The goal of this letter is to find common ground. The signatories likely have a diverse set of views. The current situation with the DoW is so clear-cut that it can bring together a very broad coalition. Signing this letter doesn’t […]
LFortran compiles fpm
LFortran can now compile fpm, the Fortran Package Manager. We opened up an issue for it in April 2025, when we started focusing on it as a priority. We closed it on February 7, 2026. fpm is the most complex project that we now successfully built and run. It is an interesting project: it is […]
Emuko: Fast RISC-V emulator written in Rust, boots Linux
Fast RISC-V emulator written in Rust. Boots Linux. emuko.dev RV64IMAFDC with M/S/U privilege levels and Sv39 virtual memory JIT compilation for ARM64 and x86_64 hosts (adaptive selection) Full Linux boot with BusyBox userland and interactive shell Snapshot/restore for saving and resuming full machine state Daemon mode with HTTP API and live UART command injection Differential […]
The Most-Seen UI on the Internet? Redesigning Turnstile and Challenge Pages
You’ve seen it. Maybe you didn’t register it consciously, but you’ve seen it. That little widget asking you to verify you’re human. That full-page security check before accessing a website. If you’ve spent any time on the Internet, you’ve encountered Cloudflare’s Turnstile widget or Challenge Pages — likely more times than you can count. The […]
President Trump bans Anthropic from use in government systems
The Pentagon is seen from an airplane, Monday, Feb. 2, 2026, in Washington. Julia Demaree Nikhinson/Associated Press Julia Demaree Nikhinson/Associated Press President Trump ordered the U.S. government to stop using the artificial intelligence company Anthropic’s products and the Pentagon moved to designate the company a national security risk on Friday, in a sharp escalation of […]
Neocaml – Rubocop Creator’s New OCaml Mode for Emacs
neocaml is a new Emacs package for programming in OCaml. It features both a couple of major modes (for OCaml and OCaml Interface), using TreeSitter, and integration with an OCaml toplevel (a.k.a. REPL). It’s also as cool as Neo from ”The Matrix”. 😉 Because caml-mode is ancient, and tuareg-mode is a beast. (it’s very powerful, […]
Leaving Google has actively improved my life
27 Feb, 2026 In May of 2023, Google introduced “AI overviews” into their search engine. This followed years of decisions leading to worse search quality and the consummation of their mission to answer every query on Google instead of sending you to outside sites. This was upsetting but something I groaned about and then moved […]
Let’s discuss sandbox isolation
There is a lot of energy right now around sandboxing untrusted code. AI agents generating and executing code, multi-tenant platforms running customer scripts, RL training pipelines evaluating model outputs—basically, you have code you did not write, and you need to run it without letting it compromise the host, other tenants, or itself in unexpected ways. […]