[ / / / / / / / / / / / / / ] [ dir / anarcho / evogames / int / litpat / rel / soyboys / vg / vichan ][Options][ watchlist ]

/tech/ - Technology

You can now write text to your AI-generated image at https://aiproto.com It is currently free to use for Proto members.
Name
Email
Subject
Comment *
File
Select/drop/paste files here
Password (Randomized for file and post deletion; you may also set your own.)
* = required field[▶ Show post options & limits]
Confused? See the FAQ.
Expand all images

File (hide): e947e78db971a15⋯.png (655.02 KB, 740x720, 37:36, smug_anime_girl.png) (h) (u)

[–]

 No.914708>>914721 >>914723 >>914727 >>914767 >>914829 >>914842 >>914867 >>914869 [Watch Thread][Show All Posts]

>Nebulet is a microkernel that executes WebAssembly modules instead of ELF binaries. Furthermore, it does so in ring 0 and in the same address space as the kernel, instead of in ring 3. Normally, this would be super dangerous, but WebAssembly is designed to run safely on remote computers, so it can be securely sandboxed without losing performance.

>Eventually, once the Cretonne compiler matures, applications running on Nebulet could be faster than their counterparts running on Linux due to syscalls just being function calls, low context-switch overhead, and exotic optimizations that aren't possible on conventional operating systems.

>Right now, Nebulet isn't ready to do anything yet, but it'll get there.

>written in Rust

https://github.com/nebulet/nebulet

Why aren't you running a WebAssembly microkernel yet, /tech/?

 No.914711>>914719

File (hide): 60f345f4cd50d04⋯.jpg (154.64 KB, 1637x921, 1637:921, cyberpunk terry.jpg) (h) (u)

No thanks fam, I'll go instead with TempleOS and his own low bandwitdth RS-232 network.

https://youtube.com/watch?v=xVxNgE1chl4


 No.914719>>914725 >>914727 >>914746 >>914823 >>914923 >>915111

>>914711

so he will finally implement networking in templeos? i'll fucking switch to it if that's the case. it might be the most secure piece of software ever made. nobody would be autistic enough to write a virus in HolyC (except Terry, but he is a good person).


 No.914721

File (hide): c805d2b3638862b⋯.png (339.32 KB, 656x435, 656:435, c805d2b3638862bf7099999b76….png) (h) (u)

>>914708 (OP)

>Eventually, once the Cretonne compiler matures, applications running on Nebulet could be faster than their counterparts running on Linux due to syscalls just being function calls, low context-switch overhead, and exotic optimizations that aren't possible on conventional operating systems.

Essentially it is statically compiling everything using websassembly in rust and running it at ring-0. We might as well go back to having the application designer bundle drivers for all the hardware in their program. Granted it is as secure as the rust language allows it to be but still. What could possibly go wrong?


 No.914723>>914728

>>914708 (OP)

Is this really the kind of direction software is heading?


 No.914724

>web dev version of temple OS


 No.914725

>>914719

>t. brainlet larping as tech savvy


 No.914727

>>914708 (OP)

Interesting software....if it was of network.

You've got to be insane to shill web assembly as secure same thing for rust.

The only way to have something close to secure software is to have secure hardware which is something that does not exist (beside talos II).

>>914719

>obody would be autistic enough to write a virus in HolyC

Except other schizophrenic people who took control over temple os.


 No.914728>>914733

>>914723

Web assembly is shilled by google and MS their project is to migrate every function a OS as into the cloud.tm.


 No.914733>>914873

>>914728

B-but anon, why would you keep your files on your hard drive? They are protected from theft and corruption on the cloud(tm)! Also hard drives and sdds will be antics in the future! Why would you use such an old technology? Are you a pedo, anon? Or a terrorist? Why would you have something to hide?


 No.914740

>>914729

>I-Is Rust too hard for you, a-anon?

I do vhdl everyday, take your over abstracted shit safe space tier meme language somewhere else.


 No.914746

