Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Memory safe C!

Name: Anonymous 2015-08-01 9:27

Name: Anonymous 2015-08-01 11:02

Name: Anonymous 2015-08-01 11:11

>>2
"Features not yet supported
- Threading support"

Scrubs just doing the easy shit.

Name: Anonymous 2015-08-01 12:59

Formally verified C kernel by using a proof assistant.
You could call this "memory safe C" too, although it's even better than just being memory safe.
http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf

Name: Anonymous 2015-08-01 13:01

The overhead for safety in RC is low (less than 11% on a group of realistic benchmarks).

What the fuck, 11% isn't that low!

Name: Anonymous 2015-08-01 13:52

not cyclone

Name: Cudder !cXCudderUE 2015-08-01 14:37

Just wait until all your locked-down devices are formally verified to be unjailbreakable, stuffed with DRM and as controllable as a Telescreen... always watching you to determine what you're thinking, forcing you to view ads (which you CANNOT skip since face detection will make sure you are actually looking at the screen with your eyes open and it will pause if you look away or close your eyes... it also knows when someone else is watching, so media companies can charge more if you share your device with someone else), no choice in what software you can run besides dumbed-down shit with just as much configurability as a TV, nothing allowed but the (formally verified to be unbreakable) walled garden... sure you get no more malware or "those evil foreign hackers" to mess things up and steal your info, but no more freedom nor Snowden-like leaks either...

"Those who give up freedom for security deserve neither."

Name: Anonymous 2015-08-01 15:30

The paranoid retards complaining about an Orwellian future are exactly the same faggots who are contributing to it by giving big organizations their fucked up ideas.

Pausing an ad when someone looks away? Great idea!

Name: Anonymous 2015-08-01 16:17

Cudder just wants to share what she's working on

Name: Anonymous 2015-08-01 17:34

>>8
What do you mean ``future''? It's already here!

Name: Anonymous 2015-08-01 19:37

>>7
You could just organize a boycott of such products. If free computers do go out of production buy a bunch of them now and keep them in storage and use them as they break.

Name: Anonymous 2015-08-02 1:48

Region-based memory management
reference count
runtime error

Shit!

Name: Anonymous 2015-08-02 1:54

>>6
Whom are you quoting?

Name: Anonymous 2015-08-02 3:07

>>13
I don't even know!

Name: Anonymous 2015-08-02 11:41

>>7
"formally verified to be unjailbreakable"? You've no idea what formal verification is, or why it's good. Formal verification cannot make programs unjailbreakable or 100% hack-proof. It only enforces that the program code does what the programmer intended - eg. functions terminate, array writes are within bounds, and all email addresses contain exactly one @. Not like it can prevent a program from accepting a key you've bruteforced.

Formal verification is like putting a super-precise mini-factory capable of manufacturing car parts into everyone's garage - doesn't mean there will be any less car accidents, just that it will be easier to construct correctly working machinery.

Name: Cudder !cXCudderUE 2015-08-02 14:22

>>11
Boycotts don't work. Everyone will just ignore you like they do RMS with his "100% freedom" philosophy. You have to actively crack these systems to get the best of both worlds; at least someone with a jailbroken iPhone can still act like a hipster and interact with the sheeple while maintaining his/her freedom.

"The tree of liberty must be refreshed from time to time with the blood of patriots and tyrants."

>>15
I'm not arguing that it's 100%, just that it will make things very much harder, even to the point of being impossible.
Not like it can prevent a program from accepting a key you've bruteforced.
All encryption is theoretically bruteforceable (and the point of strong encryption is to make it so bruteforce is the only way to break it), but in practice it takes so long that it's impossible.
just that it will be easier to construct correctly working machinery.
...which includes things like DRM and adware working "correctly" from the point of view of its designers and the programmers who implement these things.

Formal verification is like putting a super-precise mini-factory capable of manufacturing car parts into everyone's garage
I've heard plenty of this "FV is for everyone" bullshit already, but the reality is that most software is written by corporates and big organisations that want to extract profits from users and will use these technologies against them. It's very much in the users' interests that software remain "malleable" - that it can be cracked and modified by other than its original creators.

Governments are scared of the population using encryption against them, so why isn't the population scared of encryption used against them? It makes no sense.

Name: Anonymous 2015-08-02 14:31

