/g/ - Technology

>>265
lainchan was on its last legs since the arisu split, then after "small" imageboards became cool it was the most targeted one since it was the best one, a while later a the fall of 8chan brought all the stragglers were looking for an alternative because the other boards suck(including 8chan) not realizing they are the reason that it sucks and whenever they go they will bring the decline with them.

>>178
this thread makes me physically sick

>>222
>I feel like there isn't enough space for shitposting.
I feel like the internet has enough space for anonymous shitposting as it is.

>>161
just as an reminder for all of you newfags

https://web.archive.org/web/20151103045601/http://jinteki.industries:80/kalyx.html

>>306
Its not about the shit posting but about the people who do it

>>347
I don't want to defend the retarded nigger but jinteki was also a retarded faggot who didn't know how to setup gpg. The https://web.archive.org/web/20151026070459im_/http://jinteki.industries/files/kalyx1.png pic was a reply directed at him when kalyx got frustrated by his incompetence. IIRC he said something like "I don't know how to set it up, do you have a tox account" or something similar, I believe that Lainchan still has a banner with that quote.

That's what I use, so I guess I win too?

Using Ryzen AMD CPU as well here.

Apple announced that they will be using their own chips; I wonder how that will effect x86's monopoly on desktop computing.

>>319
It probably won't. Macs already had compatibility issues with things made for PCs (e.g. Linux), so I doubt widening that gap further will change much. Then again, I tend to be continuously surprised at what kind of cues tech companies take from Apple. Like, it didn't surprise me at all when iPhone abandoned headphone jacks, but I was absolutely baffled when other phone companies followed suit.
If anything breaks the x86 monopoly, I really hope it's something open source like RISC-V and not just companies trying to copy Apple's dumb bullshit. Who am I kidding though, that's not gonna be the case.

>>334
Thanks for the confirmation. Hope it's back up soon.

Mystery lifted: https://textboard.org/prog/140#t140p25

I started reading the first volume of Software Foundations, Logical Foundations. It's pretty nice so far, but today I did nothing but the pumping exercise in the IndProp chapter and I still did not manage to finish it. I just can't figure out the App case. I already did every other case but this one just seems impossible.

Maybe I should be working on some project instead of always just reading.

>>343
I get too engrossed and spend all night playing with my Coq. This can't be healthy! I managed to figure out the pumping lemma but now I am stuck on palindrome_converse and can't progress at all. I need induction on (l = rev l) but of course the usual list induction won't do it, because (h :: t = rev h :: t) does not mean (t = rev t).

>>343
>>346
I'm proud to announce that I have finished that chapter. If I continue progressing at this rate I might finish the first volume by the end of the year!

I found this channel that has videos about Guix and Scheme: https://video.hardlimit.com/video-channels/the_gnu_guy/videos

The FSFE has a PeerTube channel: https://peertube.social/accounts/fsfe/

>>339
Don't tell me Kurt Vonnegut knew about Cirno??

Is this a good book? Should I read it?

>>340
>Don't tell me Kurt Vonnegut knew about Cirno??
I don't know what a Cirno is but if you have a date associated with it you may draw some conclusions by comparing it to the book's date.

>Is this a good book? Should I read it?
As Hugo award nominees go it's on the weakish side, but if you're into social satire with black humor you might give it a rainy afternoon.

>>341
Cirno is a character from the Touhou video games. She's an ice fairy who is associated with the number nine (⑨) because she's an idiot.

The Godot (game engine) discord server had a room where people would post RMS memes. They also had the command .rms.

So one day I was curious and watched a talk of RMS.
And because I'm rational, I could see how objectively everything this man was saying made sense.

Became free a few weeks after. Never looked back. Best choice of my life.

>>282
Embrace, extend, and extinguish

>>311
We are already at the extend phase.

>>83
Windows

Web development, if I were to rely on containerization doing it on a dedicated OS would spare me a couple headaches.

>>300
You were saying how you rolled your own.
>>303
There's nothing better to do here but to reply to bait. Nobody really cares about this place.
>>304
Nice projection. Nobody likes it when shit is shilled. Being an imageboard doesn't mean free speech extremism. I don't even like lain. Are you a laincel?

>>305
>I don't even like lain.
Come say that to my face, motherfucker!

>>305
Nothing wrong with a little shilling every once in a while
>I don't even like lain. Are you a laincel?
Why don't you like lain? I enjoyed the the show and the topics that it introduced, like surveillance and the wired. I thought this was a technology and anime imageboard. Theres even a Lain board. Is she too loli for you?

all you guys are faggots and losers and a are ruining backwater boards with your autistic/incel/neet/ shit it was never about that

your identity is fucking anonymous stop powerleveling and spilling your life all over the internet


>>305
>I don't even like lain.
MODS ban please thats like going to an IRA meeting and praising the english

>>155
>>156
I can help you, message me at XMPP, loin@xmpp.is
I hope its not too late.

Freaky. I think they draw a couple images and use animation to fill in the rest

Try asking on textboard.org maybe.

>>207
Is my thread not welcome here?

I believe this to be very important in today's climate where every megacorporation tries to paint themselves to be great supporters of "open source" and many of our organizations are funded by their "generous donations". But the problem is that they don't give a shit about software freedom. Take Visual Studio Code for example. Microsoft used to advertise it as being Open Source, and millions in good faith downloaded binaries of it. Until a careful eye noticed that the source code released as "Visual Studio Code" was different from the binaries released as "Visual Studio Code". In fact, the binaries even have their own license agreement that you have to accept to use them. After being called out on it, Microsoft modified their website and now Visual Studio Code only claims that it was "built on Open Source", as if that was something to be proud of. But the damage has already been done. I think Docker employed (or still employs) similar tricks. The problem is, pushover (so-called "permissive") licenses do not protect you from this trickery at all. With copyleft licenses, the source code of the binary has to be provided. But with pushover licenses, corporations can put some crippled version of their software on Github as bait, and distribute proprietary versions of it in binary form. This is why I think verifying source-to-binary correspondence, enabled by bootstrappable and reproducible builds, is so important.

>>210
https://media.libreplanet.org/u/libreplanet/m/the-four-free-ums/
There was this talk at LibrePlanet 2020 by someone from the Open Source Initiative(!) about some current practices that companies employ to appear as part of the Free Software movement without actually adhering to the principles of software freedom.