arendjr

joined 2 years ago
[–] arendjr@programming.dev 1 points 2 days ago

Right, gotcha. So, a few things here:

Reasonable, though it could be argued they are full of subjective experiences, just all mixed together.

This argument wouldn’t really make sense to me, because an experience and the words describing said experience are clearly not the same. An LLM only possesses the later, but the actual experience is something conscious that an LLM does not have.

Words are approximations, and often poor ones at that. For us humans, we can use them to describe experiences so that hopefully they bring understanding in the recipient, but whether the recipient truly understands and whether they can relate to the experience, also depends on their own experiences and their empathic abilities. None of that is at work inside an LLM.

But indeed, thinking that an LLM does have such abilities would be an example of attributing person-like qualities to it.

Now, if a person does develop a sense of faith from LLM output, is that more or less valid than them developing a sense of faith through a thunderstorm? That depends on the faith, I guess.

If someone truly believes the LLM to be person-like (or godlike) that would be a nonsensical faith, as much as someone believing that firestorms are the wrath of god, for instance.

If someone believes that an LLM-generated text provided them with a critical insight that turned their life around, and therefore LLMs are divinely inspired, it’s as harmless as someone believing that a thunderbolt that struck nearby gave them the necessary wakeup call that turned their life around, and therefore thunderstorms are guided by the divine.

Of course in either case, if they start to revere LLMs/thunderstorms above other aspects of reality, it becomes problematic.

Personally, as a more spiritually-inclined person, I think we should be able to say that both thunderstorms and LLMs are awe-inspiring, and I think both can, in theory, be a vessel for the divine. But ultimately, neither are divine in and of themselves.

So isn’t there a difference between faith based on LLMs vs. faith based on firestorms? I think it really depends on the case, but there’s still an important distinction: A firestorm doesn’t pretend to be human, or doesn’t try to trick people into pretending it has humanlike qualities or experiences. So generally speaking, people tend not to develop weird faiths based on thunderstorms. But LLMs are, by design, imposters pretending to have humanlike qualities. This is why I think we tend to be dismissive of people believing in things told by LLMs, because it’s so easy to fall into the idea of ascribing real humanlike qualities to them and developing psychotic thoughts from there.

[–] arendjr@programming.dev 1 points 2 days ago (2 children)

There’s a lot of levels at which I could reply to this comment, because it’s quite a philosophical topic, but let me clarify what I meant at the end of my last comment, before writing a wall of text here :)

As I said in my previous comment, faith is largely a means to make sense of our subjective experiences. We can refine our faith by talking about our experiences with other people.

So the most basic fallacy I was alluding to, from people who believe you can refine your faith by talking with an LLM is this: An LLM has no subjective experiences, because it doesn’t experience anything at all. This is one way how using the output from an LLM as a source of inspiration for your faith sets you up for psychosis. You start believing things that have no basis in reality or anyone’s genuine experiences. Rather, you may start believing in machine-generated approximations from which coherence has been lost.

But it seems your understanding was slightly different, in that people might develop their own sense of faith from experiences with an LLM itself rather than through the exchange of presumed experiences with the LLM. Do I understand correctly that you think some people attribute godlike qualities to the LLM, maybe through the presumption that it is an AGI? That would be a bit of a different discussion indeed :)

[–] arendjr@programming.dev 7 points 5 days ago (6 children)

I’m not the person you responded to, but I can try to take a stab at that…

for a concept that prohibits proof as part of it's definition, how do you determine that one faith (or system) is better than another?

Objectively, you don’t. But people’s experiences go beyond the objective, and we all have our subjective experiences too. Faith is how we make sense of those.

The question then isn’t, which one is better, but whose other experiences and faiths do we relate to? We build friendships and alliances based on those. Not because they’re better, per se, but because we feel comfortable or safe with them.

From that perspective it makes a lot of sense that we value other humans, because they can make us feel understood and appreciated, and we can exchange ideas with them which in turn refines our faith. Now, some people get tricked into thinking you can do the same with machines, but well, I think you can guess where I too stand on that idea.

[–] arendjr@programming.dev 8 points 1 month ago

I used Elixir for a project in 2024, though I was not the lead on the backend part, so my exposure was limited. Still got a nice taste of it, and have to say I was positively impressed.

