Viewing profile — JustFinishedBSG

This doesn't (and cannot) solve what the post is talking about

At a very high level mathematics is basically 100% text/symbolic rewriting. You start from some set of postulate assumed true and you do your thing to get a new different set of eq…

My experience may not be entirely representative because to be entirely honest I’m not exactly a great researcher and there are brilliant PhD students. That said it indeed was my e…

It's very hard those days to think of companies/people more arrogant than Anthropic/Dario, which is quite the achievement as the bar is very high. If that arrogance was well placed…

Interesting, it doesn't seem intuitive at all to me. My (wrong?) understanding was that there was a positive correlation between how "good" a tokenizer is in terms of compression a…

Most of the cost (to the government) for Windows is "support" (in a very general sense) and that cost isn't disappearing with Linux. Especially since it is easier to find badly und…

> for the same reason math problems require one to show their working. We don't put our transitional proofs in papers, only the final best one we have. So that analogy doesn't work…

> While it's noisy and complicated for humans to read through, this session info is primarily for future AI to read and use as additional input for their tasks. Context rot is very…

I understand the idea but the way I work, a commit isn't "a" session, it's potentially tens of sessions with branching in each session. I honestly don't know if I'm doing something…

What problem were you trying to solve ? ( not that you need to solve one. I’m just curious )

https://github.com/edk2-porting/edk2-rk3588

Well according to the website you cannot buy a fully mechanical lens anymore so it doesn’t appear to be true that they sell cameras with zero electronic anymore

It's useless for LLMs and it's actually slower than Hailo 8H for standard vision tasks, so, why ?

How, when foundries are a natural monopoly? How can you realistically create a startup to build a multibillion / multi year fab ?

It could be 1 dollar a month, I'm still not paying to use my own ressources

I wouldn't trust LMArena results much. They measure user preference and users are highly skewed by style, tone etc. You can litteraly "improve" your model on LMArena by just adding…

There’s just no way to stop cheating client side despite what devs love to think. But server side anti cheat is much harder and requires more work; it’s much simpler to just instal…

CTRL-F: "Fokker-Planck" > 97 matches Ok I'll read it :)

Exactly my plan yes :)

Pandoc isn't a typesetter, it's more a translation engine between various typesetting languages (and it can then call the typesetter). Pandoc is a ridiculously underrated and power…

I think I'm going to subscribe without any intention of using the app just as a "financing" donation. I love, and hate, LaTeX and the idea of a LaTeX successor / alternative is inc…

> Has the situation changed on AI code legally speaking? I think the position has shifted to "let's pretend this problem doesn't exist because the AI market is too big to fail"

While your example is not AI related (should be handled by the LSP integration with "Rename Symbol") I agree that Zed's Next Edit Prediction model is *extremely* subpar. Imho they …

> This makes sense, right? It's a relatively novel thing to be writing. It's really not though? Honestly I'm surprised coding agents fail hard at this task apparently

> Let's not kid ourselves that maintaining 10TB with resiliency handling and other controls built in is something that is trivial. It is though. People in tech need to stop pretend…