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

/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: 1603626092313.jpg (231.07 KB, 739x1000, 1465730450413.jpg)

 No.425[Reply]

I wanted to use linux for everyday use while windows for gaming, so i dual booted manjaro and windows 10, but the parititon for manjaro is only 2gb and i cant increase it around 100gb, so now im going to use windows 10 for everything else normally while linux manjaro for tor browsing and wasting time ricing it up but i still want privacy + security on my linux so what should i know, install, or do in order to not be spied on by glowies?

 No.426

It sounds like you could use Qubes OS, Whonix, Tails, or some combination thereof.

 No.431

Why not install WINE or even use Steam Proton?

 No.433

Why can't you resize the partition?

 No.434

Resize your Windows partition and encrypt your linux partition with luks or something like that. Instead of default windows bootloader get grub ot refi



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



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

 No.409

>>408
I'm sorry to hear that man.

I used to go on their IRC and they would have group movie nights which was really cool.

Hopefully wirechan is not run by kids and they know their cultures.

 No.410

File: 1602092970244.jpg (29.05 KB, 500x587, faggot.jpg)

>Hopefully wirechan is not run by kids and they know their cultures.

 No.418

File: 1603497302605.png (92.89 KB, 1127x408, 1469910774030.png)

This is why I never went on either for more than a few minutes.

 No.419

>>418
I thought it was Lainchain endorsing Discord, oops.

 No.423

File: 1603547884944.jpg (32.07 KB, 590x393, Doki-Nichijou-00-720x480-h….jpg)




File: 1561902811829.png (336.34 KB, 624x594, downloadforfree.png)

 No.100[Reply]

Is 4GB of ram still normal in present day? I switched from 2GB and everything works perfectly. For me personally, it is enough.
7 posts omitted. Click reply to view.

 No.182

>>110
Standard for what? for hardcore gaming maybe, also for Pixar level modeling or Hollywood level video edition, for other tasks no, I run a lot VM and I don't need more than 8GB, of course when I do that work I only can do that work, same with video edition and other similar tasks. Of course if you use a super bloated system even 16GB eventually become not enough.

>>143
Agree, its a meme, and a very bad one.

>>174
I hope never ever.

 No.276

>>174
I got 32 gb.

 No.278

At work we have build machines with 64 GB memory and it is filled up within seconds if you try doing link-time-optimization on anything big.

 No.413

4GB is the budget choice as 2GB once was, I don't imagine doing anything on the latter smoothly except bloatless web browsing or really old PC games.

 No.414

>>100
Depends on the OS. Windows 10? No.
Linux, bsd or otherwise (excluding solaris or anythhing using zfs)?
Sure, it's fine.

As long as you avoid like KDE or gnome or whatever. I am at 193mb idle with windowmaker and like 12 dockapps



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

 No.6[Reply]

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

 No.264

>>253
Alice from Shin Megami Tensei.

 No.275

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.

 No.400

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

 No.401

>>6
no why would i use that

 No.412

>>66
Better coloration.



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

 No.378[Reply]

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.

 No.411

File: 1602120346683.png (62.58 KB, 750x684, 1284979625175143.png)

No you're right. I won't hypocritically write off technology as I like computers and video games but it'd be better if an EMP hit the planet and the world gets another chance, it will only get horrifyingly worse from here.



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

 No.211[Reply]

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

 No.402

Has anyone else started getting
>Please turn JavaScript on and reload the page.
>DDoS protection by Cloudflare
for bunkerchan.xyz?

 No.403

>>402
https://bunkerchan.xyz/gulag/res/7295.html#7296 says they will take it down in a week, when they are not being bot-raided anymore.
My cloudflare blocker already went off on bunkerchan for a while.
They must have had this in place for some time.

 No.404

File: 1601647372212.jpg (511.78 KB, 950x1343, 499bdca0d75e7fca0093367fec….jpg)

>>403
Thanks for the information. The JS barrier is once again down right now so I can see that they've added in-thread captchas, where previously they were only a barrier to creating new threads. Do you happen to know whether these newly added in-thread captchas will be reverted as well or is bunkerchan a captcha-only site from now on?

 No.405

>>404
What are you working on?

 No.407

The cloudflare JS is back on bunkerchan.

>>405
Tempting Raven, from the looks of it.



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/

 No.370


 No.377

>>316

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.

 No.399

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)

 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.



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