[ a / b / cf / cy / g / lain / un ] [ fresh / meta ] [ home / rules / faq ]

/g/ - Technology

Programming and Electronics
Name
Subject
Comment
Verification
File
Embed
Password (For file deletion.)

Hop in to our IRC channel! #wirechan@rizon.net

File: 1576073341839.jpg (516.95 KB, 676x842, 1384493133443.jpg)

 No.161[Reply]

Lainchan and Arisuchan are full of idiots now, and 4/g/ is out of the question. But this imageboard could use some activity, any ideas?
23 posts and 3 image replies omitted. Click reply to view.

 No.266

>>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

 No.306

>>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.

 No.347


 No.348

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

 No.351

>>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.



File: 1562862340773.png (443.24 KB, 1200x675, ClipboardImage.png)

 No.104[Reply]

AMD won
2 posts omitted. Click reply to view.

 No.108

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

 No.172

Using Ryzen AMD CPU as well here.

 No.319

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

 No.327

>>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.

 No.350




File: 1581460038602.png (503.48 KB, 934x1000, daily_programming.png)

 No.211[Reply]

What are you working on, /g/?
30 posts and 19 image replies omitted. Click reply to view.

 No.335

File: 1595113198153.jpg (658.87 KB, 900x1273, t.jpg)

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

 No.336


 No.343

File: 1595789829717.png (444.99 KB, 1280x720, 1595728207571-sicp.png)

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.

 No.346

File: 1596142644191.png (10.36 KB, 855x855, 0b447a826e8900385d59db99a4….png)

>>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).

 No.349

File: 1596573228860.png (185.08 KB, 600x600, cc02bcb0378c60a175e8483b85….png)

>>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!



File: 1591557009759.jpg (731.91 KB, 2798x1817, 2020-04-25_peertube-sketch.jpg)

 No.316[Reply]

Is there anything worth watching on PeerTube?

 No.344

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

 No.345

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



File: 1595267384087.jpg (256.45 KB, 1716x2362, 8a37c505978b5ace14bb55fe6a….jpg)

 No.337[Reply]

Is GNU Guile's ice-9 module named after Cirno?!

 No.339


 No.340

File: 1595346058806.jpeg (766.64 KB, 800x1260, 16cc7ecc198b4e2aab372683d….jpeg)

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

Is this a good book? Should I read it?

 No.341

>>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.

 No.342

File: 1595612602397.jpg (49.91 KB, 800x800, b969a7da731d61b20bb399a2ad….jpg)

>>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.



File: 1553638781535.png (58.25 KB, 220x203, 220px-Gnu-and-penguin-colo….png)

 No.83[Reply]

What got you into Linux?
34 posts and 2 image replies omitted. Click reply to view.

 No.283

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.

 No.311

>>282
Embrace, extend, and extinguish

 No.312

>>311
We are already at the extend phase.

 No.314

>>83
Windows

 No.338

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



File: 1566843455180.gif (1023.34 KB, 500x500, floating-point.gif)

 No.144[Reply]

Have you ever operated a chan?

What does it take, in terms of memory, CPU, bandwidth and disk space to run a chan? Let's suppose it's at wirechan's posting rate.

What software is best? Vichan? Lynxchan?
24 posts and 3 image replies omitted. Click reply to view.

 No.305

>>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?

 No.307

File: 1590834340846.jpg (2.42 MB, 3508x4961, sword.jpg)

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

 No.309

>>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?

 No.313

File: 1590959264175.jpg (27.99 KB, 322x453, you.jpg)

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

 No.320

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



File: 1592149922082.png (2.34 MB, 1500x1997, __tsukino_usagi_and_seiya_….png)

 No.318[Reply]

What makes the graphical interface of proprietary software superior to that of Free Software solutions? I know that people like to complain about GIMP and others, but I got pretty used to it at this point and never used proprietary alternatives. Are they really that much better? What's the difference?


 No.308[Reply]

How are these videos made? It looks like some kind of animating software and not hand drawn, right?

 No.310

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



File: 1581156554049.png (789.07 KB, 761x1066, 86532c04290d84566673d48110….png)

 No.206[Reply]

With the GPL, for any binary that you distribute, you have to make the corresponding source code available. With reproducible builds (see: https://reproducible-builds.org/), it is possible to verify that the binary was indeed compiled from the available source code. All you have to do is to compile the source code yourself, and compare the resulting binary with the one distributed. For an example of this in practice, see guix's `challange` command.

With the AGPL, if you run a service accessible through a network, you have to make the corresponding source code to the service available to the users. But is there a way for the user to verify that the service provided corresponds to the source code available? I can't think of any situation where the service couldn't just simply lie about what it is.

 No.207

Try asking on textboard.org maybe.

 No.208

>>207
Is my thread not welcome here?

 No.210

File: 1581359975763.jpg (73.11 KB, 850x1200, 994779f8f513495c26788a9ebb….jpg)

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.

 No.295

File: 1590608259919.png (210.98 KB, 1102x826, slide 18.png)

>>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.



Delete Post [ ]
Previous [1] [2] [3]
| Catalog
[ a / b / cf / cy / g / lain / un ] [ fresh / meta ] [ home / rules / faq ]