lexh
Joined 6 years ago
Karma
67
Submissions
35
Member since
Mar 3
Recent submissions
Comment · 1 month ago
They missed the first legitimate use case for infinite scroll.
Comment · 1 month ago
So... competitive with Uber, in other words?
Comment · 3 months ago
don't think it's that deep mate. just sloppy wording on GP's part.
Comment · 3 months ago
Well... since o1 (Sept 2024), most models generate a "hidden" thinking trace before the visible answer... surely you have seen this by now: "Wait, that's wrong...", "Ah, now I have the full picture...". The model prunes dead ends when it composes the final answer.
Demanding sources for this is odd. It's literally been a headline feature of every frontier model for two years.
I guess you are "technically correct" that no model can "un-emit" tokens... but I don't think that is what anyone was saying or an interesting point to make.
Edit: see also this recent post, which details another place where revisions can happen, upstream of the reasoning token emission:
Comment · 3 months ago
Similar idea here that may be of interest: SQLite DB on static host via HTTP range + WASM.
Comment · 5 months ago
Comment · 6 months ago
Consider adding that snazzy gif in the README to the docs landing page. I went straight to the docs and then hunted for a screenshot to no avail.
Comment · 6 months ago
But... this particular project does have such automation in place? It isn’t hard to find:
https://codeberg.org/ziglang/zig/src/branch/master/.forgejo/...
Comment · 7 months ago
https://copilot.microsoft.com/shares/RviQKF1om6oxZY2pENL6c
Sample size is 2 now!
Comment · 8 months ago
Isn’t part of Vercel’s value proposition a robust global CDN in front? Seems quite a bit different than one sweaty VM in Helsinki.
Comment · 1 year ago
This is a great write up.
I wonder if any of these techniques turn up in whatever the magic sauce is in D2’s TALA layout engine, which is in a league of its own IMO.
Comment · 1 year ago
The current SOTA closed model providers are also all rolling out access to their latest models with better pricing (e.g. GPT-5 this week), which seems like a confounding factor unique to this moment in the cycle. An API consumer would need to have a very specific reason to choose GPT-4o over GPT-5, given the latter costs less, benchmarks better and is roughly the same speed.
Comment · 1 year ago
To be a little more fair... that example is tidily slotted into the EXAMPLES section, under the heading "You can extract images from a video, or create a video from many images".
I don't think most people read the man pages top to bottom. And even if they did, then for as much grief as you're giving ffmpeg, llm has an even larger burden... no man page and the docs weigh in at over 8k lines.
I get the general point that ffmpeg is a powerful, complex tool... but this is a weird fight to pick.