[ home / rules / faq ] [ overboard / sfw / alt ] [ leftypol / siberia / hobby / tech / edu / games / anime / music / draw / AKM ] [ meta / roulette ] [ cytube / git ] [ GET / ref / marx / booru / zine ]

/tech/ - Technology

"Technology reveals the active relation of man to nature" - Karl Marx
Name
Options
Subject
Comment
Flag
File
Embed
Password (For file deletion.)

Join our Matrix Chat <=> IRC: #leftypol on Rizon

| Catalog | Home
|

File: 1644129749278-0.jpg (16.78 KB, 474x266, mac.jpg)

File: 1644129749278-1.jpg (36.47 KB, 474x474, gayming mouse.jpg)

File: 1644129749278-2.jpg (26.05 KB, 474x474, le dril.jpg)

 No.13404[Reply]

can i go ape shit and start fucking drilling holes into my laptop to make it lighter and run cooler. how viable would that be.
3 posts omitted. Click reply to view.

 No.13410

>>13409
>You might fuck up the wind tunneling system
what is that

 No.13411

prop it on top of some books for better ventilation underneath

 No.13412

I never understood those mice, must be a bitch to clean out

 No.13416

>>13412
Supposedly they're meant to be lighter and also help with hand perspiration.

 No.13417

>>13416
My mouse weighs 100 grams and "gamers" online call it heavy lol. Same with the switches in my keyboard, I bought the heaviest ones I could find for that extra clack and they don't really feel that heavy at all.



File: 1643779429454.jpg (43.28 KB, 800x800, nokia3310.jpg)

 No.13325[Reply]

Are there any good ones being manufactured still?
8 posts omitted. Click reply to view.

 No.13348

>>13347
Have you tried just getting a plan that doesnt give you data and keep data turned off? Do you want more call functionality or texting?

 No.13349

>>13348
no, i just want less pointless software that isn't calling or messaging

 No.13350

>>13349
Uninstall/disable them then.

 No.13375

Didn't the feds preemptively start sabotaging the newer dumbphones to fuck with drug dealers?

 No.13403

>>13344
Is it safe to even thrust google hardware?



File: 1622217711811.png (6.12 KB, 350x60, OpenPOWER_logo.png)

 No.8827[Reply]

Are there any laptops on the market without hardware backdoors like Intel Management Engine or AMD Platform Security Processor? There's a group working on building a Power ISA based laptop (since IBM made Power ISA open source in 2019.) This is the only modern hardware that I know of without a backdoor, but it's not in production yet. https://www.powerpc-notebook.org/faq/
10 posts omitted. Click reply to view.

 No.12440

Open source hardware, unless made BY YOU, is just security and privacy theatre, it doesn't improve them in any way

 No.12441

>>8829
Why should we trust those manufacturers aren't compromised? What if there's a little piece of malicious hardware somewhere that counteracts the marketed security features?

 No.12442

>>12441
Why should we care? You already have lainchan for this kind of larpy autism.

 No.13396

https://puri.sm/products/librem-14/
these ship with coreboot and SeaBIOS
still has an Intel CPU though

 No.13399

>>12441
So what's a better alternative? It's good to be wary but what else do we have that wasn't made before 2006 (and those have their own set of vulnerabilities too anyway)?



File: 1643854902868.gif (54.79 KB, 300x411, mode.gif)

 No.13346[Reply]

Is there anything wrong with having a small SSD (120-250 gigs) for OS+binaries and a bunch of microSD cards for data? This is all for a laptop and I'm poor.
2 posts omitted. Click reply to view.

 No.13360

>>13346
This is a prefectly fine setup. You should back up important data in some ways, because microSDs have the highest failure rate of all common storage mediums.
>>13352
>naming it warehouse instead of sokoban

 No.13366

>>13346
SD cards don't have wear levelling. Have backups.

 No.13367

An easy way to get HDDs and sometimes SSDs is to ask any normie friends/relatives if they have any old, broken laptops. Get your hands on an external HDD case that connects via USB and you can use them like any other USB storage device.

I wouldn't use microSD for long-term storage, too easy to lose and if your constantly writing to them they'll crap out fast.

 No.13384

If you have a thinkpad you can 3D print this mSD holder that goes in your expresscard slot.
https://www.thingiverse.com/thing:145073
https://www.thingiverse.com/thing:1091833

>>13352
I never understood why despite all lowercase for folders being a standard since ever user folders started being capitalized and there's no easy way to revert this because some software like to fuck around and create the folders if they don't exist.

>>13367
This is what I do but I assume OP carries a bunch of mSD cards for portability and a bunch of drives aren't exactly portable-friendly.

 No.13385

>>13384
can't you just keep the sd to microsd adapter always in the sd slot?



File: 1643229232223.jpg (55.47 KB, 1000x669, gno.jpg)

 No.13225[Reply]

I told you about proprietary services man
I told you dog
9 posts omitted. Click reply to view.

 No.13362

>>13270
Can anyone explain to me what formal verification is like I'm a complete idiot
I have a little programming experience and even commited to an open source project but can't wrap my head aroound that

 No.13363

