/tech/ - Technology

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

File: 1625541609199.png (11.01 KB, 500x500, 5658210d02e36434a2d244af15….png)

Anonymous 2021-07-06 (Tue) 03:20:09 No.9883 [Reply]

Why are there no neural networks for making sure there isn't any hidden obfuscated malicious code in OSS yet?

3 posts omitted. Click reply to view.

Anonymous 2021-07-06 (Tue) 15:08:54 No.9899

>>9883
because I will eventually poison it to accept my shitty patches.

>>9894
I don't think software 'engineering' can be regulated as linearly in other engineering disciplines. Laws of physics and heuristics humanities gathered are static whereas exploit writers are always adapting to changing environment. They are always interested in what existing tools and defense mechanisms cannot do not in what it prevents. Software engineering actually have lot more in common with 'financial engineering' when it comes to regulatory challenges and we all know how responsible they are.

Security through correctness has always been the way but even after Microsoft's decade worth investment in formal verification tools we do not have killer language or toolchain that is reasonably productive enough to be adopted in mass scale. Rust could fit the bill but I am skeptical of it for obvious reasons.

Anonymous 2021-07-06 (Tue) 16:21:09 No.9900

>>9899
>I don't think software 'engineering' can be regulated as linearly in other engineering disciplines. Laws of physics and heuristics humanities gathered are static whereas exploit writers are always adapting to changing environment.
Wait a minute, the compiler optimizations that reduce the vulnerability to exploits don't have to be linear regulation, you are taking my building-code metaphor way too literally.

>Software engineering actually have lot more in common with 'financial engineering' when it comes to regulatory challenges and we all know how responsible they are.
No, lawyers write code that is executed by judges, bureaucrats and functionaries, not processors. Brains are not pure logic interpreters. Legal code does not work like software.

>>9899
>Security through correctness has always been the way but even after Microsoft's decade worth investment in formal verification tools we do not have killer language or toolchain that is reasonably productive enough to be adopted in mass scale.
I know about MS's code quality project, but you can't expect a big soul crushing corporation to foster real innovation. There is no way anything new could pass through the membranes of corporate administrations, too many people have made careers out of managing the half broken mess.
>Rust could fit the bill but I am skeptical of it for obvious reasons.
Yes that is the popular example but there's no reason other compilers can't have functionality of this type added. or you could even try to have a pre- compiler as a separate insert into the tool-chain.

Anonymous 2021-07-06 (Tue) 16:42:07 No.9901

>>9899
>>9899
>we do not have killer language or toolchain that is reasonably productive enough to be adopted in mass scale
what ? powerful language that can be proven formally like LISP exists, they're just an unnecessary headache for most applications, and proving programs simply cost way too much when you can just fix it when you see its broken.
We will never, ever have a "reasonably productive enough" way to produce formally verified code, because its way too hard, long and costly.

Anonymous 2021-07-06 (Tue) 17:08:17 No.9902

Don't certain sectors (automotive, locomotive, aerospace, medical, etc.) have their own "building code" style regulations? I did an internship at a company that worked on embedded software for railway signal control and they did have a very specific coding style and some functional requirements like everything had to be redundant. But I am not sure if these were state mandated or just the railway company wanted it this way.

Anonymous 2021-07-06 (Tue) 19:10:40 No.9905

>>9900
>lawyers are not computers and codes are not legislature
I'm specifically talking about defensive programming and how is it similar to law makers failure to come up with sound plan to restrain hedge funds and other market makers not how human minds compare with processor or how legal frameworks can be compared with well defined runtime environment that runs binaries. Beside I said 'financial engineering' as in quants who have to price derivatives why are you even writing this? Wind will not blow in specific airflow with malicious intent to collapse bridge you built but rest assured traders competing with you is looking at everything you do waiting for opportunity to exploit weakness in your model or execution plan.

>MS rant
I'm not talking about their code quality project. I am pointing at their research efforts and its results on functional programming (their ocaml dialect F#), strong types (typescript) and formal verification framework (F* and obviously Z3). They all deserve some amount of criticism but just shrugging them away as corporatism is impotent.

