rofl. You're fucking shit.
He's not running a mathematically proven-correct, secure microkernel
Carson Nelson
Other urls found in this thread:
sel4.systems
dl.acm.org
twitter.com
Jordan Wright
Are you?
Aiden Brooks
mathematically proven-ness is only applicable to small programs, you can't apply it to big piece of software such a kernel
Julian Fisher
I WANT IT! OwO
It just needs a userland, which it seems will be provided by Genode OS framework.
Good thing it's a microkernel uwu
Bentley Torres
Are you retard?
Aiden Wilson
Not enough Fashy imagery.
Justin Rodriguez
And what does it actually accomplish except satisfying your autism?
Aaron Johnson
Maybe if you had a fucking education in computer science or mathematics or computer engineering OR SOME FUCKING KNOWLEDGE REQUIRED TO ACTUALLY UNDERSTAND INTELLIGENT PROGRAM DEVELOPMENT, you would have an idea.
Go look up why mathematically proving code is a good thing, you fucking retard.
Logan Cooper
Likewise. You certainly didn't make this post from a system running seL4 as the only kernel.
Hunter Rivera
haha
Wyatt Green
Please do not do this
Joshua Nguyen
OwO whats this?
sel4.systems
Theres another one here. link is to the page to pay although im sure theres ways around it if u dont want to. this one goes way more in detail and a lot of it is waaay over my head but hopefully it helps! ^_^
dl.acm.org
Adrian Rodriguez
Because it has the benefits of actually knowing what your system is doing, just like open-source, except it goes beyond just claims about what the code is doing and instead ACTUALLY MATHEMATICALLY PROVES that it does what it says it does.
This is so important for the future of security.
Joshua Richardson
Don't listen to
Please do this
But make it nazbol.
Joseph Jenkins
The right can't meme
Austin Nelson
While proven correct for what, one architecture, it is not proven secure.
Lucas Reyes
I don't run sel4 because camkes is shit and i'm too busy with my shitty projects to improve sel4 ecosystem.
Jonathan Walker
...
Brandon Lopez
kek
Easton Nguyen
It is called "shitting up your memes"
Caleb Barnes
rofl. You're fucking shit.
Dominic Green
...
Blake Taylor
theres no proof for x86
Jackson Hughes
I came.
then I came again.
Aaron Morgan
Terry knows.
Dominic Hall
>sel4.systems
Published in 2014, and linked to General Dynamics botnet rather than fully independent.
Aiden Myers
...
Blake Ramirez
I hope you get colon cancer for posting that webm, niggerfaggot.
Julian Lee
Instead of this autistic screeching, you could have simply provided an answer. I assume you don't have any.
Trash this thread.