[ a / b / cf / cy / g / lain / un / pollitx ] [ wired / meta ] [ home / rules / faq / affiliates ] [ calculus / mebious ]

/g/ - Technology

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

Mebious now up and running! Access the wired.

File: 1612916716550.jpg (113.76 KB, 1008x720, coalgirls_serial_experimen….jpg)

 No.552[Reply]

/g/eneral navi building thread

Navi-hardware and stuff
1 post and 1 image reply omitted. Click reply to view.

 No.557


 No.571

File: 1613771748907.png (632.94 KB, 669x690, EudDu-NWQAYno5O.png)

PC-cooling is important…

 No.594

what about the operating system?

 No.595

>>594
Lain would probably use an OS with a good GUI.

 No.598

>>595
So Hackintosh.



File: 1526329224585.png (521.59 KB, 1100x884, ClipboardImage.png)

 No.27[Reply]

Whoops, sorry, lost my Oculus Rift.
4 posts omitted. Click reply to view.

 No.33

>>31
i just wanna use it as a virtual screen

 No.171

I still have my Virtual Boy. I do need to get a replacement stand for it though.

 No.556

File: 1613162741907.jpg (48.91 KB, 1035x688, D17bjpA.jpg)

I used to have an oculus (dont remember the model) where you put your smartphone in and can play games on the oculus store. It was fun, but it got booring soon. I really want that vr gaming gets better because maybe we can be like parzival from the film "oasis"

 No.591

>>556
>parzival from the film "oasis"
umean ready player one?

 No.593

File: 1615259651433.jpg (Spoiler Image, 168.41 KB, 1920x1080, ready-player-one.jpg)

>>591
yeah I meant ready player one.



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

 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

 No.435

shrink your windows partition and leave some space for linux. if it doesnt let you, it might be too fragmented

 No.561

File: 1613516063834.jpg (47.21 KB, 416x468, 1516166986546.jpg)

>>425
Basic security programs: icecat, anonsurf, onionshare, i2psnark, truecrypt 7.1a, KeepassXC.
Encrypt with luks. Add password to BIOS. Only store glowie shit on encrypted external drives. Use keepass to generate and store all passwords. Keep master pw in your head and no where else.
Good email providers: disroot and riseup. VPN of course.
Alternatively, do what >>426 said and keep tails on a bootable USB or create a partition for Qubes for fedposting purposes.

 No.562

Depending on threat model, making something like Manjaro "extremely secure" might be more trouble then it's worth. A lot of the hardening comes from the kernel and having the right dot files / configs in place to make best use of those features. Even if Manjaro offers hardened kernel in their repos, I'd imagine the OS might have to be tweaked a bit to take full advantage of it? And depending on how motivated the glow-in-the-darks are, hardware can also be a consideration. Many of the pros try and exploit the hardware as well as the software. Some red teams having designated driver experts writing custom exploits in assembly on a case by case basis.
These anons gave good advice
>>426
>Qubes OS, Whonix, Tails, or some combination thereof.
>>561
>Basic security programs…
There's also Kodachi live boot OS. I can't vouch for it since I haven't taken an in depth look at it, but it's a thing and thought it might be worth a mention ITT. Also, Parrot OS is an interesting project.
As an aside, one can even pick up some knowledge by looking at how Debian, and even Ubuntu, configure their distros. INB4 UBUNTU REEEEE! I know Ubuntu default desktop leaks meta-data and their implementation of systemd is bloated and would require a thread unto itself. I'm only referring to the fact that Debian and Ubuntu are commonly deployed as servers and have some sensible defaults in that regard that might be useful for some to look into.
Also, building upon a basic Alpine install is another interesting option. Potential to have something with a very small attack surface and somewhat of a security by obscurity factor compared to other distros.



File: 1612806956860.png (36.13 KB, 709x714, 709px-FOSDEM_logo.svg.png)

 No.545[Reply]

https://fosdem.org/2021/
FOSDEM was last weekend, they are now uploading the recordings. Did you watch any of the talks? Are you planning to watch any of the recordings? Let's share interesting talks and discuss them!

 No.546

I usually collect around 30 talks to watch but end up only watching three of them.



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

 No.528

>>512
Free software will always have bugs like these.

 No.530

>>528
Just as it will always have people like >>511 fixing them.

 No.531

File: 1612098548592.png (427.82 KB, 1456x1002, https _bucketeer-e05bbc84-….png)

Technology can be old but gold, what makes it interesting to me is whether or not it is widely adopted and used.

Right now i am excited to get a Raspberry Pi and make my own VPN router, nothing new or revolutionary, just underutilized.

If you just want something new on the horizon then mine would be VR tech, defo some scary problems to consider, but that is what they said about the internet (and still do), i am hoping for a creative explosion like the start of the internet had back in the day.

Hopefully we can use VR to create new interesting spaces to escape the current status quo, if but for a time.

 No.534

>>528
but anyone can fix them

 No.536

>>534
How many bugs did you fix so far?



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

 No.465

>>462
yeah, a big part of the issue is consumer grade computers and professional computers are kind of blurring together; you have spotty 13 year old boys in their bedrooms using rigs that would be powerful enough to be a professional workstation. if consumer computers get capped at a certain level, then hopefully consumer software stays less resource heavy. plus it'd encourage pro software (daws, 3d modelling software, etc) to optimize better to get to da consoomers

 No.466

>>174
I hope never, I use a t400 with 6GB of ram, and I don't know why i bothered on plugging the 4 GB stick because i never use more than 2 gbs

 No.468

>>466
Unused RAM is wasted RAM.

 No.470

>>468
How can i use it?

 No.471

>>470
Compile something of reasonable size with LTO, it will make your computer swap like crazy.



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: 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 [ ]
[1] [2] [3] [4] [5]
| Catalog
[ a / b / cf / cy / g / lain / un / pollitx ] [ wired / meta ] [ home / rules / faq / affiliates ] [ calculus / mebious ]