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

Pages: 1-4041-

Secure Rust-Based Operating System

Name: Anonymous 2017-12-28 13:50

Name: Anonymous 2017-12-28 14:18

This is excellent news

Name: Anonymous 2017-12-28 15:40

Microkernel isn't exactly the most secure model around. Its purpose was never to be secure, so much as it was made to experiment with 1) the potential of Rust 2) something like the ``everything is a file'' logic of Plan9 except with URL's and less needlessly elitist.

Name: Anonymous 2017-12-31 1:49

This is just an experiment. It's not meant to be used.

Name: Anonymous 2017-12-31 3:53

>>4
You don't need to explain it to them for them to make that realization. The blatant lack of drivers makes that self-evident. They clearly never intended on using it seriously in the first place.

Name: Anonymous 2017-12-31 13:42

>>4-5
Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable, and free. Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD.

Redox is not just a kernel, it's a full-featured Operating System, providing packages (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. You can loosely think of it as the GNU or BSD ecosystem, but in a memory safe language and with modern technology. See this list for overview of the ecosystem.

What part of this make you think that?

Name: Anonymous 2017-12-31 15:03

>>6
Install Redox on one of your computers and write back to me once you've done that.

Name: Anonymous 2018-01-05 20:03

What you have linked to is actually what is known as a ``Unix-based operating system''.

Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable,

and free.
One of the five might be true.
Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD.
Hopefully ``inspired'' is used in the sense that people have been ``inspired'' by cancer and polio to dedicate their lives to finding cures.

Name: Anonymous 2018-01-06 3:20

>>8
You're an anus!

Name: Anonymous 2018-01-07 19:36

>>3
2) something like the ``everything is a file'' logic of Plan9 except with URL's and less needlessly elitist.

Thompson. The one thing I stole was the hierarchical file system because it was a really good idea—the difference being that Multics was a virtual memory system and these "files" weren't files but naming conventions for segments. After you walk one of these hierarchical name spaces, which were tacked onto the side and weren't really part of the system, you touch it and it would be part of your address space and then you use machine instructions to store the data in that segment. I just plain lifted this.
By the same token, Multics was a virtual memory system with page faults, and it didn't differentiate between data and programs. You'd jump to a segment as it was faulted in, whether it was faulted in as data or instructions. There were no files to read or write—nothing you could remote—which I thought was a bad idea. This huge virtual memory space was the unifying concept behind Multics—and it had to be tried in an era when everyone was looking for the grand unification theory of programming—but I thought it was a big mistake.

Name: Anonymous 2018-01-07 22:35

>>5
So it's basically trying to be a research operating system.

Name: Anonymous 2018-01-07 23:12

Check my dubs.

Name: Anonymous 2018-01-07 23:18

>>12
Kill yourself.

Name: Anonymous 2018-01-08 4:04

>>7,11
Plan 9 OS doesn't have drivers. Does this mean that Plan 9 is not a serious practical OS?

Name: Anonymous 2018-01-08 13:28

>>14
Yes

Name: Anonymous 2018-01-08 23:01

>>14
Plan 9 is the work of Satan. Who but Satan would be able to create ed or dc?

Name: Anonymous 2018-01-08 23:15

>>14
Plan 9 is a research operating system, it's not meant to be in and of itself widely used, just like the original AT&T edition Unix. Other operating systems have taken Plan 9 concepts, like FreeBSD and Plan 9 from user space on Linux.

Name: Anonymous 2018-01-09 3:46

Plan 9 is a meme OS, cut the crap

Name: Anonymous 2018-01-09 3:49

>>18
what about 9front?

Name: Anonymous 2018-01-09 5:01

>>16
Who but Satan would be able to create ed or dc?
You best be joking. Is it opposite day on /prog/?

Name: Anonymous 2018-01-09 5:02

>>18
Yeah, that's why so many concepts from it has appeared on so many other operating systems, because it's just a mere ``meme OS.''

Name: Anonymous 2018-01-09 5:03

>>19
It's a continuation of Bell Labs' edition, since it appears that Bell Labs has moved away from operating systems research, guess Nokia has different priorities.

Name: Anonymous 2018-01-09 5:04

>>21
see >>17

Name: Anonymous 2018-01-09 5:05

>>17
Yes, pretty much this.

Name: Anonymous 2018-01-09 12:41

>>20
ed is horrible enough to be used as a punishment in hell

Name: Anonymous 2018-01-09 12:42

>>25
ed is the standard editor

Name: Anonymous 2018-01-09 13:22

>>26
ed is the Satan-drd editor

Name: Anonymous 2018-01-09 14:10

>>25,27
I doubt you've ever used ed in your life, kiddo.

Name: Anonymous 2018-01-09 14:40

>>28
Only Satan could do this.
http://man.cat-v.org/unix_7th/1/ed

