This seems a bit morally questionable...
Hmmm... How do you mean?
Readit Newsadamretter commented on XML Summer School, Oxford. 14th to 19th Sept 2025 xmlsummerschool.org/... · Posted by u/adamretter
adamretter commented on XML Summer School, Oxford. 14th to 19th Sept 2025 xmlsummerschool.org/... · Posted by u/adamretter
> 508 Resource Limit Is Reached
HN hug workaround: https://web.archive.org/web/20250711042802/https://xmlsummer...
Aggh! Sorry. I have contacted the site's admin to let them know. In the meantime there is also a LinkedIn Group - https://www.linkedin.com/groups/2043439/
There is also a registration page with Ticket Source - https://www.ticketsource.co.uk/booking/select/ngdvzeggmorw
That video is from 2013. Is anyone aware of an update for the last ten years which covers 2013 to 2023? I would like to understand if seL4 is still considered "current" or there have been newer developments since then that are worth considering. I have searched around a bit, and apart from Google's Fuscia Zircon, or Unikernel's like UniKraft, other L4 spin-offs and XNU I am not finding too much about newer modern microkernels.
adamretter commented on Apache Guacamole: a clientless remote desktop gateway guacamole.apache.org/... · Posted by u/thunderbong
I set this up to provide RDP access to 10 Ubuntu lxde VM's that we used for students on a training course. It worked very well in the browser for the most part, but isn't yet quite as smooth as using Microsoft Remote Desktop client. Very impressive though :-)
adamretter commented on Faster: Fast persistent recoverable log and key-value store github.com/microsoft/FAST... · Posted by u/LAC-Tech
I was looking to use both. Actually. I discovered FASTER when looking to port durable functions to php (it’s called durable-php if you want to google it, though the implementation is nothing like it) and the netherite engine uses faster.
It’s perfect for my use-case, more so now than when I originally researched it as a possibility. Back then, I didn’t even have threading solved for php. Now that’s all a solved problem (threads ftw) and I’m refactoring log storage now to better support things like faster.
Have you considered Meta's RocksDB as an option?