251–260 of 428 posts
Side note, but I hate that we're moving to a world where coding costs a subscription. I fell in love with coding because I could take my dad's old Thinkpad, install Linux for free - fire up Emacs and start hacking without an internet connection. We're truly building walls everywhere.
Does anybody feel the same? I feel like nobody touched upon this, but it's always very nice to feel interfaces are responsive.
Very unrelated, but: I run Linux on an older Thinkpad and I appreciate fast websites. This is a very well-designed website! It loads fast and it scrolls quite quickly. Does anybody feel the same? I feel like nobody touched upon this, but it's always very nice to feel interfaces are responsive.
I accessed this through a Qubes AppVM (no GPU, limited memory and CPU budget) and the presence of videos makes this a very slow scrolling experience for me.
In general, anything that involves JS/CSS animation/blur/effects makes sites pretty slow (up to unusable for me). The unlogged homepage for github.com for example, spins my cpu at 100%.
Side note, but I hate that we're moving to a world where coding costs a subscription. I fell in love with coding because I could take my dad's old Thinkpad, install Linux for free - fire up Emacs and start hacking without an internet connection. We're truly building walls everywhere.
Don’t worry. There’s literally nothing an llm can write or tell you that you can’t write yourself or find in a manual somewhere.
That's like saying, there's literally nothing a service business can do for you that you can't do yourself. It's only true in a theoretical sense, if neither time nor resources are a constraint.
In such hypothetical universe, you don't need a dentist - you only need to spend 5+ years in medical school + whatever extra it takes to become proficient with tools dentists use + whatever money it takes to buy that equipment. You also don't need accountants, lawyers, hairdressers, or construction companies. You can always learn this stuff and do it yourself better!
Truth is, time and attention is finite. Meanwhile, SOTA LLMs are cheap as dirt, they can do pretty much anything that involves text, and do it at the level of a mediocre specialist - i.e. they're literally better than you at anything except the few things you happen to be experienced in. Not perfect, by no means error-free - just better than you. I feel this still hasn't sunk in for most people.
Earlier quoted context omitted.
> Your domain is weird/rare, so LLMs are terrible because their training data is very limited. And this is how knowledge collapse [1] shows its' head. [1] https://arxiv.org/abs/2404.03502 I am not a big fan of LLMs so I try them once in a while, asking to "implement blocked clause decomposition in Haskell." They can recite a paper (and several other papers, with references) almost verbatim, but they do not posess eno…
I gave Claude 3.5 Sonnet your prompt and it generated this: https://claude.site/artifacts/7aa41881-937e-4863-a407-c999ea... With this example usage: -- Example usage: let clause1 = Set.fromList [1, 2] -- represents (x1 ∨ x2) let clause2 = Set.fromList [-1, 3] -- represents (¬x1 ∨ x3) let formula = Set.fromList [clause1, clause2] -- Decompose the formula let (nonBlocked, blocked) = decompose formula How did it do?
Did it do just from the prompt or you had to nudge it? Can you share full chat history?
Earlier quoted context omitted.
Although, tbf, some libraries are documented better than others. Also, local llms with an agentic tool can be a lot of fun to quickly prototype things. Quality can be hit or miss. Hopefully the work trickles down to local models long-term.
And you think an llm can generate code to use an undocumented library? :D
Obviously, if the library or code using it weren't part of the training data, and you don't supply either in the context of your request, then it won't generate valid code for it. But that's not LLM's fault.
There's no way I am using a Chinese IDE with VSCode (w/ Coppilot) and Cursor existing after reading the privacy issues in the court documents with TikTok. Bytedance had some extremely overreaching expectations of data it wanted. That being said, I am using (Chinese) Deepseek r1 because there isn't currently a free LLM on par with it. I am careful with what I share though, a little more so than with any others that ar…
I doubt that this sends back tons of data. Early TikTok was basically a standard Chinese startup in terms of how they collected data to optimize the app... It's not because they cared about what "you" are doing. The Chinese tech ecosystem is just more competitive than the US one. Most social media companies have been careless with data until they got public backlash though... TikTok's systems are probably more secure…
Does that sound like a business or an intelligence front?
Side note, but I hate that we're moving to a world where coding costs a subscription. I fell in love with coding because I could take my dad's old Thinkpad, install Linux for free - fire up Emacs and start hacking without an internet connection. We're truly building walls everywhere.
Don’t worry. There’s literally nothing an llm can write or tell you that you can’t write yourself or find in a manual somewhere.
Please, please, stop the AI IDEs...
Earlier quoted context omitted.
This is probably true, but at least in principle one of those foreign nations stands for free speech and democracy and the other stands for censorship and authoritarianism. [Edit: hey Europeans commenting and downvoting below, note the words "in principle" in the above comment and evaluate which of the two countries do or do not purport to stand for these things despite whatever your hot take may be on the current mo…
That's 2 words non US people usually don't think when they think US. Democracy is literally the last thing that would come to my mind right now. Edit:// "In principle" chinas gov stands for stability, economic development and national unity...
As did Stalin, Mussolini, Hirohito and the National Socialist Party. It's the "how" that matters.