5. A regular expression enclosed in slashes `/' addresses
the line found by searching forward from the current
line and stopping at the first line containing a string
that matches the regular expression. If necessary the
search wraps around to the beginning of the buffer.

6. A regular expression enclosed in queries `?' addresses
the line found by searching backward from the current
line and stopping at the first line containing a string
that matches the regular expression. If necessary the
search wraps around to the end of the buffer.

Addresses are separated from each other typically by a comma
`,'. They may also be separated by a semicolon `;'. In
this case the current line `.' is set to the previous
address before the next address is interpreted. This fea-
ture can be used to determine the starting line for forward
and backward searches (`/', `?'). The second address of any

(1, $)w filename
The write command writes the addressed lines onto the
given file. If the file does not exist, it is created
mode 666 (readable and writable by everyone). The file
name is remembered if there was no remembered file name
already. If no file name is given, the remembered file
name, if any, is used (see e and f commands). `.' is
unchanged. If the command is successful, the number of
characters written is printed.

DIAGNOSTICS
`?name' for inaccessible file; `?' for errors in commands;
`?TMP' for temporary file overflow.

BUGS
The l command mishandles DEL.
A ! command cannot be subject to a g command.
Because 0 is an illegal address for a w command, it is not
possible to create an empty file with ed.

Name: Anonymous 2018-01-09 16:21

>>29
It isn't any more convoluted than Vi(m). Are you new to traditional text editors or something?

Name: Anonymous 2018-01-09 21:04

Name: Anonymous 2018-01-12 15:33

Secure Dubs-Based Operating System

Name: Anonymous 2018-01-12 15:35

>>31
Thanks.

Name: Anonymous 2018-01-12 15:35

Dubs GET.

Name: Anonymous 2018-01-12 17:21

>>34
Thanks.
34
hahahahaha FUCKING pwned

Name: Anonymous 2018-01-13 1:49

>>21
That's actually how memes work. If ideas spread and replicate, then it is a meme by definition.

Name: Anonymous 2018-01-13 2:58

>>36
Are you trying to speak seriously with the Anus instead of just triggering him with inane shit? Why?

Name: Anonymous 2018-01-13 10:14

>>35
Who are you quoting?
>>36
That's not what is often meant when referred to in that way.

Name: Anonymous 2018-01-14 6:47

Name: Anonymous 2018-01-14 11:55

Locked.

Name: Anonymous 2018-01-14 16:01

Unlocked.

Name: Anonymous 2018-01-14 22:01

Locked.

Name: Anonymous 2018-01-14 22:03

>>39
I don't get it.

Name: Anonymous 2018-01-14 22:35

>>39
That's good and all but why does it matter?

Name: Anonymous 2018-01-14 22:47

What's so special about Rust?

Name: Anonymous 2018-01-14 22:50

>>45
memory safety

Name: Anonymous 2018-01-15 7:58

>>39
I’m pleased to announce that Ashley Williams1.0k (@ag_dubs) will be taking over my role as the Community Team lead and my position on the Core Team since I will be soon going on paternity leave.
check my ag_dubs!

Name: Anonymous 2018-01-15 22:24

>>45
memory safety
fearless concurrency
a real type system
macros
everything is an expression
C++-like speed
no inheritance and similar braindead garbage
fearless concurrency
much harder to write shit code
beautiful syntax like .collect::<Result<Vec<_>, _>>()?

Name: Anonymous 2018-01-15 22:40

>>48
C++-like speed
• C++
• speed
One of these things is not like the other, one of these things doesn't belong. All the other stuff sounds interesting, though. I'll give a shot.

Name: Anonymous 2018-01-15 22:46

>>49
C++ has no problem with speed. High performance games don't have an inherent speed problem when written in C++.

Name: Anonymous 2018-01-16 7:32

>>48
also:
compilation of a non-trivial program is literally impossible
social justice
you can spam issue trackers with 'rewrite in rust'
smug

Name: Anonymous 2018-01-16 7:56

>>50
Only properly optimized C++ games. Which is a rarity since c++ is much harder to optimize than C.

Name: Anonymous 2018-01-16 7:57

>>52
optimize my anus

Name: Anonymous 2018-01-16 7:57

>>1
Sounds like they need to rewrite it in Rust.

Name: Anonymous 2018-01-16 7:59

rewrite those dubs!

Name: Anonymous 2018-01-16 8:01

>>55
<- check em

Name: Anonymous 2018-01-16 14:29

>>55-56
Back to 4chan, please.

Name: Anonymous 2018-01-17 7:27

>>57
HAX MY ANUS

Name: Anonymous 2018-01-17 12:42

>>57
anus triggered

Name: Anonymous 2018-01-17 13:52

>>59
Wait, Milkribs is back!?

Name: Anonymous 2018-01-17 19:42

No.

Name: Anonymous 2018-01-18 0:36

Oh :(

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