Google search is in the news. Judge Amit Mehta ruled that Google search is a monopoly and is behaving in a manner that suppresses search competition with their distribution agreements. The debate on this has started,...
A few weeks ago, my friend Ben and I won JumboHack , a hackathon at Tufts University. Our entry generates a Spotify Wrapped-like summary of students’ dining habits by scraping Tufts’ meal plan portal. Through some clever promotion on Ben’s part, we managed to get hundreds of students to use it in just a couple of…
We’re in an era where US infrastructure is getting a lot of attention.
I like to make silly things, and I also like to put in minimal effort for those silly things. I also like to make things in Rust, mostly for the web, and this is where we run into a problem.
I’m not sure what’s going on over in Cupertino for them to …
A discussion of why I don’t intend to turn Gwern.net into a book, and how trying to write a book can harm writers.
New research from the University of Kentucky’s Sanders-Brown Center on Aging shows compelling evidence that the cognitive impairments observed in long COVID patients share striking similarities with those seen in Alzheimer’s disease and related dementias.
SQLite is fast, really fast. On a single ~40€ / m commodity server, it can sustain ~168,000 reads and ~8000 writes per second, concurrently. Because it's an embedded library designed for client-side applications such as embedded systems and phone & desktop applications, SQLite databases have to be co-located…
People talk about htmx as though it's saving the web from single-page apps. Well, I guess I missed the memo, because I used htmx to build a single-page app.
Now let’s talk about one more seemingly unrelated topic just so we can “surprise” ourselves when we realize it’s category theory. By the way, in this chapter there will be another surprise in addition to that, so don’t fall asleep.
If you love exploit mitigations, you may have heard of a new system call named mseal landing into the Linux kernel’s 6.10 release, providing a protection called “memory sealing.” Beyond notes from the authors, very little information about this mitigation exists. In this blog post, we’ll explain what this syscall is…
CORVALLIS, Ore. – Today’s rate of atmospheric carbon dioxide increase is 10 times faster than at any other point in the past 50,000 years, researchers have found through a detailed chemical analysis of ancient Antarctic ice. The findings, just published in the Proceedings of the National Academy of Sciences, provide…
TextQuery is a desktop app to import data file as a table, query it using SQL.
“Every one of the stars in the sky uses fusion to generate enormous amounts of energy. Why shouldn’t we?”
In Michael Sipser’s Introduction to the Theory of Computation textbook, he has one Platonically perfect homework exercise, so perfect that I can reconstruct it from memory despite not having …
One of the use cases I thought was reasonable to expect from ChatGPT and Friends (LLMs) was summarising. It turns out I was wrong. What ChatGPT isn’t summarising at all, it only looks like it…
In today's article, we're embarking on something unprecedented! We'll guide you step by step through the process of transforming an SSD equipped with QLC NANDs into an SLC SSD, significantly enhancing its durability and overall performance!
ROI (and I) are naïve
McCarthy's Lisp in Python lists
I'm sleep-deprived, completely exhausted, but incredibly excited about the whole experience. Here are my notes, impressions and a lot of pictures about FOSDEM 2024.
A Blogpost series about Model Architectures Part 1: What happened to BERT and T5? Thoughts on Transformer Encoders, PrefixLM and Denoising objectives
Distributed Tracing is scary and complicated... right?
Using Sentinel-1 radar imagery to make out the shapes of our changing seaborne energy system
Nine months ago, we switched to a monorepo. Here's a detailed look at what led to the change, how we approached it, and what the experience has been like.
I’ve spent the past several years working with functional programming languages in my free time – primarily Haskell and OCaml. I love both languages but also find aspects of each frustrating. Haskell is terse and elegant with type classes providing a powerful mechanism for ad-hoc polymorphism. However, it can also be…
It’s WWVB, the station that the National Institute of Standards and Technology uses to broadcast the current time, tuned to the 60 kHz frequency. Day and night, this station diligently continues broadcasting.
Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof…
