technology

22835 readers

1 users here now

On the road to fully automated luxury gay space communism.

Spreading Linux propaganda since 2020

Rules:

1. Obviously abide by the sitewide code of conduct. Bigotry will be met with an immediate ban
2. This community is about technology. Offtopic is permitted as long as it is kept in the comment sections
3. Although this is not /c/libre, FOSS related posting is tolerated, and even welcome in the case of effort posts
4. We believe technology should be liberating. As such, avoid promoting proprietary and/or bourgeois technology
5. Explanatory posts to correct the potential mistakes a comrade made in a post of their own are allowed, as long as they remain respectful
6. No crypto (Bitcoin, NFT, etc.) speculation, unless it is purely informative and not too cringe
7. Absolutely no tech bro shit. If you have a good opinion of Silicon Valley billionaires please manifest yourself so we can ban you.

founded 4 years ago

MODERATORS

[email protected]

I LOVE BUILDING CHROMIUM (hexbear.net)

submitted 7 months ago by [email protected] to c/[email protected]

25 comments fedilink hide all child comments

EVERY PIECE OF SOFTWARE NEEDS TO HAVE AN ENTIRE COPY OF GOOGLE CHROME IN IT TO DISPLAY A BASIC USER INTERFACE, HAVING 10 SLIGHTLY DIFFERNET VERSIONS OF ELECTRON INSTALLED AND LOADED INTO MEMORY IS THE OPTIMAL SYSTEM SETUP

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 6 points 7 months ago* (last edited 7 months ago) (1 children)

That AUR contributer deserves some sternly worded comments on the package.

[–] [email protected] 3 points 7 months ago (1 children)

Without double-checking I'm pretty sure it was elan-lean but please check yourself before opening the hatemail cannons lol

[–] [email protected] 2 points 7 months ago (1 children)

I'm more concerned about the software you're trying to install than the AUR maintainer. A version manager for a functional language thats a theorem prover but also a programming language. Written in rust, © Microsoft. Wait elan is in rust, lean is in c++.

Elan has a dependency that builds chrome. The AUR maintainer just runs cargo build.

[–] [email protected] 1 points 7 months ago

Ah, so it was that one! Unfortunate. Someone should probably tell them, although perhaps it's an upstream issue. Anyway Lean is really cool! There's a fun puzzle game people made with it here: https://adam.math.hhu.de/#/g/leanprover-community/nng4