Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Human brain is two separate organs, Stanford Medicine-led research finds(stanford.edu ↗)
    99comments
  2. If math is more than proof, we need to better celebrate the rest of it(terrytao.wordpress.com ↗)
    64comments
  3. AI posters don't have to be horrible(john.hartnup.uk ↗)
    7comments
  4. GPT-6 Astra Solves a WWI German Radio Cipher(prinzai.com ↗)
    54comments
  5. Android 17 is the first since 3.x to add new APIs without releasing to the AOSP(grapheneos.social ↗)
    414comments
  6. San Francisco Onion Futures Company(onionfutures.com ↗)
    67comments
  7. Cloudflare Quick Tunnels(cloudflare.com ↗)
    282comments
  8. "The Secret Life of Circuits" is here(coredump.cx ↗)
    8comments
  9. SDCC – Small Device C Compiler(sourceforge.net ↗)
    18comments
  10. Science Is Open Software(jepedersen.dk ↗)
    38comments
  11. Typesafe-computer-use drives a Mac toward a goal for 1/50th of a cent per step(github.com/awlevin ↗)
    50comments
  12. How to Write with an LLM(sockpuppet.org ↗)
    329comments
  13. You can run Git on object storage if you re-make packfiles(tigrisdata.com ↗)
    15comments
  14. Saving another 100TB of RAM(cloudflare.com ↗)
    78comments
  15. Why building a Rust LSP is hard(rust-glancer.github.io ↗)
    32comments
  16. How OpenAI Used Its Own LLMs to Design Its Jalapeño Chip(ieee.org ↗)
    88comments
  17. Apple M6 Pro Achieves the Highest Single-Core CPU Score in Geekbench 7(geekbench.com ↗)
    40comments
  18. Ctenophores: Wonders of Biology(quantamagazine.org ↗)
    6comments
  19. NASA-IBM Lunar Foundation open-Source Geospatial AI Model(usra.edu ↗)
    2comments
  20. The first new cat species discovered in 100 years(nationalgeographic.com ↗)
    105comments
  21. OpenJev(openjev.com ↗)
    265comments
  22. Goroutine Leak Profiles(go.dev ↗)
    4comments
  23. Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash(cactuscompute.com ↗)
    89comments
  24. Photon-Emission-Guided Laser Fault Injection Enables RP2350 Secure Debug(ledger.com ↗)
    70comments
  25. Cache-to-Cache: Direct Semantic Communication Between LLMs (2025)(arxiv.org ↗)
    13comments
  26. Suppress vulnerabilities applying Kubernetes context to scans(github.com/alegrey91 ↗)
    2comments
  27. Warez: The Infrastructure and Aesthetics of Piracy (2021)(archive.org ↗)
    68comments
  28. Veronese's Dogs(publicdomainreview.org ↗)
    1comments
  29. Inside ZCode: Silently uploading your Git history to the cloud(ferstar.org ↗)
    100comments
  30. Cyclomatic Complexity in C#(ndepend.com ↗)
    21comments

Microkernels Meet Recursive Virtual Machines (1996) [pdf]

44 pointsby 11y agobrynosaurus.com
9 comments
11y agoHN ↗

P.S. If anyone can assist me in finding the Fluke or Flux OSKit source code, that would be appreciated. The Utah FTP server appears unresponsive from my end, so I'm looking for mirrors.

11y agoHN ↗

ftp.flux.utah.edu is responding fine for me.

If you can't find what you're looking for we can help, I'm regehr@cs.utah.edu

11y agoHN ↗

What's the licence on fluke? It doesn't seem to be listed anywhere. I don't really want to look at the code until I have a good handle on that.

11y agoHN ↗

That's a REALLY good question. I just dug through the site on Wayback Machine and FTP server without finding that. I found GPL license file but it's not clear if it was just for the GNU tools or whole project. Also looks like a template they didn't fully fill in. Neither site nor DTOS paper referencing it mention a license.

Now, I know that many projects have used OSKit in open-source software and I haven't heard of a problem. I just found a license for it:

https://www.cs.utah.edu/flux/oskit/LICENSE

If you're doing a practice project, there's probably no harm in using Fluke work. You can always contact them if unsure. However, it seems like the work was intended to get out and be built on (definitely OSKit). Far as academia and industry types, this work has long been superceded by other tech and government contracts by those involved. I doubt they'd feel threatened.

Just my estimate on the situation. Never guarantees. Except for OSKit given its license.

11y agoHN ↗

Darnit, I wish I saw the email before I posted this:

https://news.ycombinator.com/item?id=10549916

Do you have a reference for what license Fluke is available under or the others? The website gave one for OSKit but not Fluke. Additionally, I just found a GPL in /dist on FTP server but wasn't clear if that was GNU tools or Fluke, etc.

Clarifying on web site or FTP might help future researchers thinking of building on this stuff. It was landmark work for its time after all & still interesting. ;)

11y agoHN ↗

that allows recursive virtual machines (virtual machines running on other virtual machines) to be implemented efficiently.

Does this mean one can dream of: compiling HotSpot's C++ source to WebAssembly, load the JVM in the browser, load a jar, and expect decent performance?

JigSaw allows some lightweight and modular JVMs, and wasm could be just another target architecture.

11y agoHN ↗

By virtual machines, they'e talking more about hardware visualization (ie. Xen/VMWare/KVM) than language VMs like HotSpot, JavaScript, or WebAssembly.

11y agoHN ↗

This seems to be very hot, dizzyingly close to the jackpot. Two tightly related questions:

1) The idea here is that nesters are strictly OS facilities, is it? There's no expectation that a nester can be user code—that a user can write his or her own nester application and run it as he/she would any other executable binary, or is there?

2) There's no expectation that nesters can "intercept" messages to fictitious children, or is there? By fictitious children I mean child nesters or applications that don't actually exist in the VM system's tree of VMs, and instead are just "made up" by the nester. But in truth anything that can send and receive messages is just as much a real process as any other. Think recursively-nested dynamic HTTP servers, or a Unix mount(1) that mounts (arbitrary)* processes instead of files. Or having a conversation with someone else's imaginary friend ... and then with their imaginary friend's imaginary friend. ;)

In the spirit of Plan 9ish userspace mount, some nesters do have to be fast, but not everything has to be fast to be a nester. And not everything has to be reliable or trustworthy to be a nester, either. Also, nesters should have direct access to the state of all their descendants—grandchildren and so on—at least as a matter of principle. Note that a nester which exposes "fictitious" children automatically has such access to the state of those children's descendants.

* A file being a special case of a process. (And distinguishing files from file bodies, the immutable/abstract values that may be the state of some given file at some time.)