gnulinux

7 ms·

1.
by gnulinux 1mo ago
"1 nine" tends to mean "90% availability" i.e. 37 days of downtime per year. 9% availability would be an uptime of ~33 days a year, I think at that point, we're pushing the semantics of "available" if the
2.
by gnulinux 2mo ago
> run on postgresql with no overhead at all Citation needed. I love postgres as much as the next person, but it does have more overhead than Sqlite which is in an in-process db linked through compiled C code, it doesn't run as a sep
3.
by gnulinux 3mo ago
My 2 cents (I hope I don't offend anyone, and of course Emacs community is amazing). I've been using Emacs full-time since ~2010 but I must admit it's been more like part-time along with VSCode since ~2024. > This is large
4.
by gnulinux 3mo ago
To understand what's happening here, I'd recommend you to first understand Representation theory: https://en.wikipedia.org/wiki/Representation_theory In representation theory we reduce problems of algebra to
5.
by gnulinux 3mo ago
Quiver (a directed graph with multiple edges) is a standard mathematical term: https://en.wikipedia.org/wiki/Quiver_(mathematics) https://ncatlab.org/nlab/show/quiver A quiver is simply just
6.
by gnulinux 3mo ago
Not only that, but they said "next time better model needed" as if that was their problem and not giving an AI agent a blank check... I mean AWS account access.
7.
by gnulinux 4mo ago
Will you or someone else be able to explain why not?
8.
by gnulinux 4mo ago
Thank you so much for this! I've been working on exactly this problem this week (which OpenRouter providers have the highest cache rate on average) because cache cost is sometimes half your cost: I'd much rather use a provider wit
9.
by gnulinux 5mo ago
Calling current AI subscription services (especially Claude) "flat rate" (implying infinite access for a flat fee) is misleading. There are pretty strict hourly, daily, weekly, and monthly limits. So there is a pretty easy-to-reac
10.
by gnulinux 5mo ago
This github thread is incredible, thanks for sharing. This link should be its own HN topic.
11.
by gnulinux 8mo ago
They're still legal tender, you can pay things with them. They just stopped producing new ones. It's supposedly permanent, but they can continue producing it any time in the future if they really wanted to.
12.
by gnulinux 9mo ago
You live in Massachusetts and speak from experience? Because this law seems to work quite well in MA as it's a particularly popular law.
13.
by gnulinux 10mo ago
I experience a similar sensation. I even feel it for my own self. Sometimes I go weeks, months just thinking about AI, productivity, hustling, taxes etc and then suddenly something with a bit of humanity and weird shows up and I am relieved
14.
by gnulinux 10mo ago
Even in this thread people underestimate how good e.g. DuckDB can be if you swallow its quirks. Yeah SQL has many problems, but with a slightly extended language with QoL features and seamless parallelism DuckDB is extremely productive if y
15.
by gnulinux 11mo ago
There are ways to do this efficiently but it'd have to be over engineered and thus probably not worth it. You write the code in C/C++/Rust or similar and compile to WebAssembly. Then package it all in the thinnest wrapper you
16.
by gnulinux 11mo ago
Which version of Deepseek is this? I'm guessing Deepseek V3.2? What's the openrouter name?
17.
by gnulinux 11mo ago
I agree with you, I consistently find Gemini 2.5 Pro better than Claude and GPT-5 for the following cases: * Creative writing: Gemini is the unmatched winner here by a huge margin. I would personally go so far as to say Gemini 2.5 Pro is th
18.
by gnulinux 11mo ago
No, I didn't misread, input can be self-generated of course. If you're writing a system that's designed like UserInput -> [BlackBox] -> Output, clearly user input won't be auto-generated. But if you factor [BlackBo
19.
by gnulinux 11mo ago
Exactly, knowing what we know about anthropology, it's extremely unlikely cuneiform was the oldest writing. What's more likely is that other human groups must have invented ways for storing information, but they didn't surviv
20.
by gnulinux 11mo ago
They might be programmatically generated, for example. There are countless sources one can get a string from. Surely you don't think filesystems are the only source of strings?
21.
by gnulinux 11mo ago
Hard to know but if you could express "traumatically" as a number, and "over-trained" as a number, it seems like we'd expect "traumatically" + "over-trained" to be close to "traumatically ov
22.
by gnulinux 11mo ago
GC is ok as long as you aren't writing some factorio-like etc. Modern computers are perfectly fine doing shit ton of useless stuff 120 times a second without blinking an eye.
23.
by gnulinux 1y ago
Wow, I did a very similar thing on the first date with my now wife. I explained the halting problem, and Godel's incompleteness theorems. We also talked about her (biomedical) research, so it wasn't a one sided conversation. I thi
24.
by gnulinux 1y ago
What do you think is the "intended purpose"? The fascinating and beautiful thing about the library systems in US is that there is no reason to have a purpose, you can literally just sit down and look outside the window. Breakneck-
25.
by gnulinux 1y ago
It sounds like you experienced this in some American city and generalized to all? This absolutely not true for Boston Public Library which is an immensely convenient place to WFH, read, or write. I also never experienced this in NYC public
26.
by gnulinux 1y ago
This is not my experience. In my experience Gemini 2.5 Pro is the best model in every use-case I tried. There are a few very hard (graduate level) logic or math problems that Claude 4.1 Opus edged-out over Gemini 2.5 Pro, but in general if
27.
by gnulinux 1y ago
Actually slightly more than that. A college level abstract algebra class is unlikely to cover much of commutative algebra. You'll want to know a fair amount of Module Theory for this book. Reading through the classic Atiyah MacDonald b
28.
by gnulinux 1y ago
> "How Rust Won" I love Rust, I'm a fan of writing it and I love the tooling. And I love to see it's (hopefully) getting more popular. Despite this, I'm not sure if "won" is the right word because to my
29.
by gnulinux 1y ago
I don't want to debate, I just want to note that as a person who writes $1_G$ everyday, and also maintain Unicode char'd codebases (Agda) where have subscript G would be life saving: We understand that Unicode people think ^x _x i
30.
by gnulinux 1y ago
I honestly don't understand why Unicode still doesn't have all subscript and superscript letters, which I personally need to use almost every day--and I imagine many people who write math/code as well--but has 8 different var

More ›