>>13362
I'm not an expert but I've talked to a sel4 engineer in person.

In mathematics, there are formal proofs.
We can make a mathematical statement and show that our stated assumptions guarantee the result is true.
(further interesting stuff) https://en.wikipedia.org/wiki/List_of_mathematical_proofs

We can also apply a similar concept to software algorithms. I haven't looked into the techniques myself so I can't explain them, but essentially you can provide a formal proof on an abstract mathematical model of the system. Provided that model is accurate, it formally verifies the program does the defined function, no exceptions. You have a guarantee that the code's implementation does what was specified. That's very good for important things like cryptographic code where correctness is important.

This doesn't mean it's 'unhackable' or infallable: what if the actual design specification has issues? Then they're provably in the implementation! But it does remove a lot of potential issues and bugs since there aren't any implementation bugs. Implementation bugs are a HUGE source of software security vulnerabilities.

Here's an example of a microkernel that has (partial) formal verification:
https://en.wikipedia.org/wiki/L4_microkernel_family#High_assurance:_seL4
>A formal proof of functional correctness was completed in 2009. The proof provides a guarantee that the kernel's implementation is correct against its specification, and implies that it is free of implementation bugs such as deadlocks, livelocks, buffer overflows, arithmetic exceptions or use of uninitialised variables. seL4 is claimed to be the first-ever general-purpose operating-system kernel that has been verified.
So that shows some of the kind of issues verification can avoid, which would potentially lead to a crash/failure or a security weakness if they were in there.

 No.13364

>>13270
>neither musl nor glibc use formal verification, so there's no way to know if either is safe
binary-brain shit. there's no thing as 'safe/unsafe' to describe a whole program's security profile. and no, formal verification doesn't make it 100% safe, although it can have very great effects on improving it.

There are other things to consider:
>musl: closer fit to specification
>musl: decreased attack surface
>glibc: more eyes, more testers (and more attackers)

 No.13374

>>13364
>binary-brain shit
normie detected
>describe a whole program's security profile
we're talking about libc, not an entire program. and yeah, of course it's contingent on the model you're using. duh
saying "musl has fewer CVEs" means nothing when much fewer systems use it and it hasn't been around for as long as >>13275 says
when you claim that A is more safe than B you must have something other than fee-fees to back that up. if you can't quantify said security then you are engaging in idealism

 No.13380

>>13227
I hate compiling my own stuff and musl repos are lacking, or did they get better?



File: 1643960150530.mp4 (328.94 KB, 270x480, 2xpysu.mp4)

 No.13368[Reply]

hey comrades have any of you ever encountered issues with the "antimalware services executable" process on Windows 11?
here's the run down:

>running windows 11

>8 gb RAM
>antimalware services executable runs ALL THE TIME
>eats up 50% of memory 24/7, absolute hell
>tried installing malwarebytes instead to disable it, problem just got worse
>turned off real time threat protection, processes still appear in task manager
>cant regedit bc tamper protection feature and i would like to avoid turning that off for security reasons
>already added exclusions for MsMpEng.exe, no change

and no, i cant just install linux, although i would like to. im fixing a laptop for someone else who can't afford to just upgrade and get more RAM.

 No.13369

File: 1643960936252.webm (216.39 KB, 1920x1080, windows-users.webm)


 No.13370

could be a bunch of corrupted files. try repairing or getting rid of them entirely with some tool

 No.13372

he could unironically upgrade by going back to windows 10 or seven tho,it's at least less intensive if you really want to keep windows.
can't you just remove the tamper protection in safe mode with no internet,and then put it back before restarting the computer ?
Also why would linux uses more RAM than this bullshit ?

 No.13378

>>13372
He had the same issue on Windows 10, and he can't go back to 7.
The RAM comment was about how advice like "get more RAM" wouldn't work. I know Linux doesnt use as much RAM i'm not retarded. I can't switch the OS to any Linux distros because the user is disabled and has a perfect set up for his disability at the moment. It would be a lot of effort to get everything back to where it is and he doesn't have time.

 No.13379

>>13369
i know this already, shut the fuck up unless you have any actual advice its not my god damn pooter



File: 1643987216277.png (360.9 KB, 512x512, Z7HeRxU.png)

 No.13377[Reply]

More and more I feel I am being poisoned by the hyperonline shit I see every day. I am very much considering blocking my home router access to leftypol and 4chan, maybe even reddit. How do I do this? From what I've read https is not possible to routerban regularly, and the solutions I found require third party software that requires its own accounts etc. Is there any way to homebrew a lock which would deny my access to certain https sites on my router network?

 No.13393

how about just not visiting those sites



File: 1641718683789.png (1.09 MB, 1200x800, ClipboardImage.png)

 No.12889[Reply]

Is stirring up again

Some article got written, the official @Android account is quoting it about bullying and what not


We can use this opportunity to point out how this is a class issue basically,
And how this silly joke has basically normalised classism against the poors who have android phones
17 posts and 2 image replies omitted. Click reply to view.

 No.12933