>>914719

He talks a little about it in that video. His concept is something completely separate from the Internet tnough, not something you'd use to browse websites on.

As far as virus go, those weren't such a big deal in the old days when you didn't have lots of devices vulnerable to firmware exploit. I once got the Stoned virus on my Amiga 500. Big deal, I simply shut off my computer before using any other floppy disks. It was pretty easy to keep nasty things contained that way. And if I had a virus scanner, it would have probably cleaned that floppy, but those days I didn't even have a modem. It was a game disk someone gave me, which was my usual method to get software besides buying it from the store. But the store didn't have everything, so...


 No.914755>>914758

How the fuck does webassembly even work?

Is it compatible across different architectures with different assembly?


 No.914758>>915087

>>914755

>How the fuck does webassembly even work?

Just like javascript.

>Is it compatible across different architectures with different assembly?

Yes, just like javascript.

Webassembly is just javascript Electric Boogaloo but with even more intention of removing the web and control over other peoples computer.


 No.914767>>914794 >>914820

File (hide): 222c8eb149f075c⋯.jpg (68.82 KB, 500x500, 1:1, nj23dj6pNp1u7hrxbo1.jpg) (h) (u)

>>914708 (OP)

m-my microkernel-loving side is saying "OMG I WANT!!"

my (((web technology))) hating side is saying "STAY AWAY!!"

-_-


 No.914794>>914815


 No.914815

>>914794

hurd is dead, anon..

>Mach is a so-called first generation microkernel. It is the microkernel currently used by the Hurd.

>only NFSv2 is supported so far.

>The Hurd presently has no sound support

>The DDE environment allows for reusing half of the Linux 2.6.32 network device drivers

>2.6.32

>support for character devices (like sound cards) and other hardware (USB, multicore) is mostly missing.

>Copyright © 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2016

>Last edited 2016


 No.914820

>>914767

furfags out


 No.914823>>914923

What is the point of this? If you want to be portable, just distribute the source code.

>>914719

There's fork of it with networking: https://www.youtube.com/watch?v=3oD8tj3eBls


 No.914829

File (hide): a1a33a536dc3bb4⋯.png (420.37 KB, 640x480, 4:3, 1439771634976.png) (h) (u)

>>914708 (OP)

>WebAssembly modules instead of ELF binaries

>ISA instead of object file format

Oh boy.

>WebAssembly is designed to run safely on remote computers, so it can be securely sandboxed without losing performance.

Oh yeah. Finally instruction set without that horrible HAXME $l1488t instruction.

But sarcasm aside, that's quite good project for student's first low-level work


 No.914842>>922188

File (hide): a1d58ac9e987010⋯.webm (402.18 KB, 406x720, 203:360, the tormented dead.webm) (h) (u) [play once] [loop]


 No.914867

>>914708 (OP)

>WebAssembly is designed to run safely on remote computers

Except it is still vulnerable to Spectre-class exploits for private data exfiltration, and now you've moved everything into the same address space so all of the data in working memory is available. Nice toy, but it's got 20+ years of processors that it shouldn't be run on.


 No.914869>>915089

>>914708 (OP)

If it weren't for side-channel attacks this would be a good idea.

WebAssembly is a synthesis of PNaCl (Portable Native Client), a Google project to run native code in Chrome, and asm.js, a subset of JS that can be compiled to native code. It's never been described this way officially, but that's how it evolved.

PNaCl was designed with security in mind. NaCl was a subset of x86 (if I recall correctly) that was sandboxable, and I think PNaCl was the same for LLVM IR. WebAssembly is similarly designed so that it can safely be compiled to native code. The safety comes from the limited and precisely defined semantics of WebAssembly.

Apart from correctness of the implementation of WebAssembly there are two other problems. The minor problem is that it is easier to target CPU bugs because WebAssembly will map closely to CPU instructions (it was designed to) so someone who knows a CPU bug could invoke it with WebAssembly. I thought I saw this done in practice but I couldn't find the link.

