arthur-st (u/arthur-st)

arthur-st commented on GPTs and Feeling Left Behind whynothugo.nl/journal/202... · Posted by u/Bogdanp

siscia · 20 days ago

Do you really?

Frontier models seems remarkably similar in performance.

Yeah some nuances for sure, but the whole article could apply to every model.

arthur-st · 20 days ago

4o on ChatGPT.com vs. Opus in an IDE is like cooking food without kitchen tools vs. using them. 4o is neither a coding-optimized model nor a reasoning model in general.

arthur-st commented on Ukrainian hackers destroyed the IT infrastructure of Russian drone manufacturer prm.ua/en/ukrainian-hacke... · Posted by u/doener

HenryBemis · a month ago

I remember Steve Gibson saying some years back that the only reason USA doesn't (cyber-)'attack' Russia's train infra is the inability to 'hide the traces' of the attack, and it would be 'easily' attributed/mapped back to the USA causing (political) issues. Well, Ukraine doesn't have 'that' challenge.

On the other hand (and I'm not defending a drone company), anyone that has a business should know by now that ransomware (with our without deletion) is a real thing, and it's not an 'if' question, it's a 'when' question.

I have never worked with/for a Russian company, so it would be interesting to hear/read from someone who has, how 'well organized' are they? GRC-wise. Assuming that someone would run the COBIT framework on them (Russian companies), would the 'average' be 'ok' or it's a big mess (kinda like working for an EU company in early 00's)?

arthur-st · a month ago

I did work for a Russian financial multinational just before COVID-19, as a native Russian speaker, and it was a free-for-all mess interally. The IT side had a load-bearing, old-school sysadmin type with a personality for heroics.

arthur-st commented on Why Cline doesn't index your codebase cline.bot/blog/why-cline-... · Posted by u/intrepidsoldier

olejorgenb · 3 months ago

I've been wondering when someone would finally use the actual code structure to do RAG. It seems like such an obvious, if somewhat harder (at least if you need to support many languages), approach.

The vector/keyword based RAG results I've seen so far for large code bases (my experience is Cody) has been quite bad. For a smaller projects (using Cursor) it seems to work quite well though.

arthur-st · 3 months ago

Aider has been doing that for a long time now, it was the first project to do this afaik.

arthur-st commented on OpenAI reaches agreement to buy Windsurf for $3B bloomberg.com/news/articl... · Posted by u/swyx

retornam · 4 months ago

I'm skeptical about this VSCode fork commanding a $3 billion valuation when it depends on API services it doesn't own. What's their moat here?

For comparison, JetBrains generates over $400 million in annual revenue and is valued around $7 billion. They've built proprietary technology and deep expertise in that market over decades.

If AI (terminology aside) replaces many professional software engineers and programmers like some of its fierce advocates say it would, wouldn't their potential customer base shrink?

Professionals typically drive enterprise revenue, while hobbyists—who might become the primary users—generally don't support the same business model or spending levels.

What am I missing here?

arthur-st · 4 months ago

They have a healthy enterprise customer base, and an engineering team that clearly knows how to work with power users (which OpenAI is bad at).

arthur-st commented on OpenAI reaches agreement to buy Windsurf for $3B bloomberg.com/news/articl... · Posted by u/swyx

crsv · 4 months ago

Man why did these guys do that OpenAI couldn’t replicate for less than 3Bn on reasonable timeline? This seems insane.

arthur-st · 4 months ago

They have an old-school enterprise sales operation that is doing superb work. Apart from that, ChatGPT's projects are useless crap (can't read other convos in a project; can't generate project documents from a convo), and so clearly they would get value out of just getting some developers who have built anything of use to a poweruser.

arthur-st commented on Modern LaTeX github.com/mrkline/modern... · Posted by u/signa11

arthur-st · 4 months ago

Having experience with digitizing a university textbook in physics by hand, this is a very nice LaTeX guide for everyone interested. One thing worth noting from 2025 perspective that the "default" local setup is most likely going to be VSCode with LaTeX Workshop[1] and LTeX+[2] extensions, and that you should use TeX Live on every platform supported by it (since MiKTeX and friends can lag). Also, use LuaTeX, as it's the officially recommended[3] engine since November 2024.

[1] https://marketplace.visualstudio.com/items?itemName=James-Yu...

[2] https://marketplace.visualstudio.com/items?itemName=ltex-plu...

[3] https://www.texdev.net/2024/11/05/engine-news-from-the-latex...

arthur-st commented on Modern LaTeX github.com/mrkline/modern... · Posted by u/signa11

nanna · 4 months ago

You mean XeTeX for LuaLaTeX, I think.

arthur-st · 4 months ago

No, the parent clearly indicates that they consider XeTeX a worse choice than LuaTeX.

arthur-st commented on Redis is open source again antirez.com/news/151... · Posted by u/antirez

fastball · 4 months ago

Isn't it though? They weren't contributing before and they weren't paying Redis corp before, now they are at least contributing to a fork (and still not paying Redis corp).

Presumably some of the things being worked on in Valkey, etc can be upstreamed back to Redis in some form (not entirely straightforward since it is a hard fork with a diff license, but concepts can be borrowed back too).

e.g. apparently Valkey has introduced some performance improvements. Redis can implement similar if it seems worthwhile. Without the fork those performance ideas might have never surfaced.

arthur-st · 4 months ago

> They weren't contributing before

That is not true. Companies like AWS had paid staff working as OSS Redis core maintainers before the licencing schism. This talk of "achieving their goals" is just bluster serving no reason other than damage control.

arthur-st commented on "We're building a new static type checker for Python" twitter.com/charliermarsh... · Posted by u/shlomo_z

zelphirkalt · 7 months ago

I haven't had any issues from MyPy regarding speed. So performance issues did not exist whenever I used MyPy. Also not sure why I need incremental anything. I save a file and then I want it to be checked.

If I am not implementing a LS, then how is it of any importance, whether the type checker was designed with typing a LS? How does that benefit me in my normal projects?

If there are no semantic improvements, that allow more type inference than MyPy allows, I don't see much going for Pyright. Sounds like a "ours is blazingly faster than the other" kind of sales pitch.

arthur-st · 7 months ago

Pyright has semantic improvements (and also some differences) over MyPy. As for using the type checker as a language server, it's difficult to go back to “it's compiling” after you've had one stop you from typing bugs out in-flight.

arthur-st commented on "We're building a new static type checker for Python" twitter.com/charliermarsh... · Posted by u/shlomo_z

insane_dreamer · 7 months ago

I've found pyright to be limited in its ability to infer types, especially compared to Pycharm, which can resolve class inherence across multiple modules quite well. I noticed this when trying to use Zed instead of Pycharm.

arthur-st · 7 months ago

Check if your configuration allows pyright to use other files in the workspace.