7 ms·
Same. I still check ~yearly https://news.ycombinator.com/item?id=25554912 https://news.ycombinator.com/item?id=25554912 to see if Robigalia is progressing (sadl
by mlinksva 2y ago
Same. I still check ~yearly https://news.ycombinator.com/item?id=25554912 https://news.ycombinator.com/item?id=25554912 to see if Robigalia is progressing (sadly it seems the website has casino spam on it now, cmrx64 in case you look for mentions) or someone else has taken up the mantle.
I haven't looked much further but some indication https://d3s.mff.cuni.cz/files/teaching/nswi161/martin-decky-microkernels-capabilities.pdf https://d3s.mff.cuni.cz/files/teaching/nswi161/martin-decky-... Huawei is doing interesting work.
- cmrx64 2y agoI don’t look for mentions, but how could i miss this thread ;) The new authoritative link is <https://rbg.systems https://rbg.systems>; a DNS registration oversight has that spam parked on the old site :( I still dream about taking that project back up. Maybe there’s some way to find funding for it… otherwise i am currently looking for a job (if anyone reading wants to hire me :) Check out https://www.dbos.dev/ https://www.dbos.dev/ for a different take on “persistent OS”, i think it’s neat!
- snapplebobapple 2y agoOut of curiosity what would it cost to hire you to work on rdg project full time?
- cmrx64 2y ago90k USD per yr should do it. I don’t have the skills/inclination/bullshit tolerance to deal with any kind of SBIR or VC, tho i did briefly explore the SBIR route with the encouragement of a brave collaborator (we visited DARPA together)