hiAndrewQuinn

5 ms·

31.
by hiAndrewQuinn 3mo ago
Prior art also has https://litestream.io/
32.
by hiAndrewQuinn 3mo ago
On the other end of things, for tiny responsive web apps that don't necessarily even need their own built in database, like e.g. real time API dashboards, I've been using my PAHG template a lot lately [1]. Pico.css, Alpine.js, Htm
33.
by hiAndrewQuinn 3mo ago
It's closer to only 10% the money to spend on such things, and that gap is closing rapidly. The poorest African countries these days still have a GDP in the low thousands per capita, and poorish central Europe trends to have low tens o
34.
by hiAndrewQuinn 3mo ago
A "customizable" tool for any task sufficiently complicated to be someone else's profession inevitably results in a tiny micro-economy of configuration engineers who specialize in customizing the tool to be just so. But the c
35.
by hiAndrewQuinn 3mo ago
https://zmx.sh/ for the lazy.
36.
by hiAndrewQuinn 4mo ago
You could probably take a competitor closing in on a patent and destabilize them by taking just enough of their R&D and feeding it though an LLM to reach a motivated conclusion, then publishing that transcript. I wonder if we'll se
37.
by hiAndrewQuinn 4mo ago
I'm less interested in this than in what people are willing to aggressively trade off against in order to get the stuff they truly care about. For example, readability. Where are the developers out there saying "I am very willing
38.
by hiAndrewQuinn 4mo ago
>At the beginning of a language's life, everybody's a beginner. Over time the ratio of experts to beginners changes, and this leads to more focus on "expert-friendly" features, like terser syntax. Hence why so many sh
39.
by hiAndrewQuinn 4mo ago
That makes sense to me, honestly. It's probably easier to take a SWE with good CS fundamentals and mold them into an SRE than the other way around. It also means more optionality if the SWE turns out not to take to the role.
40.
by hiAndrewQuinn 4mo ago
hell yeah brother let's do it
41.
by hiAndrewQuinn 4mo ago
"Mathematics isn't about proving the statement! It's about the collection of substatements which lead to the proof of the statement." "Okay, so what determines what is and is not allowed in the collection?" &
42.
by hiAndrewQuinn 4mo ago
I don't think that's the point. I think the point is to prove the statement. The techniques and abstractions are a means to an end; making them the point is being seduced by the beauty of the weapon.
43.
by hiAndrewQuinn 4mo ago
Imo, the proved theorem is the API. And that's really all it has to be. If there are other lemmas, etc buried inside that 200k blob that can be factored out and proved and used themselves, so much the better. But denying a machine-va
44.
by hiAndrewQuinn 4mo ago
Very nice work. I'm going for a different thing, but my audio2anki tool [1] is about as streamlined as I could make it to turn a YouTube URL I want to learn into a stack of Anki flashcards, purely locally. [1]: https://githu
45.
by hiAndrewQuinn 4mo ago
Don't forget XTX Markets in Kajaani! At least last I heard. Free heating for an entire city in exchange for being allowed to build out a data center is a pretty good deal.
46.
by hiAndrewQuinn 4mo ago
The trick to making these problems intuitive is to mentally rewrite them into a "how many permutations of this string are possible?" problem. Consider the 2 * 3 case. ... ... One way you might get there is Right
47.
by hiAndrewQuinn 4mo ago
The False Claims Act is one of my favorite things in the world, hands down. Who would have guessed that paying whistleblowers a fraction of the proceeds for high stakes financial crime would be so effective? Well, aside from every economist
48.
by hiAndrewQuinn 4mo ago
Depending on how hardcore enforcement of the upcoming Cybersecurity Resilience Act is, that might(?) push EU products very slightly towards this luxury pricing power on the margin. But on the whole I think you're dreaming, Ray. I can&#
49.
by hiAndrewQuinn 4mo ago
For those looking for one practical way to do this in the US, I can share my story. In the US I waited until I was 24 years old to transfer to a 4 year university, because my parents were somewhat well off and utterly unwilling to help with
50.
by hiAndrewQuinn 4mo ago
What? I'm an American living in the EU, and 4 euros is a little under 5 dollars right now. Last I checked that's still one Costco rotisserie chicken. You should definitely be able to pick up a couple Miller High Lifes for 5 dollar
51.
by hiAndrewQuinn 4mo ago
Gwern's website changed my life at least 12 years ago by introducing me to spaced repetition, which solved my greatest bottleneck at the time: very smart and totally unable to remember anything in the moment to actually apply those sma
52.
by hiAndrewQuinn 5mo ago
Can't run bare metal Linux at work, can run WSL on Windows. That's probably 80+% of use cases.
53.
by hiAndrewQuinn 5mo ago
I'm surprised no one has mentioned Bryan Caplan's The Case Against Education yet, which basically argues for a revolution in the other direction - get rid of almost all schooling because almost none of it passes a sane cost bene
54.
by hiAndrewQuinn 5mo ago
2026-09-11, save the date folks. That's when all companies selling products with digital elements in the EU have to have a reporting pipeline for actively exploited vulnerabilities and severe incidents.
55.
by hiAndrewQuinn 5mo ago
First sensible take I've seen in this thread. People especially seem to forget the consequences of #1: The company where everyone is working 0.5 days a week will almost certainly get outcompeted, very quickly, by the company where ever
56.
by hiAndrewQuinn 5mo ago
Very cool, fills a niche. Could you put a link to the demo right in the README.md? It's hard to click through on mobile
57.
by hiAndrewQuinn 5mo ago
In fact, most 2 digit numbers not divisible by 2, 3, or 5 are prime. [1] The only one that's likely to ruin your day is 7 * 13 == 91, but that's self-defeating because after you think about it long enough 91 falls victim to [2]. [
58.
by hiAndrewQuinn 5mo ago
`sops` and `age` are about as barebones as you can get if you want to have something to check into a repo, I suppose. Most CI/CD runners have secret storage you can use to make this a nonissue as well.
59.
Back up your TOTP codes by printing their QR codes(til.andrew-quinn.me)
5 points by hiAndrewQuinn 5mo ago|0 comments
60.
by hiAndrewQuinn 5mo ago
Hidden telemetry was my big concern, yes; the abort thing wasn't caught as a security thing by DeepSeek V4 Flash but it was mentioned by Claude 4.7 Opus (I wanted to compare and contrast here), and Flash brought it up later when I aske

More ›