Live data from Hacker News

Lions OS: secure – fast – adaptable

trustworthy.systems

31–40 of 64 posts

Re: Lions OS: secure – fast – adaptable

#31

Sorry for hijacking this thread but I've tried multiple times to post the announcement of Lions OS weeks ago and it always got shadow deleted: https://news.ycombinator.com/item?id=39920624 https://news.ycombinator.com/item?id=39933112

this site is run and shadow manipulated by mods to bestow karma/credit points to a chosen few posters. you're not in the club.

Re: Lions OS: secure – fast – adaptable

#32

Sorry for hijacking this thread but I've tried multiple times to post the announcement of Lions OS weeks ago and it always got shadow deleted: https://news.ycombinator.com/item?id=39920624 https://news.ycombinator.com/item?id=39933112

this site is run and shadow manipulated by mods to bestow karma/credit points to a chosen few posters. you're not in the club.

I'm a nobody in every sense of the word. I didn't go to a fancy school; I didn't join a startup or a unicorn; I've worked as a corporate web dev for 20 years using ASP.Net and C#; I know very few people in tech (and no one high up).

My posts are never "shadow deleted" they in fact sometimes get a boost from the mods when they though it just missed the mark timing-wise (i.e. interesting post, but some breaking news thing happened, and I didn't get the love).

The moderators only car about keeping the discord civil (as civil as possible), and the posts relevant/interesting for their niche.

There probably is a "club" - but not being in it doesn't get your content shadow deleted. It just wasn't interesting enough at the time to get votes.

Re: Lions OS: secure – fast – adaptable

#33

Earlier quoted context omitted.

this site is run and shadow manipulated by mods to bestow karma/credit points to a chosen few posters. you're not in the club.

I'm a nobody in every sense of the word. I didn't go to a fancy school; I didn't join a startup or a unicorn; I've worked as a corporate web dev for 20 years using ASP.Net and C#; I know very few people in tech (and no one high up). My posts are never "shadow deleted" they in fact sometimes get a boost from the mods when they though it just missed the mark timing-wise (i.e. interesting post, but some breaking news th…

I am not the original poster, so what's your explanation for why his two attempts were both deleted?

Re: Lions OS: secure – fast – adaptable

#34
post #28

Earlier quoted context omitted.

Correctness via formal verification - at least in the core of sel4.

Genode can also run on sel4.

Are its TCB and integration similarly verified? If not formally-verified, are they in a safe language or statically analyzed to block common errors?

Re: Lions OS: secure – fast – adaptable

#35

Earlier quoted context omitted.

I'm a nobody in every sense of the word. I didn't go to a fancy school; I didn't join a startup or a unicorn; I've worked as a corporate web dev for 20 years using ASP.Net and C#; I know very few people in tech (and no one high up). My posts are never "shadow deleted" they in fact sometimes get a boost from the mods when they though it just missed the mark timing-wise (i.e. interesting post, but some breaking news th…

I am not the original poster, so what's your explanation for why his two attempts were both deleted?

Who knows - maybe different mods have different criteria/bias? Maybe today is a slow day?

I mean, this post isn't really big news, it feels like it's just barely scraping by the notability/interest level required to make it on HN. Mostly, I just think the presence of some kind of cabal or conspiracy is a lot less likely than "mods are human and thus subjective and inconsistent".

Re: Lions OS: secure – fast – adaptable

#37

Earlier quoted context omitted.

I'm a nobody in every sense of the word. I didn't go to a fancy school; I didn't join a startup or a unicorn; I've worked as a corporate web dev for 20 years using ASP.Net and C#; I know very few people in tech (and no one high up). My posts are never "shadow deleted" they in fact sometimes get a boost from the mods when they though it just missed the mark timing-wise (i.e. interesting post, but some breaking news th…

I am not the original poster, so what's your explanation for why his two attempts were both deleted?

They weren't deleted, the account was brand new when they were posted so they were probably killed by the spam detector. Questions about stuff like that should just be sent to hn@ycombinator.com, that's in all the site docs.

Re: Lions OS: secure – fast – adaptable

#38

Seems to be this: https://www.lionsos.org/ https://github.com/au-ts/lionsos > LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performa…

What, pray tell, are “cyberphysical” systems?

It is a term coined by the Air Force Research Laboratory, as an umbrella term for industrial control systems, robotics, avionics, and generally any system that primarily consists of software and the heavy machinery it operates.

The term is favored by DARPA over any of its alternatives; seL4 received DARPA funding, and was adopted by DARPA projects, so it's not surprising that they'd use the associated term. It's no worse than other terms in the embedded systems world, and communicates the intended use cases to the most likely users.

Basically, if TrendMicro builds you a bunch of infrastructure to optimize the power grid, it will be described as consisting of Intelligent Electronic Devices. If Collins Aerospace builds the exact same infrastructure, it will be described as consisting of Cyber Physical Systems.

Re: Lions OS: secure – fast – adaptable

#39
post #21

Earlier quoted context omitted.

In practice, Linux is everywhere now, often in places where it should not be. Linux is truck/SUV of computer world if I can extend your analogy. It doesn't belong to center of big city, but it is here.

My conversations with people who have implemented Linux where it shouldn’t have been have essentially boiled down to it being easier to hire Linux developers than embedded systems developers

It's easier to hire linux kernel devs, there's more documentation, tooling & examples, device drivers & filesystems are more widely available, etc.

Every other OS has to play catch-up. They either need a killer app or lots of funding, or else they'll be stuck in a specific niche.

Re: Lions OS: secure – fast – adaptable

#40
post #37

Earlier quoted context omitted.

I am not the original poster, so what's your explanation for why his two attempts were both deleted?

They weren't deleted, the account was brand new when they were posted so they were probably killed by the spam detector. Questions about stuff like that should just be sent to hn@ycombinator.com, that's in all the site docs.

A spam detector that just kills anything from people new to the site, + it not ever being reviewed/revived, is pretty uncool IMO.
Post reply on HN