Viewing profile — hiAndrewQuinn

If it's a custom Yocto thing or it involved buildroot at any state of provisioning it gets the moniker "quasi-embedded" to me. Doubly so if it never actually connects to the intern…

To me that speaks to a fundamentally incorrect economic structure. I bet PLC programmers could command much higher salaries - at much higher levels of risk - if they held more liab…

It's not for nothing that de facto founder of the Singaporean state Lee Kuan Yew wooed top men and women into working government jobs by ensuring the government buildings had A/C. …

secret counterexample. people have been failing to learn vim for literal decades

Really, they should have merged this into some competing database for optimal marketing, like MongoDB. This is kind of like if you bought an Adidas sneaker and it said Adidas on it…

Land value tax solves this

Here in Finland my company has a dedicated testing team that's almost at large at the actual engineering staff. We sell a combined hardware-software stack, though, and it's basical…

>The goal of refactoring an agentic code base is to spend tokens now in refactoring to make token consumption for future work lower. Couldn't have said it better myself. Deciding t…

This still seems off to me. If I were a potential creditor in such a closed loop system, and I was told I absolutely could not charge interest due to these monetary supply constrai…

This isn't really surprising in a low margin industry. If you are making a 2% margin on the average perfume bottle, and then you liquidate it at -3% because it's cheaper than destr…

Prior art also has https://litestream.io/

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 t…

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 capit…

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 …

https://zmx.sh/ for the lazy.

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, th…

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 t…

>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, lik…

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 i…

hell yeah brother let's do it

"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 a…

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 be…

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 the…

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 fl…

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.