>>16
Governments are scared of the population using encryption against them, so why isn't the population scared of encryption used against them? It makes no sense.
Governments are not afraid of that. Governments are afraid of other governments, which is to say, if my neighbor knows something about my kid, I want to know it first. It's a global information war, not some anarchopleb conspiracy

Name: Anonymous 2015-08-02 20:28

>>16
act like a hipster and interact with the sheeple
Why the fuck would anyone do that?

It's very much in the users' interests that software remain "malleable"
But the software you use should be secure. Formally verified open source software that works in the user's interest is a good thing and is a defence againsts hackers, both criminal and ``legal''.

Name: Anonymous 2015-08-02 20:29

>>17
The greatest threat to a government is its own people.

Name: Anonymous 2015-08-02 21:26

>>16
Having a jailbroken iPhone is not freedom.

Name: Anonymous 2015-08-02 21:42

>>12
This, unfortunately. How is reference counting and runtime errors in any way C?

Name: Anonymous 2015-08-02 21:53

Didn't we already have this shit with Cyclone about 20 years ago. Nobody wants fat pointers, region inference, or reference counting.

Rust had something good at one point but that went away when everyone realized that between compile-time checks and GC, actual programmers will always either prefer the latter for comfort or eschew safety altogether, putting their discomfort towards making the program secure the old-fashioned way.

Name: Anonymous 2015-08-02 22:07

Also, user's manual is a huge PostScript file

Name: Anonymous 2015-08-02 22:53

>>22
yeah cyclone was actually backed by research and mathematical proof unlike rust. it makes me ill that they keep shilling it as memory safe.. with no proofs or even a formal model (please don't link me that shitty lisp script someone wrote, I've seen it).

Name: Anonymous 2015-08-02 23:33

>>24
epic shill meme /b/ro lmao

Name: Anonymous 2015-08-03 6:55

>>20
But stealing one is for the person you stole it from.

Name: Cudder !cXCudderUE 2015-08-03 11:16

>>18
Why the fuck would anyone do that?
You can't convince anyone if you stay on the extremist side. How many people would live like RMS? You need to be a "wolf in sheep's clothing" - blend in with everyone else and show them that it's possible to both continue with doing what you've always been, and get more on top of that. Standing away from the crowd and shouting at them to join you won't work; you have to join them first, and change them from within. It's the same problem with Linux adoption - if the answer to "does it run my existing apps" is "no", they won't care.

and is a defence againsts hackers, both criminal and ``legal''.
It is also a defence against the user.

Name: Anonymous 2015-08-03 13:17

>>27
You don't like Stallman because he had the audacity to start his own world rather than to be a wolf in wolf's clothing to seduce people into superficial changes? There's no point in trying to convert people who are too addicted to the power of proprietary software; they deserve everything they get.

The problem of proprietary software is inherently a political and moral problem. Users who don't agree it's also a political and moral problem deserve to live in the world they chose. The few people who believe this is a moral problem have the choice of escaping the world of proprietary software.

Name: Cudder !cXCudderUE 2015-08-03 14:25

>>28
No, I think he's a good extremist - and they do have to exist - but it's impractical to many people and so he'll just be viewed as nothing more than an ideologist.

There's no point in trying to convert people who are too addicted to the power of proprietary software
They will take over more and more of your life and make it gradually impossible to live without, if you don't fight against them. The only guaranteed failure is to not try.

Name: Anonymous 2015-08-03 14:35

>>29
I think Stallman is incredibly pragmatic, even to a fault. It's one thing to profess what software should be and another is to provide the legal means and resources to protect free software developers from corporation abuse. When you consider how low can companies go to return a profit or appropiate work that does not belong to them, you understand how important it was for the GPL to leave no loose ends at all. Further, he's not doing anything "extreme" himself, unless you consider giving the same speech every time they request him to as inhumanly taxing or something.

Name: Anonymous 2015-08-03 21:40

>>27
I'm not trying to convince anyone. I'm just trying to understand why anyone would do that when they have a full understanding of the consequences of carrying around a device with high quality sensors for visual, audio, geolocation, and even an accelerometer when the device itself is controlled by a company which is in turn controlled by government(s), and when rootkits for these devices have been leaked. How naive do you have to be to put yourself in this position. I could understand if a person doesn't have enough of a grasp on modern technology to understand the capability of surveillance. But you've given it up when you knew full well what you were giving up. And not only are you giving it up, you are paying for it. You are literally funding the most extreme form of surveillance known to humanity out of your own paycheck.

