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…

We would like to address the recent controversy about one of the owners of Mullvad making a donation to a Swedish political party.

Hello everyone. Effective yesterday, Anthony and I decided to depart from the project, myself as Project Leader, and he as a core team member. This is in addition to the resignation of Andrew on Frida

Free AI email signature generator with personalized bobblehead avatars. Design and export for Gmail, Outlook, and Apple Mail.

Ramp Router sends every AI request to the lowest-cost approved model that clears your quality bar. One endpoint, automatic routing, less spend.

A Koi Pond Mosaic Made From 10 Pounds of 3D Printer Waste: Every 3D printer owner ends up with quite a pile of plastic waste: failed prints, stringy purge, and the plastic purge tower left behind after a multicolor job. Over three years I saved every scrap…

Data center leases, GPU supply contracts raise liabilities at Meta, Oracle, Nikkei study shows

Personal portfolio of Yash Thapliyal, showcasing software development, cyber security, photography, and design work.

I keep hearing anecdotes from people who used coding agents to reverse-engineer and automate devices in their homes. I think this is an interesting illustration of the impact of the …

For some reason, during TacoSprint 2026 I decided to see if we could tackle relocatable binaries in Nix.

Qwen Studio offers comprehensive functionality spanning chatbot, image and video understanding, image generation, document processing, web search integration, tool utilization, and artifacts.

An alternative way of calculating the homeownership rate tells us how many individuals own their homes—something the most commonly used metric fails to track