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

/g/ - Technology

Programming and Electronics
Password (For file deletion.)

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

File: 1516534332284.jpg (47.43 KB, 640x619, Belinea-monitor19crt.jpg)


Does anyone here still use a CRT?
23 posts and 2 image replies omitted. Click reply to view.


Cool! What's that figure in the blue dress?


Alice from Shin Megami Tensei.


I use one as my 2nd monitor. It was my family's first monitor, and it still works pretty well. 1280x1024 at 60hz, but i run it at a lower resolution to get 75hz out of it.
I don't use it as a main monitor because I enjoy the sharpness of my 1080p 60hz asus monitor. On my main, my sharpness is at 90/100.


I have 1 or 2, but unfortunately I can't use them because no VGA on computer :^(


no why would i use that

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


Is there anything worth watching on PeerTube?


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/




Bumping for interest, since I never found anything worth while myself. I do appreciate the service however. The additions in this thread so far seem interesting.


File: 1600795289188.jpg (128.42 KB, 992x686, 2020-05-21_Peertube-Modera….jpg)

Looks like the people at Framasoft realized how hard it is to find anything on PeerTube and made a semi-curated search engine for it: https://sepiasearch.org/
Announcement: https://framablog.org/2020/09/22/sepia-search-our-search-engine-to-promote-peertube/

File: 1599760604718.jpg (1.09 MB, 1200x1600, ba78fa26952a7c71999c7cfa23….jpg)


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.


I'm glad u asked.

>why don't software engineers just write proofs instead of programs

Well, technically, they do write proofs, since programs are the same thing.
The things is, they usually prove something like:
"given integers x,y, either floor(x/y) is an integer or RuntimeException".

I guess are asking why their proofs almost always prove this extra " or RuntimeException" (and actually there are usually more such terms).
The reason is just that it's easier to not be as precise, at least with the current technology.
For example, if i can use (int)( x*(x+2)/2 ) without having to prove that x*(x+2)/2 is an integer.

There are some languages whose programs really are proofs (e.g. Coq),
but they are more difficult to read and write, have less access to libraries, etc.

I think there should be a way to write safe, yet readable and efficient code,
Post too long. Click here to view the full text.


That's not entirely correct. What you describe is the typechecking, which is equivalent to the correctness check of a proof. But the statement that the proof proves is not this, but the type itself. If your proof is "floor(x/y)", what it proves is that if you can construct two integers, then you can construct an "integer or RuntimeException".

It's easier if we put it in a method. The following three methods have the same type and therefore prove the same statement:

