fnord123

6 ms·

1.
by fnord123 6d ago
It's not even in Rust.
2.
by fnord123 9d ago
> Using "length of the correctness statement + length of its proof" works quite well as proxy for complexity of a component (the longer, the more complex). It sounds like a reasonable concept, but then Principia Mathematica tak
3.
by fnord123 19d ago
Kludex is a really good dev
4.
by fnord123 29d ago
I have a fairphone 5 and actively don't like it when it asks me if I want to mirror my screen when I plug it into a charging cable attached to a monitor.
5.
by fnord123 29d ago
You need to transfer more than 480Mbps over a hard line to and from your phone? Seems like a niche requirement that even iPhone 17 doesn't bother with. Or is it psychological 'nunber must go up and usb number went from 2 to 3 many
6.
by fnord123 1mo ago
We will cure virus.
7.
by fnord123 2mo ago
DBeaver can connect to remote sqlite databases through an SSH tunnel: https://dbeaver.com/docs/dbeaver/Database-driver-SQLite/#rem...
8.
by fnord123 2mo ago
No, keep reading: > The requirements set forth in Sections 2 and 3 do not apply to: (a) internal use of the Software, defined as any use that does not make the Software, its outputs, or its underlying capabilities available to third part
9.
by fnord123 2mo ago
Also possibly true: Anthropic is running Kimi locally in their hardware and "distilling" it.
10.
by fnord123 2mo ago
https://www.cnbc.com/2026/07/10/apple-openai-lawsuit-trade-s...
11.
by fnord123 2mo ago
>We'll never pay for news or text content of any kind... or they marginalize themselves with paywalls, subscribed to by only a small minority of users. You should definitely consider supporting your favourite news sources directly.
12.
by fnord123 2mo ago
> Schrödinger's China at once is an evil entity looking to use AI for their own nefarious purposes yet also willing to cooperate with their main competitor to prevent other actors (who??) from achieving similar goals (all while unde
13.
by fnord123 2mo ago
> "Sorry, having some tracking is the condition to get this free content. Accept or don't." The law that caused the cookie banners also says companies cannot block access to the site if the cookies are not required for the
14.
by fnord123 2mo ago
> To me, having a browser setting for cookies is the only sane way to handle this, it's surprising that this was not considered from the beginning. There is one. It's a DNT header. Knucklehead websites ignore it.
15.
by fnord123 2mo ago
Software has always been political. From the big P political when PGP was banned from export from the US in the 90s, to the small p political where you can fix the software running on your own machine (akin to filling in the potholes on mai
16.
by fnord123 2mo ago
Justwatch.com had this info
17.
by fnord123 2mo ago
This is really strange since the European Commission strongly recommends that staff use Signal[1]. [1]: https://www.documentcloud.org/documents/26073615-c-2025-5430...
18.
by fnord123 3mo ago
> The market for "coding harnesses" and "AI IDEs" is already oversaturated and they are effectively a commodity at this point, you can use any of them with any provider more or less interchangeably. Yes and no. I&#x27
19.
by fnord123 5mo ago
Because they are based on [the west coast of the US]( https://en.wikipedia.org/wiki/American_frontier ). DeepSeek, Z.ai, Moonhsot, and Mistral are never called frontier because they aren't based in California.
20.
by fnord123 5mo ago
Are these your own skills files or are you using something off the shelf like bmad or specify-kit?
21.
by fnord123 6mo ago
> but what about ai.eu oh, .. why?
22.
by fnord123 7mo ago
Found it: browser.ml.chat.provider
23.
by fnord123 7mo ago
I don't mind the AI features per se, but is there a configuration setting to sent the traffic through a local AI Gateway to prevent the AI from receiving private information? At the very least to track what is sent over the wire.
24.
by fnord123 7mo ago
On thing that troubles me is that code reviews are also an educational moment for seniors teaching juniors as well as an opportunity for people who know a system to point out otherwise undocumented constraints of the system. If people slack
25.
by fnord123 7mo ago
> the AA-Omniscience Hallucination Rate Benchmark which puts 3.0 Pro among the higher hallucinating models. 3.1 seems to be a noticeable improvement though. As sibling comment says, AA-Omniscience Hallucination Rate Benchmark puts Gemini
26.
by fnord123 7mo ago
Be careful. You get good at what your practice.
27.
by fnord123 8mo ago
> Others disallow even empty bottles at security screening I haven't encountered this. Could you name some?
28.
by fnord123 8mo ago
> Stop citing single studies as definitive. They are not. Check if the ones you are reading or citing have been replicated. And from the comments: > From my experience in social science, including some experience in managment studies
29.
by fnord123 8mo ago
> America is sick. The data is clear. Can we inform dictionaries and encyclopaedia that data is now a mass noun and it is considered archaic to use data as a plural of datum?
30.
by fnord123 9mo ago
I meant which scheme implementation is "lightweight" and also meant to ask what "lightweight means".

More ›