>>9901
Well this is new. When did they invent automated tools to verify common lisp source code? how did they deal with macros?

File: 1623203634171.jpg (42.83 KB, 720x480, 1564180497890.jpg)

Fuck youtubers, fuck covid-19 and fuck Luke Smith Anonymous 2021-06-09 (Wed) 01:53:54 No.9055 [Reply]

Youtubers who spike prices of old hardware should jump off a cliff, people out here thinking their shitty thinkpad that their dog pissed on is worth $500

18 posts and 1 image reply omitted. Click reply to view.

Anonymous 2021-06-22 (Tue) 20:57:28 No.9557

>>9548
Well I just mention it because you raise an interesting point that you can only trust YOURSELF to do shit like this with your machines no one else.

Anonymous 2021-06-23 (Wed) 15:19:53 No.9564

Are you that same retroomer who is always sperging out on /g/

Anonymous 2021-07-01 (Thu) 11:45:01 No.9695

>>9513
Isn't it super easy to flash them again after they have been flashed once with libreboot?

Anonymous 2021-07-04 (Sun) 13:43:10 No.9807

>>9695
this depends on the machine. again, check libreboot.org

Anonymous 2021-07-06 (Tue) 02:49:43 No.9879

Thinkpads are so popular now I'm actually scared of buying one now. With my shitty luck I'd get one that's been tampered with.

File: 1624038678945.png (17.74 KB, 579x382, 34567899876.png)

Help me develop a text board for gemini Anonymous 2021-06-18 (Fri) 17:51:19 No.9418 [Reply]

Hello, tech, I'm looking to develop a leftypol textboard for the gemini protocol. I am curious about where I should get started, or, what language would be optimal for this. I also don't really understand how to get one language to interact with another language. (Gem text and Perl for example) I don't really want to do anything huge or something that will blow up I am just a hobbyist looking to do something fun and interesting. thoughts?

6 posts and 1 image reply omitted. Click reply to view.

Anonymous 2021-06-18 (Fri) 21:03:27 No.9433

Extend this with gemini support
https://gitlab.com/naughtybits/schemebbs

Anonymous 2021-06-18 (Fri) 21:25:46 No.9434

>>9433
Based.

Here's another textboard script that tries to remain as close as possible to 2channel but with a database and QoL features.
https://git.bienvenidoainternet.org/bai/weabot/

Anonymous 2021-07-02 (Fri) 05:16:14 No.9709

>>9429
>That site looks like shi and is just one giant wall of topics and replies. The formatting is horrible.
Gemini markup doesn't give you many options for formatting, just some headings lists and links, and clients can render them all differently.
You're missing the point if your criticism of it is "it looks fugly".

Anonymous 2021-07-02 (Fri) 06:55:56 No.9711

>>9709
I want something more structured like station.martinrue.org

Anonymous 2021-07-02 (Fri) 09:31:54 No.9716

>>9418
>he was a windows user all along

oh no no no no no

File: 1624125455921.jpg (29 KB, 800x800, 1615125387200.jpg)

Anonymous 2021-06-19 (Sat) 17:57:35 No.9456 [Reply]

USB 3.0 (5Gb/s)
USB 3.1 gen 1 (5Gb/s)
USB 3.1 gen 2 (10Gb/s)
USB 3.2 gen 1 (5Gb/s)
USB 3.2 gen 2 (10Gb/s)
USB 3.2 gen 2x2 (20Gb/s)
…
Statements dreamed up by the utterly insane.

Anonymous 2021-06-20 (Sun) 11:30:49 No.9465

>20Gb/s
You can get that with one fiber-optics cable. In principle they just need to bond a led on both ends of a fiber optical strand and put a signal converter chip on both ends of the cable to make it compatible with electrical ports. Eventually it could become cheap enough to stuff chips into cables, especial if the led and signal converter are integrate into one tiny piece of silicon, and you do something clever with the fact that microchip circuits are affected by light.