The Erlang VM is kind of amazing in the capabilities that it offers, and integrating with external languages was also easier than I thought it would be (we had a Rust core that we needed to link in).

As for Elixir specifically: the language is nice, but its Achilles heel is definitely that it’s dynamically typed. For this reason I would suggest having a look at GLEAM, even though I have no personal experience with that and don’t know how mature it is.

[–] arendjr@programming.dev 5 points 1 month ago

This reminds me of the early PS3 days where some universities would buy loads of consoles, because the Cell processor was a great bang for its buck (thanks to Sony subsidising them) and they’d just jailbreak them and put them in data centres.

[–] arendjr@programming.dev 9 points 2 months ago

Narrator: Rust has indeed already proven a very valid alternative.

[–] arendjr@programming.dev 8 points 2 months ago

Heh, the name wasn’t chosen to reach a huge audience anyway. If I get too many users, I might lose my zen over trying to support them 😂

But I’m happy to have a few folks along who don’t mind building their IDE from source.

[–] arendjr@programming.dev 3 points 2 months ago* (last edited 2 months ago)

Thanks!

As for the motivation of the fork, basically two reasons:

  • Even though you can disable AI features and configure the layout, the teasers and some UI elements remain as they try to draw you in.
  • I want to use their UI framework and editor for a different project too, so I want to be able to start that from a trimmed down base anyway.
[–] arendjr@programming.dev 4 points 2 months ago* (last edited 2 months ago)

Hehe, I suppose it might to some extent 😅 But well, I don't wish to control how others do their coding, and it would be silly to ignore other's code altogether because they used a different method than the one I prefer.

[–] arendjr@programming.dev 5 points 2 months ago (1 children)

Yeah, if you don't mind the UI clutter/teasers, it doesn't make much of a difference. For now, the most noticeable difference is that the default layout is more old-school, with the project layout and the git panel on the left-hand side again, though even without this fork you can configure it to be like that too.

[–] arendjr@programming.dev 12 points 2 months ago

Nothing wrong with them! But since I want to build another tool on top of it (for fiction/novel outlining and writing) I figured this was a good exercise to become familiar with the codebase. And since I still do some Rust development, having control over both my IDE and my writing software seemed an added benefit :)

[–] arendjr@programming.dev 5 points 2 months ago

I'll aim to sync changes from upstream about once a month. But given that I don't have prebuilt binaries or anything, for now I expect only people enthusiastic enough to build from source to use it :)

 

Zen is simply a fork of Zed for those who are happy to use an IDE free from AI, telemetry, and other cloud-based services. I use it as my daily driver and intend to maintain it so that I can also use it as the base for some non-developer tooling I want to create.

Only tested on Linux for now, though Zed's support for other platforms should be (mostly?) intact.

 

Biome is a formatter and linter for web languages: JavaScript, TypeScript, CSS, HTML, JSON, and GraphQL.

Version 2 adds type-aware lint rules and it is the first TypeScript linter that does not require tsc. Other new features include:

  • Monorepo support
  • GritQL Plugins
  • Revamped, configurable import sorting
  • Linter domains
  • Bulk suppressions
  • Analyzer assists
  • Many new lint rules
 

Biome is an integrated linter/formatter for JavaScript/TypeScript, CSS, HTML and GraphQL.

We are now in the process of implementing TypeScript-like inference (not full type checking!) that allows us to enable type-informed lint rules. This is similar to typescript-eslint except instead of using tsc we attempt to implement the inference ourselves.

This post describes our progress thus far, with a detailed overview of our type architecture.

 

Recent events in #politics triggered me to write a manifesto on the values of #Democracy and what we can to do preserve them.

 

Recent events in #politics triggered me to write a manifesto on the values of #Democracy and what we can to do preserve them.

 
45
DirectX Adopting SPIR-V (devblogs.microsoft.com)
submitted 2 years ago* (last edited 2 years ago) by arendjr@programming.dev to c/linux@programming.dev
 

SPIR-V is the intermediate shader target used by Vulkan as well, so it sounds like this may indirectly make DirectX on Linux smoother.

 

With this post I've taken a bit more of a practical turn compared to previous Post-Architecture posts: It's more aimed at providing guidance to keep (early) architecture as simple as possible. Let me know what you think!

view more: next ›