gf000

6 ms·

1.
by gf000 5d ago
Also, probably due to some DRM bullshit, resuming a song from the middle doesn't work most of the time. I have to seek to the beginning for it to start playing. Like that's literally the only thing it should be able to do 100%..
2.
by gf000 6d ago
Thanks, that's a great example!
3.
by gf000 6d ago
As opposed to the western ones'?
4.
by gf000 7d ago
It's foldable. You can either fold it and use it with one thumb, or have a much larger screen depending on your actual needs at the moment. Like that's the very point of foldables, otherwise they would be a tablet..
5.
by gf000 7d ago
Sure, but then you can no longer actually construct your "objects". That's what my rust comment was referencing.
6.
by gf000 8d ago
Care to refute the actual numbers? No one was talking about the ethical part (which you may or may not agree with). Carbon footprint is an actually measurable quantity that we can compare - what's your problem?
7.
by gf000 8d ago
A bit of a hair-splitting, but isn't explicit construction the only way formal theorem provers can work? Of course you can still prove stuff with them, but certain axioms that more "human" proofs use may not be available, lik
8.
by gf000 9d ago
> All in all, my point is, if you are doing anything that actually utilizes the hardware near its limits you will be tuning by quite a bit. What do you think happens in case of literally any other platform/programming language when
9.
by gf000 9d ago
Could you sketch a spring-loaded button? I just have a hard time imagining how could this time dimension be added properly to a button - not that I would disagree with you in general. Also, is this really different from a button that refle
10.
by gf000 14d ago
There is an immich proxy project: https://github.com/alangrainger/immich-public-proxy I wouldn't make the instance itself public, but I think this is a decent tradeoff. Of course still requires one to be a sysadmi
11.
by gf000 14d ago
What do you need it for? Which version of the JVM?
12.
by gf000 15d ago
It absolutely doesn't need any memory tuning whatsoever. People just read 2 decades old blog posts and apply whatever random flag they see. For 90% of workflows you don't add any command line arguments, for the remaining 10% you m
13.
by gf000 15d ago
It doesn't use more memory (at least not due to GC itself), it wastes some memory that it won't touch again unless absolutely necessary.
14.
by gf000 16d ago
AFAIK everyone's brain has a sort of hard coded number of "registers", around 3-4. I think the visual "instant counting" also goes up to that number, so in some way we are all "bottlenecked" and require ac
15.
by gf000 16d ago
Well, that's just one implementation (the easiest). You may have the harness automatically inject stuff into the ongoing conversation, in which case most of the work is not done by the working agent (though you may still end up using
16.
by gf000 17d ago
I mean, it's all just tool calls and context-management in the end. Like it is pretty self-evident to have a "heartbeat" and to do specific stuff on a schedule, etc.
17.
by gf000 21d ago
In my experience some of these models may have learnt some censoring during distillation of Western models, but these are mostly just there as a probable response. So if they first happen to respond "I ain't doing this because leg
18.
by gf000 21d ago
> silent sound fingerprinting mechanisms I hope you also block the other half of the internet because sure as hell google and facebook are way worse than that.
19.
by gf000 21d ago
That's a TOS thing though. I don't think that works just as trivially in e.g. the EU, you can't just single-handedly stop a service someone is paying for.
20.
by gf000 21d ago
Chinese government has Chinese censorship, Western one has western ones. You are not concluding what you think you do here.
21.
by gf000 21d ago
(assuming English text) 512 tokens ≈ 350–400 words ≈ a long paragraph or two. 1024 tokens ≈ 700–800 words ≈ about a page and a half to two pages. I would be very surprised if that amount of text is not enough to encode a general topic int
22.
by gf000 21d ago
Absolutely a novice in this topic, but I would imagine that by simply having sufficiently big chunks it's simply not a problem? You surely have enough information in like a couple of paragraphs to denote in vector space roughly what it
23.
by gf000 22d ago
While way too restrictive, I believe android actually has the correct idea here, having separate data folders per app. The problem is that you can't really touch this per app data folders - even backup is a special operation only doabl
24.
by gf000 23d ago
Another common format is `jsonl`, basically a json object per line containing a message
25.
by gf000 23d ago
Not really solving all your cases, but I found tmux (or herdr) on a home server works pretty well. I just ssh into my home server and continue where I left off with the same claude/opencode open. On a longer term, I think "assista
26.
by gf000 24d ago
Yep, many successful people greatly underappreciate the effect of simple dumb luck in their lives. And often they just make up complex reasoning chains, even wholly believing them, that more of it was in their control/talent, etc. None
27.
by gf000 25d ago
All those tools still get into context. Also, it's not hard to filter a rest api doc - like with a special tool for that the harness itself could pre-filter it and add only the relevant ones as tools to be even more leaner than what an
28.
by gf000 26d ago
Absolutely not an expert on this, but I would imagine that they would train the pipeline on a raw-ish image data to have better consistency? I would think that some kind of algorithm "bettering" the image suddenly might cause a di
29.
by gf000 28d ago
If google allows that for pixels, I don't see why Motorola wouldn't. Besides, GrapheneOS would probably don't want to get into a situation where their keys are burnt into hardware non-modifiable. They had to revoke such a key
30.
by gf000 28d ago
well, apparently not even Microsoft had enough capital. It's almost like the free market only works when we have well-defined and regulated markets . This has been known by Adam Smith and quite logical, yet people expect Google and Ap

More ›