Anonymous 2021-06-21 (Mon) 11:15:30 No.9516

>>9465
20 Gbps isn't even a problem with copper. regular RG-58 coax has about 30 GHz of bandwidth. it's just more expensive than twisted pair

Anonymous 2021-07-02 (Fri) 01:04:33 No.9705

>>9456
Universal Serial Bussy

File: 1625130121380.jpg (37.62 KB, 900x506, social-coercion.jpg)

Anonymous 2021-07-01 (Thu) 09:02:01 No.9689 [Reply]

Nice, now I have to carry my fucking phone around with me every time I want to check my fucking work emails because some prick at IT decided to force everyone on to two-factor authentication in order to interact with the mail server. So much for choosing to opt out of mass surveillance and the socially-malignant perpetual connectedness of carrying a phone everywhere. So much for email being convenient.

It disgusted me when Google and other Silicon Valley monopolies started forcing 2FA on people because I see it as little more than an excuse to coerce people into giving up contact information to better track and surveil them. What's the real deal with two-factor authentication? Why is it seemingly impossible to find an article critical towards it on a simple web search?

1 post and 1 image reply omitted. Click reply to view.

Anonymous 2021-07-01 (Thu) 11:34:25 No.9694

>>9692
>use the secure token
For some reason we have to try out all the insecure authentications, and only when all of that has failed is it allowed to do the secure thing and use a token

Anonymous 2021-07-01 (Thu) 11:51:19 No.9696

>I see it as little more than an excuse to coerce people into giving up contact information to better track and surveil them
You aren't wrong, your IT department is retarded.
https://blog.cmpxchg8b.com/2020/07/you-dont-need-sms-2fa.html

Anonymous 2021-07-01 (Thu) 12:00:26 No.9697

>Why is it seemingly impossible to find an article critical towards it on a simple web search?

We need to break this search engine monopoly over what information is available. It's amazing how you can't find anything critical about entrenched IT shit like "cloud", or 2FA or any reliable information about user data being sold except in obscure mailing lists and niche tech communities.
I hope searx takes off.

Also, "IT departments" are cargo cults a majority of the time. Just blindly following whatever is "recommended" to them through their infra provider like IBM or Oracle, or the cloud providers like AWS or Azure these days.

Anonymous 2021-07-01 (Thu) 18:34:47 No.9702

>>9689
>an excuse to coerce people into giving up contact information to better track and surveil them
Use TOTP instead of SMS.
>Why is it seemingly impossible to find an article critical towards it on a simple web search?
Because 2FA is a good thing. Most people use insecure or reused passwords. Any competent IT department requires it because it massively reduces the risk of account compromise.

Anonymous 2021-07-01 (Thu) 19:19:10 No.9703

I use this for github, no contact information needed, works offline, free software: https://f-droid.org/en/packages/org.shadowice.flocke.andotp/

File: 1624889713748.jpg (139.05 KB, 1000x380, jobs.jpg)

Under the table programming jobs Anonymous 2021-06-28 (Mon) 14:15:13 No.9623 [Reply]

I've accumulated some decent skills in coding/debugging and I was wondering if any of you knew of any job boards that posted odd jobs for programmers to make a quick $ or whatever.

Anonymous 2021-06-28 (Mon) 16:24:40 No.9624

There were some code bounty programs for FOSS maybe they are still a thing?

Anonymous 2021-06-28 (Mon) 17:23:05 No.9625

>>9624
I'll look that up. Thanks.

Anonymous 2021-06-28 (Mon) 17:24:38 No.9626

There's a full service dedicated to this but I heard that the companies totally dominate the code monkeys contractually and they regularly don't pay out

File: 1623427821448-0.png (53.61 KB, 901x359, Screenshot 2021-06-01 1817….png)

File: 1623427821448-1.png (15.46 KB, 932x364, Screenshot 2021-05-30 1440….png)

Wrote stuff about fires use it for whatever you like Anonymous 2021-06-11 (Fri) 16:10:21 No.9110 [Reply]

