R: 28 / I: 2
Does anyone here still use a CRT?
Does anyone here still use a CRT?
R: 5 / I: 1
PeerTube
Is there anything worth watching on PeerTube?
R: 3 / I: 0
If Curry–Howard correspondence is true and proofs are programs, why don't software engineers just write proofs instead of programs? That we they wouldn't have to worry about proving their programs correct since they would be already proofs.
If Curry–Howard correspondence is true and proofs are programs, why don't software engineers just write proofs instead of programs? That we they wouldn't have to worry about proving their programs correct since they would be already proofs.
R: 48 / I: 26
Daily Programming Thread
What are you working on, /g/?
R: 7 / I: 1
To be honest I just try to understand the code and the changes, which means that most of the time I point out things that hinder comprehension, like misleading variable names, overly complex approaches, and sometimes bugs in the logic or missing corner cases. But I feel like most of my comments are just nitpicking and I am wasting everyone's time.
Code Reviews
What do you look for in a code review?To be honest I just try to understand the code and the changes, which means that most of the time I point out things that hinder comprehension, like misleading variable names, overly complex approaches, and sometimes bugs in the logic or missing corner cases. But I feel like most of my comments are just nitpicking and I am wasting everyone's time.
R: 0 / I: 0
Is there any new, up and coming technology that makes you excited? I feel like everything new I hear about is either boring or outright designed to make our lives worse.
Is there any new, up and coming technology that makes you excited? I feel like everything new I hear about is either boring or outright designed to make our lives worse.
R: 3 / I: 0
Free Software GUI
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?
R: 30 / I: 3
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?
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?
R: 38 / I: 6
What is the worst thing ever happened on your PC?
What is the worst thing ever happened on your PC?
R: 3 / I: 0
How are these videos made? It looks like some kind of animating software and not hand drawn, right?
How are these videos made? It looks like some kind of animating software and not hand drawn, right?
R: 7 / I: 0
AMD won
AMD won
R: 4 / I: 2
Is GNU Guile's ice-9 module named after Cirno?!
Is GNU Guile's ice-9 module named after Cirno?!
R: 39 / I: 2
What got you into Linux?
What got you into Linux?
R: 27 / I: 5
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?
Running a chan
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?
R: 4 / I: 2
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.
Verifying AGPL compilance?
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.
R: 3 / I: 0
Netrunner thread
Netrunner thread
R: 4 / I: 1
Do you love Free Software? Let's share some Free Software that we love!
Do you love Free Software? Let's share some Free Software that we love!
R: 6 / I: 3
Would it be possible to have a programming language that is not based on English reach mainstream adoption?
Would it be possible to have a programming language that is not based on English reach mainstream adoption?
R: 10 / I: 0
Is 4GB of ram still normal in present day? I switched from 2GB and everything works perfectly. For me personally, it is enough.
Is 4GB of ram still normal in present day? I switched from 2GB and everything works perfectly. For me personally, it is enough.
R: 2 / I: 3
Unusual Programming Books
Let's collect here programming books that are unusual in some sense, be it their approach, presentation, or simply just quality.
R: 1 / I: 0
You can download any paper from ACM for free, until June 30, 2020! Quickly grab what you couldn't even find on sci-hub!
Don't know what to read? The Computing Surveys journal is full of papers that give an overview to the state of the art in many topics, it's always a good way to discover new problems, challenges and solutions: https://dl.acm.org/journal/csur
Happy learning!
Open Access to ACM Digital Library During Coronavirus Pandemic
https://www.acm.org/articles/bulletins/2020/march/dl-access-during-covid-19You can download any paper from ACM for free, until June 30, 2020! Quickly grab what you couldn't even find on sci-hub!
Don't know what to read? The Computing Surveys journal is full of papers that give an overview to the state of the art in many topics, it's always a good way to discover new problems, challenges and solutions: https://dl.acm.org/journal/csur
Happy learning!
R: 11 / I: 7
Have you heard of Hy?
It's Lisp that works like Python.
You can access Python libraries even.
What do you think of it?
Have you heard of Hy?
It's Lisp that works like Python.
You can access Python libraries even.
What do you think of it?
R: 1 / I: 0
Does anyone have a link for the source code of the Antidepressant CSS theme?
Does anyone have a link for the source code of the Antidepressant CSS theme?
R: 36 / I: 3
What browsers do you guys use to surf the web?
I use firefox developer edition so i can install my won addons.
What other tools do you use to get around the net?
What browsers do you guys use to surf the web?
I use firefox developer edition so i can install my won addons.
What other tools do you use to get around the net?
R: 3 / I: 0
Has any of you operated something like that? Or has a cool webspace?or want to do one with me
ImageBoards
I wanted to make a somewhat niche imageboard but my friend dropped out of the developing due to depression and i am more of an idea/design/admin kinda of person than good programmer and it ended up being more work that i can handle, i've been admin/mod for forums back in the day but never really the coding guy so we kinda just shot down the domain.Has any of you operated something like that? Or has a cool webspace?
R: 6 / I: 0
VR stuff
Whoops, sorry, lost my Oculus Rift.
R: 7 / I: 1
SPI debugging
*AAAaargh why doesn't it work on the lcd display channel with this board lol
R: 16 / I: 3
Arch; the Bad, the Ugly, the Worse
Good morning, evening and night, /g/. I'd like to talk to you about a pretty popular but lacking and somewhat horrible distro that you're all aware of; Arch GNU/Linux.