>>12913
>Source: A trillion dollar company told me so

 No.13246

Literally only burgers and maybe their proxies care about this. Isn't Android the most widely used OS in the world? No on else cares.

 No.13247

>>13246
lots of people across the world use iPhone. you're acting like it's a tiny share of the market and restricted to a single demographic

 No.13328

>>13247
Apple is more used only in America and Japan lol

 No.13338

Being bullied because you don't have the same phone as the other kids is like the most burgerland dystopian thing ever.



File: 1632802148723.jpg (437.76 KB, 1281x720, giied.jpg)

 No.11831[Reply]

Modern Hipster Codebases aren't using the GPL anymore ever since Microsoft started pushing the MIT as the default license for repos on github. M$ is doing its hardest to condemn us to proprietary software by encouraging the use of cuckold licenses. Imagine if the Greatest Computing Corporation somehow convinced all aspiring coders to start slapping together code that will be used in future microsoft projects… for free? That world already exists, for we live in a world where github is the most popular git site in the world.
78 posts and 6 image replies omitted. Click reply to view.

 No.13286

>>13285
not that anon, but chromium can be a binary blob a lot of the time iirc, especially since the FOSS licensing is finicky to the point where a lot of it isn't exactly share-alike and people like the devs of electron can do whatever proprietary stuff they please

 No.13290

>>13285
Electron is when basically when you write js and then ship it with chromium and node, end result of course being in hundreds of megabytes.
Freedom issues are basically same as those of chromium.
+ it just stinks as a technology

And chromium? Well, it might be technically free that is open source and under an fsf approved license iirc, but that doesn't matter, it still phones home and it's so complicated and huge it'll literally take longer to compile than the rest of your gnu linux distro combined, I think I needn't clarify its development can't be affected by anyone but google and its friends

 No.13298

>>13283
>Take a look at your android phone
Google play services and the various spyware apps are proprietary, so no, it doens't count

Plus:
>You can’t effectively build a walled garden with GPL code.
the very fact that you can install custom ROMs and root your android phone compared to the literal walled garden of iphone proves the point

 No.13299

>>13298
>Google play services and the various spyware apps are proprietary, so no, it doens't count
I'm not talking about that even
>the very fact that you can install custom ROMs and root your android phone compared to the literal walled garden of iphone proves the point
Full of proprietary blobs + it's still android which means it's still user-mistreating misdesign built specifically to restrain your freedom

I'm not here to defend bsd licenses though - those are literally cuck licenses
I'm just saying that gpl will hardly do anything
To prevent cancer governments need to impose a free software policy or whatnot, with "open" and "non overengineered" as requirements.
There is no peaceful solution there. Any peaceful solution like gpl won't solve shit in the end even though it may help somewhat sometimes. And even then, I don't think gpl was the deciding factor for google allowing you to flash shit. It's just their marketing strategy for rich xda kids who buy latest phones to flash shit

 No.13330

>>13065
>they did, case and point the IBM and Microsoft anti trust lawsuits
The 90s were just different. At least current day AmeriKKKa has no issue with the tech monopolies that have formed.



File: 1640293143536.png (237.13 KB, 1920x1404, ClipboardImage.png)

 No.12621[Reply]

Mass cell production.
Better muon and electron based radars.
Mass production of medical equipment.
Organic prosthetic’s.
Easier access to cancer therapies.
Space robotics for astronaut less exploration.
Computer integrated healthcare treatment.
Computer integrated cities.
Computer integrated heavy machinery.
Industrial robots.
Landing strips for drone delivery.
CRISPR for disease eradication.
Effective Malaria and HIV vaccines.
LRT taking over cars(not new just a future trend).
Better access to treatments for the effects of non pharmaceutical drugs and drug addiction.
1 post omitted. Click reply to view.

 No.12625

>>12623
>industrial robots for greater productivity, it isn’t automation in the sense that it removes the need to work it just makes current production more productive with more machinery

 No.12626

I like how half this shit already exists or is in development in real life and is far more interesting than sci fi tech garbage spewed by the msm and big tech

Really makes you think about how weird the world really is

 No.12630

>>12626
Just replace "computer integrated" with "smart" and you have the same thing.

 No.13308

>>12621
wtf is an organic prostethic?

 No.13310

File: 1643753216873.jpg (230.85 KB, 676x627, 16521616.jpg)




Delete Post [ ]
[ home / rules / faq ] [ overboard / sfw / alt ] [ leftypol / siberia / hobby / tech / edu / games / anime / music / draw / AKM ] [ meta / roulette ] [ cytube / git ] [ GET / ref / marx / booru / zine ]
[ 1 / 2 / 3 / 4 / 5 / 6 / 7 / 8 / 9 / 10 / 11 / 12 / 13 / 14 / 15 / 16 / 17 / 18 / 19 / 20 / 21 / 22 / 23 / 24 / 25 / 26 / 27 / 28 / 29 / 30 / 31 / 32 / 33 / 34 / 35 / 36 ]
| Catalog | Home