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

/g/ - Technology

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

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

File: 1606117645893.gif (505.1 KB, 720x405, anime-frustrated-girl.gif)

 No.452[Reply]

I keep pressing the keys out of order while typing and it's driving me insane!

 No.453

File: 1606157801094.jpg (35.11 KB, 1096x616, amazon-echo.jpg)

Why type anything when you could just ask Alexa? She's very smart and always willing to help!

 No.454

File: 1606193445516.gif (128.04 KB, 200x202, 93498345623020.gif)


 No.455

File: 1606256323927.jpg (13.96 KB, 460x209, weird layout.jpg)

>>452
use this

 No.456

>>455
goatse keyboard goatse keyboard goatse keyboard goatse keyboard goatse keyboard goatse keyboard goatse keyboard goatse keyboard

 No.457

>>456
do not lewd the beeraider
the beeraider is pure



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

 No.83[Reply]

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

 No.445

Windows 8. Bought a new laptop with win8, then was made unemployed. Lived in a micro apartment with only cold water and next door to a factory. Depression set in.

Decided F* it, win8 is a horror show. Had played with Linux before (dual booted Fedora at university / well meaning parents bought me the RedHatBible when I was in high school) and just went full Linux this time.

Haven't gone back since. Main issue these days is finding a place selling laptops (often refurbished) without a win license tacked onto the price. Still poor. But at least my pc does my bidding.

 No.446

>>441
>>442
You can still very easily get adware in your browser tbh, anyone who thinks they're totally safe just because they're on linux are retarded

t. someone who gets adware from emulator downloads way too often

 No.447

>>446
Look, we are not the ones downloading random shit from the net. Could it be that the retard is you?

 No.449

File: 1605058093131.jpg (1.05 MB, 3167x2125, billvid.jpg)

>>447
>linusbottoms can't admit that linux isn't impenetrable

That why you're fat and alone and why Windows connoisseurs rule the world

Linux bitches get BTFO

 No.451

I don't remember exactly why I got into linux.
I think I decided to set up a dual boot setup on my old laptop after reading about it on LifeHacker (I think). I didn't like it at first, but I did kind of like it. Now I can't imagine ever using Windows ever agoin.



File: 1603494478024.png (51.47 KB, 500x281, openbsdvmweb.png)

 No.417[Reply]

Does anyone here use plan 9/9front?
Not my picture, but i've been working on moving my work flow over to it.

ave mostly just had hurdles with hardware support (motherboard/buggy eufi firmware related issues)
other than that, I am liking it a lot. Might do drivers on here

Also, if your the type of user who is used to googling quick fixes, you might not like this, there's a lot of mandatory reading.

 No.421

File: 1603529280214.png (43.53 KB, 991x474, systemspace2.PNG)

Sounds like a cult

 No.422

>developed by the NSA and they could have planted bugs anywhere
>Rob Pike is a complete retard or he's on a secret mission

 No.428

>>421
They adhere to a certain sense of humor as far as I can tell.
>>422
The CIA does use it.

 No.436

>>428
"cool" cult

 No.437

>9 days ago
Give us an update, OP. Are you on your way to becoming the next Stanley Lieber?



File: 1603494168370.jpg (99.96 KB, 480x640, t420s.jpg)

 No.415[Reply]

Where can I buy a server to use as a personal vpn that google won't captcha rape me on??

I am IP banned from google and its services, not a huge deal since I avoid them but I am wanting to download some stuff off youtube as well as host a searx instance
2 posts and 1 image reply omitted. Click reply to view.

 No.424

I rarely have any issue with youtube through tor.

 No.427

They're going after youtube-dl.

 No.429

This is a pretty exhaustive place for comparing VPS providers: https://lowendbox.com/

Also, I just found this dedicated server provider: https://www.kimsufi.com/en/servers.xml

The prices are insanely low considering that these are dedicated servers, not VPS's. For example, you can get 4GB of RAM, 2TB disk space and a two-core Intel CPU for €6 a month.

 No.430

File: 1603677829783.jpg (109.01 KB, 1280x720, 1603528988802.jpg)

>>420
>He fell for the "thinkpads are a meme" meme

 No.432

>>430
cope



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

 No.382[Reply]

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.

 No.389

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.

 No.390

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

 No.392

>>390

>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: 1598810274591.jpg (321.89 KB, 1280x720, code review with the girls.jpg)

 No.366[Reply]

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.

 No.369

>What is job security?

 No.371

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

 No.372

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

 No.376

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

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

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

 No.379

>>366
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: 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.363

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.

 No.364

>>363
cont'd
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.

 No.365

>>364
>Eaglemode
Good taste.



 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

 No.358

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

 No.359

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



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



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