Name: Anonymous 2015-08-03 22:18

>>31
Jokes on you, I don't get a paycheck!

Name: Anonymous 2015-08-03 22:32

>>32
But you can still get a dubscheck!

Name: Anonymous 2015-08-04 1:03

>>28
There's no point in trying to convert people who are too addicted to the power of proprietary software; they deserve everything they get.
Don't forget that users of proprietary software also put others at risk. A big part of malicious software is to spy more than its owner.

Many schools are adopting Chromebooks and making them mandatory. The students are not allowed to tamper with the software or use their own computer. Since these computers have almost no storage capacity, everything is network based which means that both the school and Google know everything that the student does at all times. And don't forget that these schools often have a firewall which blocks helpful websites such as Wikipedia(the reasoning being that it's "uncited"), which not having your own computer often makes it hard to circumvent with a proxy. This teaches kids that they are not allowed to use "non-approved" sources, which is very nonacademic. Not to mention that this filter is also meant to censor unwanted political opinions(think of the far-left/SJW agenda). There are many cases where schools make the usage of proprietary software mandatory.

Employers are like this too. Most of them use a Gmail-based web system, and other features such as Docs, Calendar, and Drive. This means that Google knows where you work, what you say to everyone in your company, what you are doing, what you are working on, and even stores your files. In order to remain profitable, businesses often require presence on social media as well as proprietary platforms(including mobile).

Government is also like this. It's frequent for government services to require using Windows or Internet-Explorer only software which not only presents a massive inconvenience(since Windows is a crude operating system) but also an ethical dilemma. And let's not forget proprietary Javascript. It's common to hear about security breeches with the personal information of government employees as well as those who use government services to be leaked to foreign nations, which leads to a crisis of identity theft and espionage. The people who are responsible for securing these services are clearly either incompetent or simply don't care.

And this is not even mentioning government-issued spying programs such as the NSA which is known to actively push software makers into adding backdoors to their software. This includes harvesting meta data from Windows registrations, phone calls, social media databases, phone-homing from proprietary software, DRM systems, or just random web traffic such as this.

Everyone in my family but me has a smartphone. Even the kids barely out of diapers. They're the type that do all of their communication through Facebook and Google+ and they are constantly trying to get me to join them. They also take pictures of me and upload them. They even made accounts for me. It's a nightmare. I'm not the owner of those services, but this is one case where proprietary software affects a third party.

Proprietary software is not only a fool's dilemma but a global crisis. It's our problem too. As long as stupid people rule the world, they will push us into their stupidity. Don't neglect the damage they have caused. We have to either stand up to them or attempt to educate them. This is what people like Stallman aim to achieve.

I negotiated with my school and they let me use my own laptop. I was the only person in my grade who did. It gave me a massive advantage. Part of what made me a programmer was making programs to help me in school. While the other kids were on their overpriced, oversized, and outdated graphing calculators, I had a modern and fast computer along with a bundle of quality software to help me. The other kids never got this opportunity. They were neglected, and their education was tarnished as a result. I could also emulate their calculators except for exams where I just borrowed one. Those things are such a scam. In my company, I'm the only one that doesn't run either Windows or MacOS. That's pretty sad. I try to suggest reasonable alternatives to their proprietary software. Sometimes they listen. I don't want to push them too hard since that would be counterproductive. But I have made some progress which is nice. Not to mention trying to steer them away from C/PHP/PERL/JAVA and all that mayhem. Then there's the government. We have more control over the weather than the government. I won't make this package overly political, but this is a case where we have to avoid the the problem rather than solving it. But that's just me. I know some people are interested in political activism.

Name: Anonymous 2015-08-04 1:48

>>34

nice copypasta, motherfucker

Name: Anonymous 2015-08-04 4:24

>>34
Smartphones are especially troubling, since 24/7 internet and email access is already enticing, and becoming more and more necessary.

Name: Anonymous 2015-08-04 4:29

becoming more and more necessary.
Why? If someone expects you to check your email 24/7 tell them to eat shit and die. Problem solved.

Name: Anonymous 2015-08-04 11:19

>>36
24/7 email access
oh shit the megabytes are growing!!11!11!one

Name: Anonymous 2019-10-14 6:04

C is the nigger. Lynch the nigger.

Don't change these.
Name: Email:
Entire Thread Thread List