/g/ - Technology

Name
Subject	Spoiler Image
Comment
Verification
File
Embed
Password	(For file deletion.)

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

Default User 10/23/20 (Fri) 23:02:48 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.

Skyglider 10/25/20 (Sun) 04:01:30 No.424

I rarely have any issue with youtube through tor.

Cidoku 10/25/20 (Sun) 14:09:19 No.427

They're going after youtube-dl.

Billy 10/25/20 (Sun) 16:52:45 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.

Guest 10/26/20 (Mon) 02:03:49 No.430

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

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

Billy 10/26/20 (Mon) 14:08:02 No.432

>>430
cope

File: 1603626092313.jpg (231.07 KB, 739x1000, 1465730450413.jpg)

Guest 10/25/20 (Sun) 11:41:32 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?

Billy 10/25/20 (Sun) 14:07:30 No.426

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

Skyglider 10/26/20 (Mon) 06:51:07 No.431

Why not install WINE or even use Steam Proton?

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

plan 9 Shenzen 10/23/20 (Fri) 23:07:58 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.

Diana 10/24/20 (Sat) 08:48:00 No.421

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

Sounds like a cult

Diana 10/24/20 (Sat) 13:16:51 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

Default User 10/25/20 (Sun) 14:13:12 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)

Default User 12/11/19 (Wed) 14:09:01 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.

Cidoku 10/05/20 (Mon) 18:31:30 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.

Skyglider 10/07/20 (Wed) 17:49:30 No.410

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

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

Guest 10/23/20 (Fri) 23:55:02 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.

sage Snake 10/24/20 (Sat) 00:06:36 No.419

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

sage 10/24/20 (Sat) 13:58:04 No.423

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

>>419

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

Guest 06/30/19 (Sun) 13:53:31 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.

AzureDiamond 01/22/20 (Wed) 20:02:51 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.

Bogdanoff 05/13/20 (Wed) 09:34:41 No.276

>>174
I got 32 gb.

AzureDiamond 05/13/20 (Wed) 16:13:18 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.

Cracky 10/09/20 (Fri) 05:26:34 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.

Snake 10/23/20 (Fri) 22:41:28 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)

Anonymous 01/21/18 (Sun) 11:32:12 No.6 [Reply]

Does anyone here still use a CRT?

24 posts and 2 image replies omitted. Click reply to view.

Observer 04/18/20 (Sat) 01:34:54 No.264

>>253
Alice from Shin Megami Tensei.

Snake 05/13/20 (Wed) 09:21:59 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.

Observer 09/23/20 (Wed) 15:24:04 No.400

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

Observer 09/24/20 (Thu) 07:14:19 No.401

>>6
no why would i use that

Cracky 10/09/20 (Fri) 05:12:06 No.412

>>66
Better coloration.

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

Snake 09/06/20 (Sun) 20:48:44 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.

Snake 10/08/20 (Thu) 01:25:46 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)

Daily Programming Thread Skyglider 02/11/20 (Tue) 22:27:18 No.211 [Reply]

What are you working on, /g/?

48 posts and 26 image replies omitted. Click reply to view.

Cracky 10/02/20 (Fri) 09:52:28 No.402

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

Daphne 10/02/20 (Fri) 11:05:22 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.

Guest 10/02/20 (Fri) 14:02:52 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?

Bogdanoff 10/02/20 (Fri) 17:29:25 No.405

>>404
What are you working on?

Billy 10/03/20 (Sat) 09:48:53 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)

PeerTube Default User 06/07/20 (Sun) 19:10:09 No.316 [Reply]

Is there anything worth watching on PeerTube?

Cidoku 07/26/20 (Sun) 18:58:27 No.344

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

Observer 07/27/20 (Mon) 20:23:37 No.345

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

Anonymous 09/01/20 (Tue) 06:12:47 No.370

A channel with a mix of documentaries: https://tube.privacytools.io/accounts/documentaries@vidcommons.org/video-channels

Bogdanoff 09/03/20 (Thu) 22:56:10 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.

Virtual Ghost 09/22/20 (Tue) 17:21:29 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)

Snake 09/10/20 (Thu) 17:56:44 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.

Virtual Ghost 09/14/20 (Mon) 07:06:03 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.

Zodiac 09/14/20 (Mon) 18:52:51 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.

AzureDiamond 09/16/20 (Wed) 00:17:41 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 [ File] Password

Reason