brief observations on fires
>1:Once a substance is ignited it cant be set on fire again

>2:fires spread based off their temperature, the hotter a region is the faster the fire spreads

>3:Objects will increase in mass after being set on fire

>4:an unbreathable smell will be created after an object is set on fire

>5: fires are observed to die when covered with something with alot of mass even if it is flammable

hypothesis
>1a: the reason why you cant set a burnt object on fire again is because the substance has already reacted with its environment in a matter that it cant produce an exothermic reaction again

>evidence: when I put an ignited match in water 5 times the fire on the match went out 100% of the time and couldnt be ignited again
Post too long. Click here to view the full text.

13 posts and 7 image replies omitted. Click reply to view.

Anonymous 2021-06-22 (Tue) 23:29:08 No.9558

File: 1624404547971.jpg (43.35 KB, 680x633, >.jpg)

torch bright light light

make go hot in brr brr yuga

food go torch go hot hot

torch normal no magic, torch just torch

Anonymous 2021-06-23 (Wed) 03:49:28 No.9560

>>9550
yeah but some of the burned reactant is turned into gasses
isn't it literally like carbon + oxygen -> co2 + h20?
these things leave the original object.

Anonymous 2021-06-25 (Fri) 10:20:20 No.9577

>>9149
Prove your hypothesis

Anonymous 2021-06-28 (Mon) 03:10:03 No.9614

File: 1624849803748.jpg (89.83 KB, 539x900, prometheus-carrying-fire-j….jpg)

>>9543
Yes.

Anonymous 2021-06-28 (Mon) 03:49:28 No.9615

>>9149
>Yeah you'll also turn to ashes dumbass

Introducing the Waste Not Wood Ash workshop series where the Living Web Farms biochar crew takes a deep dive into understanding applications for one of our most common everyday waste products. As we deal with ashes from the last wood stove season and prepare for the next, discover practical everyday uses for wood ashes you can use year round. We’ll also explore the science of how and why wood ashes work in the garden, as an ingredient for natural soap making, or even as an ingredient in natural building materials. In part 1, Dan begins by filling in some of the gaps in wood ash research and sifting through some of the more and less useful info found on the internet.
If you have more clever ideas about how you use wood ashes around the farm and homestead, please share them in the comments below.

File: 1623943903030.jpg (124.24 KB, 1600x1200, iuoui.jpg)

linux failure Anonymous 2021-06-17 (Thu) 15:31:43 No.9352 [Reply]

Does the failure of Linux desktop prove that communism will never work?

feels like a barely functioning toy compare to the commercial options. they argue over irrelevant differences, constantly reinvent the wheel, never innovate, barely handles the basics.

it has no profit motive to unite or to sort boring problems.

53 posts and 6 image replies omitted. Click reply to view.

Anonymous 2021-06-21 (Mon) 17:38:43 No.9531

>>9529
also slave morality would be doing the opposite of apple because they're the leaders.

Anonymous 2021-06-21 (Mon) 17:56:25 No.9533

>>9530
>Choices on behalf of the user
Yes some choices are very, dare I say, stupid. There's a popular meme about linux UI/freetard graphic design and etc. I would say arrogance too, detachment from what users actually desire, mixed with a degree of narcissism "I'm gonna make my own le-arch-forkerinOS" instead of contributing to something already great

Anonymous 2021-06-22 (Tue) 18:56:56 No.9554

>>9529
They are absolutely pathetic.
Never forget that Apple was in danger of going out of business in the 90s and they were kept afloat only due to the sheer cuckedness of their fans who kept throwing money at their overpriced and outdated (especially classic MacOS) products just because of the rainbow apple logo. And apple doesn't even treat these users well, sometimes even going to the extent of suing some blogger appletard users for sharing product rumours.
I don't think it's possible for there to be a more examplary epitome of corporate bootlicking than macfags. They don't just do it for free, they literally pay premium prices from their own pockets for it.

Anonymous 2021-06-22 (Tue) 20:18:27 No.9555

>>9384
You can with third party programs, I use AlwaysOnTop.