The major problem is side channel attacks. I don't see how you can avoid them without some kind of hardware support. Spectre/Meltdown expose weaknesses in the hardware isolation of processes, but nebulet won't use any hardware isolation, so it will have to do all the work of prevent side channel attacks in software. Since people have relied on (imperfect) hardware isolation for so long I doubt nebulet will be able to solve this problem on their own.


 No.914873>>914990

>>914733

>antics

You mean "antiques". Also you are officially too stupid to post on /tech/, please leave now


 No.914890

This actually sounds interesting, worth the developments. Is this probably how distributed OS may look like in the future? Since everyone and their dog is fatally attached to the concept of WEB APP? Maybe it will flop so hard people will actually want to try something simple, like Inferno.


 No.914902

but why


 No.914917

applications ... on THE WEB


 No.914923>>914990


 No.914952

>it took websoylent to popularize such an obvious idea like Microkernels


 No.914990

File (hide): b096961d0adaada⋯.jpg (110.91 KB, 458x614, 229:307, cover.JPG) (h) (u)

>>914873

Believe it or not, antics are a real thing!

>>914923

TCP/IP on a ring-0 only OS running on botnet hardware sounds like a bad idea. There's already instances of malware hidding itself in HDD firmware (Kaspersky found it some years ago). It's just a big can of worms to open. If this was early 90's hardware, it would probably be ok.


 No.914992

>rust

>wasm usage in real world

>implicating safety and efficiency

what a stink


 No.915087>>915163

>>914758

Good summary.

Javascript was a mistake.

Webassembly is that mistake, fully weaponized.


 No.915089

>>914869

"safely compiled to native code"

Fucking hilarious.


 No.915111>>915152

Tohsaka Rin pleases young boys for free.

>>914719

You're advocating for security through obscurity. Stop that.


 No.915152>>915163

>>915111

More like security through simplicity and smallest possible codebase. Basically the opposite of "modern" design where they pile on more and more code to deal with inherent design issues, including ones in the C language itself.

But that said, Terry isn't going for TCP/IP. He wants something a lot simpler.


 No.915163

File (hide): 3fb87500a9696fa⋯.png (65.71 KB, 600x260, 30:13, altright_anime.png) (h) (u)

>>915152

>Terry isn't going for TCP/IP. He wants something a lot simpler.

I like the idea he's got but I want to see it developed further before I hop on board. If it goes anywhere useful I'll dedicate an old machine to templeOS shitposting

>>915087

Sometimes I think I made the wrong decisions and should have devoted more time to javascript and learning how to churn out shitty websites using wordpress. Every "webdev" I've met IRL knows nothing beyond Wordpress. Those people are the worst because they constantly talk about their jobs and say buzzwords in an attempt to impress normalfags that buy it hook, line, and sinker.

>Why don't you get a job where Jon works anon?

Because Jon is a faggot that doesn't know HTML and only has his job because his boss is fucking him in the ass. That's why. Modern webdev is truly a faggot's paradise.


 No.915819

UTTERLY... FUCKING...

degenerate


 No.922153

nice, WASM in ring 0, just what we needed


 No.922174

>>mobile api in the kernel

DEGENERATE


 No.922177

I wondered when the singularity os concept would be revisited. Using web assembly allows them to reuse quite a bit of infrastructure, although it feels downright disgusting


 No.922188

File (hide): 241418fda1b3969⋯.gif (980.87 KB, 500x221, 500:221, 241418fda1b3969479f96071b7….gif) (h) (u)


 No.922206

>webassembly

>questionmark_nigger.jpg

what am i reading?




[Return][Go to top][Catalog][Screencap][Nerve Center][Cancer][Update] ( Scroll to new posts) ( Auto) 5
41 replies | 9 images | Page ???
[Post a Reply]
[ / / / / / / / / / / / / / ] [ dir / anarcho / evogames / int / litpat / rel / soyboys / vg / vichan ][ watchlist ]