int nonsense(int x, int y) throws RuntimeException {
return floor(x/y);
int nonsense2(int x, int y) throws RuntimeException {
return 0;
int nonsense3(int x, int y) throws RuntimeException {
throw new RuntimeException();

Post too long. Click here to view the full text.



>That's not entirely correct.

What i should've said is that, in hypothetical a program,
the expression floor(x/y) proves that, given integers x,y, either you can make an integer or throw a RuntimeException.

>throws RuntimeException

In every Java declaration,
there is an implicit RuntimeException,
since they can be thrown anywhere without declaration,
so any method's return type should be considered a union of the stated type with a RunTimeException throw.

> return bullshit(x);

I guess we should add an "infinite execution" to all our RuntimeException terms.
You could also return null,
Post too long. Click here to view the full text.

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


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


File: 1599945380148.jpg (829.83 KB, 855x1200, 5756ac83809e1f39e91f10dffe….jpg)

Programming in general would be the best, but I would be interested in advanced books on C, bash, Python, Scheme, OCaml or Smalltalk too. At the moment I am basically interested in what separates the novice from the expert, is it just experience or could I somehow "accelerate" it by studying?


I haven't read this one myself but try "Expert C Programming: Deep C Secrets" and SICP is recommended by some.


I've actually read both already… SICP is an introductory textbook, it's really good but not for experts. Expert C Programming had some fun stories but it's mostly just a collection of war stories.


Have you tried reading the source of some of the languages themselves? Surely that would help you to become proficient


File: 1600110395748.png (128.59 KB, 457x645, thumbs_up.png)

That's actually not a bad idea. In university I worked on the frontend of a C compiler for a while and I learned a lot from it. Thanks!

File: 1598810274591.jpg (321.89 KB, 1280x720, code review with the girls.jpg)


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.
2 posts omitted. Click reply to view.


>What is job security?


complacency kills, but at the same time not everything has to be a labor of love. if i'm not getting premium pay i don't generally put out a premium product.
if it's my own project it's a different story though


Do you have a linter hooked up with whatever your team uses for code reviews? If not, do everything you can to get one, it makes everyone's life much easier. But yeah, that sounds miserable.


File: 1599173287430.jpg (390.43 KB, 1024x783, reviewing.jpg)

Yeah no I agree with you. I think I perceive it this way since I'm only at the starting phase of my career and lack the exposure. I know that most pragmatic approach is to save my autism for my personal programming projects, rather than being a nuisance to everyone at work.

We do actually, but it mostly cleans up formatting errors and gives some warnings about unused variables and such. Not really that helpful. I mostly have a problem with their portrayed disinterest for structure and cleanliness. I perceive their mentality to be something along the lines of: "My first attempt did what it was supposed to, so why take a moment to consider it and possibly iterate it one more time.". That being said I realize that you have to draw the line somewhere. You probably get my point.

That's enough about my complaints. Reiterating OP's question: What do you look for in reviews?


In my last job, I was as picky as you, OP. But when it came to fixing all the findings, we were told to only fix potential bugs, and leave all the violations of the coding style guide in place. I especially hated it, when people write code, that doesn't even fit on a full HD screen with a small font. Like what were they thinking? I would be ashamed to deliver such code. The real fun begins when you try to do diffs side by side with such a mess.

I also felt like i was too picky all the time, because nobody else seemed to care, but on the other hand, this software was low-level code for devices peoples lifes depend on.

You probably don't want to know what shitty code is inside health devices like pacemakers or insuline pumps and what not.

File: 1599425324914.jpg (247.27 KB, 1414x946, oldtechnology_1043-1.jpg)


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.

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


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?


The X Window system had a lot of problems but most are solved now really, beyond being sort of complex and "insecure" (doesn't really matter, since Unix-likes are about as insecure anyway). Wayland is supposed to break things down into some D-Bus/XDG/logind nightmare or something, not entirely clear to me, maybe someone knows better here.
Ignoring all other options and going directly for GTK and Qt (Qt isn't nearly as bad as GTK though). GTK and Qt go through major version changes and impose change on programs which creates instability and extra developer work. GNOME has been changing its design paradigm and everyone else has to pick up their turds and deal with it.
GIMP is not even bad other than the fact that it uses GTK. Single window mode, dark mode, GEGL options, Mypaint brushes, its all been default for quite some time now, but Adobe users just won't switch away from an 8 year old program (the pre-cloud version of Photoshop). Never used Photoshop, the most complex proprietary graphics editor I have used is Paint.NET, but GIMP is more capable than that one. Krita is a little easier for painting and drawing but it has a worse text tool last I checked. I remember people whining about CMYK for years, but its in Krita and GIMP now as far as I know (there was a GIMP plugin for CMYK for years). I think they just don't want to learn a new tool, there will always be excuses, but they don't really mean much since these people don't plan to switch ever.


I like Eaglemode, graphical Emacs (the X kind without GTK), and some of the X window managers as well as mpv. Links (browser) has a graphical mode but it looks much like the curses interface. Worker is an interesting file manager and a good example of a classic X11 program that never died out, but its a bit too orthodox, so I don't use it.
Once you get away from the big GUI silos trying to replicate some other system semi-successfully, you can see the advantages and disadvantages of the Unix-like approach. Unix-likes don't really care much about graphics so there is a lot of complexity in the whole pile of display technologies. Ideally they're just trying to display a TTY, not a graphical environment with GL acceleration and programs capable of displaying OpenGL or Vulkan stuff with specialized hardware and drivers. It took many years for Mesa/drm (not digital rights management) in the kernel/X to work this well for a lot of people, and there are still problems. Desktop software wise, people had to write a lot of standards, XDG/ICCCM/EMWH and so on, and they're not really seamless or without problems, so its kind of terrible for an Apple, Windows, or BeOS clone. But on Unix-likes, you can have it your way usually, you can have your own window manager of choice that works well for you and can be modified to fit your needs, rice Emacs or Vim or whatever, tile those windows, etc.
Oh and NVIDIA doesn't care much about Linux or other open source platforms so CUDA isn't really as relevant (requires proprietary drivers), and OpenCL usage is limited, so there are less programs using or related to that sort of thing.


Good taste.

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


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?
25 posts and 3 image replies omitted. Click reply to view.



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


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.


tru but he wasnt jerking off in front of the camera and admited to ripping people off when they donated to the website


Maybe if it wasnt owned by lazy beaners.

File: 1530626857014.jpg (74.64 KB, 829x613, 52528994_p0_master1200.jpg)


What is the worst thing ever happened on your PC?
33 posts and 6 image replies omitted. Click reply to view.


>be 8
>Wanted to make stupid stick figure animations with lazer effects
>thought Macromedia Flash was free software so I googled it
>literal site I stumbled upon had a “THIS DOWNLOAD MAY HAVE A VIRUS” banner
>download anyway
>thousands of error messages
>smash that motherfucking like button for 00’s internet


I went through something similar XD

>be me, 9 years old

>get a cheap Dell laptop for Christmass
>Immediately search up "Minecraft for free"
>go to the first website, already looking sus
>download it without a second thought
>computer becomes very slow for some reason
>see that I have a new app with a pink dolphin logo
>didn't get minecraft for free but I got a lot of popups of sexy gurls on every webpage ;)

We all learn about internet safety eventually…


>What is the worst thing ever happened on your PC?


was trying to install drivers for my disc drive on debian and I fucked up my xfce and got it to boot into the command line by default. I had to type “startx” to get my gui to appear again.


I think my PCI slot is close to dying, my graphics card only works half the time. I'm too poor to buy a new motherboard, let alone PC…


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


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


AI software. Similar to what's going on with the deepfakes.


This just looks like Live2D to me, same sort of thing as what all those VTubers use. This type of thing doesn't require anywhere near the complexity of deepfakes.

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