Anonymous 2021-06-22 (Tue) 20:32:05 No.9556

I tried switching to Debian a few years ago and really liked it but no matter what I tried my G13 refused to work with it, and I rely on that too much. If only there was a G13 with on-board memory for the keys.

File: 1624273933437.jpg (1.24 MB, 4093x2894, EzuBuRmVcAMYE_9.jpg)

We talk about based software Anonymous 2021-06-21 (Mon) 11:12:13 No.9515 [Reply]

I've achieved Emacs enlightenment. My config is a thousand lines of perfection. Lisp machine gang rise up once and for all!

7 posts and 1 image reply omitted. Click reply to view.

Anonymous 2021-06-21 (Mon) 14:52:45 No.9527

>>9518
>ffmpeg
I used to dump video frames to jpg with mplayer, do some wild editing with shell loops calling ImageMagick and dc, then reencode it with mencoder.
This required a lot of disk space though.
>youtube-dl
Is development still stalled due to a lawsuit?

Anonymous 2021-06-21 (Mon) 17:50:41 No.9532

File: 1624297841398.jpg (186.03 KB, 1072x1640, 1619451624989.jpg)

>>9525
Interesting thanks

Is there a single based browser?

Anonymous 2021-06-21 (Mon) 18:06:52 No.9534

>>9532
Firefox

Anonymous 2021-06-21 (Mon) 20:27:04 No.9535

>>9532
Librewolf
Icecat
ungoogled-chromium
That's it

Anonymous 2021-06-21 (Mon) 21:49:28 No.9536

>>9527
>Is development still stalled due to a lawsuit?
I don't think so.
https://youtube-dl.org/
>We would like to thank GitHub for standing up for youtube-dl and making it possible to continue development without dropping any features. We appreciate GitHub taking potential legal risks in this regard.
>We would also like to heartily thank our main website hoster Uberspace who is currently being sued in Germany for hosting our essentially business card website and who have already spent thousands of Euros in their legal defense

File: 1624214358404.png (3.8 MB, 1800x2400, nice.png)

Anonymous 2021-06-20 (Sun) 18:39:18 No.9476 [Reply]

Give me one reason why I shouldn't.

5 posts omitted. Click reply to view.

Anonymous 2021-06-21 (Mon) 00:44:12 No.9495

File: 1624236252316.jpg (70.22 KB, 980x653, 1623105716400.jpg)

>>9491
Yeah that's pretty gay, but, arguably it's less boot licky to have a group of devs democratically voted on to pass commits for code changes to the kernel and such. Also it's not like they are forcing us to use proprietary software. But i do agree

>>9490

I don't get the capability argument. The only people that really suffer are NVIDIA fags. My AMD Ryzen will be unfazed.

Anonymous 2021-06-21 (Mon) 01:03:51 No.9497

>>9495
>democratically voting on people
>democratically
Please do not use words you do not understand. Elections are not democratic.

Anonymous 2021-06-21 (Mon) 01:34:00 No.9500

>>9497
Wtf is this autism.

What do you think communism is retard. Can you faggots go for five seconds with out dragging out your gay ass tabkie bullshit. American elections under borg democracy are not the same thing as voting on people in and running your party you fucking faggots.

Work places should be run this way our mod team runs things democratically to some degree. This is just ideology. Stop it.

Anonymous 2021-06-21 (Mon) 08:27:11 No.9511

>>9500
Arguably democracy is a very ambiguous word, but a marxist refutation of the represenativeness of OpenBSD's voting procedures would involve first examining potential factors like vendor pressure.

Anonymous 2021-06-21 (Mon) 11:11:50 No.9514

>>9500
Democracy is voting to make decisions, elections have always been oligarchic in nature. You're operating on a misinformed definition of democracy that stems from an Orwellian inversion of meaning peddled by aristocrats in the late 18th century. Aristotle outlines clearly in his Politics that the people who actually invented democracy considered sortition to be democratic while elections have a tendency to select for people who are already in the upper levels of society.

Delete Post [ File] Password

Reason