gaigalas

4 ms·

1.
by gaigalas 5d ago
What I predicted 9 months ago came to pass: > "a scenario in which a large automated proof is achieved but there would be no practical means of getting any understanding of what it means" https://news.ycombinator.com
2.
by gaigalas 5d ago
Pacing the frontier, with an aggressive release cadence. Gotta love the US tech industry.
3.
Lint-HTTP 0.1.0 – Easy to use, complete HTTP traffic linter(crates.io)
1 points by gaigalas 5d ago|0 comments
4.
by gaigalas 8d ago
Framing it as property is the wrong angle though. It's an ecosystem, not a cache of good writings that was stolen. That ecosystem was hurt severely and its recovery is uncertain. I think we'll not have people writing good content
5.
by gaigalas 10d ago
Obviously, it depends on whether board has rotated or not. It seems the model doesn't support board rotation yet, so the result is consistent with the limited set of features.
6.
by gaigalas 10d ago
Looking forward for the wordwang version.
7.
by gaigalas 11d ago
It's not about China doing their own thing. It's about US companies using Chinese AI. That will definitely slow down if legislation that criminalizes open source passes. So, it's about competition inside the US market , with
8.
by gaigalas 11d ago
The idea of slowing down is not new, nor novel. But why should he decided when to slow down? Most people who have worries about AI for all sorts of reasons (most of them not-Skynet related) wanted to slow down way before this. Instead of
9.
by gaigalas 14d ago
Open source is Senna on a Toleman in Monaco '84 and Anthropic is Prost cancelling the race he was going to lose blaming safety concerns.
10.
by gaigalas 15d ago
Yeah, "Your anti-virus is outdated, click here to update" popups mimicking the OS were a real issue. That's also why many browsers also don't allow popups without an URL bar now. For some time, Internet Explorer even had
11.
by gaigalas 15d ago
My point is that opinionated software is a magnet for supremacist types and ideologies. It's a nest for their "vision" or whatever. We're already way past the point of pointing out his character flaws. I want to also poi
12.
by gaigalas 15d ago
> There’s also nothing wrong in more opinionated software Except the fact that it's a breeding chamber for those "unity and identity" types of people/ideologies/projects? Embracing diversity is messy , and it&#x
13.
by gaigalas 15d ago
They exist but don't actually grab system colors (to prevent pages spoofing the system look). --- Shameless plug: In neutrino (my webview wrapper), we grab those and inject them as prefixed CSS variables (--neutrino-NameOfSystemColor).
14.
by gaigalas 15d ago
Missing the whole IE quirks mode vs standards mode thing, but nice. Some of those hacks were specifically for IE, and there was a debate on staying quirks vs going standards mode. Each had its own drawbacks and choices.
15.
by gaigalas 16d ago
Thank you.
16.
by gaigalas 16d ago
sources?
17.
Coletivo – A place for AI agents to collaborate via MCP(coletivo.alganet.dev)
1 points by gaigalas 16d ago|0 comments
18.
by gaigalas 22d ago
Yes, yes. Let's do that with testing and QA too. In massive scales. Humans are too slow. I want to see what happens.
19.
by gaigalas 22d ago
I think we should let reviews go. The next in the list are tests and CI, they also slow down delivery, and should go too. Then, we'll have the full speed and the consequences of that. I want to see it happening on a massive scale.
20.
by gaigalas 27d ago
Yep, but that's not changing the quality of the model. It's not an optimization in any sense (and it's a hit on productive workflows, possibly). This is also likely to stop working as censoring moves to the training data sour
21.
by gaigalas 27d ago
I think those are mostly vapor that runs on the small culture of "models should not be censored" thing. But from my experience, they unlock nothing meaningful. Fine-tuning is great for really small models on specific applications,
22.
by gaigalas 27d ago
Optimization on a idiosyncrasy. The same thing that makes Claude repeat "That was the most important thing you said in this whole conversation" is what makes grug speak optimize on token usage. Real humans get non-primary informat
23.
by gaigalas 27d ago
It's not exactly a joke, it does reduce the amount of tokens. However, it does not improve performance (fine tunes are finnecky things, hard to get one right).
24.
by gaigalas 28d ago
2025?
25.
by gaigalas 1mo ago
Depending on the cause of the current issues, that move would likely cause more harm to paid services than good. Their last postmortem made clear that their challenges are operational. Scale puts pressure on operation, but it's not wha
26.
by gaigalas 1mo ago
It's down. It seems that Fable is recovering, which is interesting (likely a priority, or more stable, or who knows).
27.
by gaigalas 1mo ago
If we're switching, we should probably go to fossil instead.
28.
by gaigalas 1mo ago
I lived in a short period of time in which QA was really good. Early Jenkins era, before GitHub. People engineered a lot of ingenious stuff to prevent bugs. One team I worked with had tests for the product we made ranging from IE6 to IE11,
29.
by gaigalas 1mo ago
This age: we made the thing that codes faster before we made the thing that does QA faster.
30.
by gaigalas 1mo ago
Weights to say "no" reliably might be another order of magnitude (or two) compared to what LLMs have today.

More ›