HN Explorer

RantyDave

↗ HN profile [ 70.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: How can I tell which LLM's have been trained on what?

    I'm really no expert and attempting to come up to speed. But... It strikes me that LLM's are a subtle combination of knowing the language and knowing some facts. If one were making a chatbot for helping (say) people…

    2 points 3
  2. Point AI at a "Proven" Microkernel?

    Since it has become obvious that AI is great at finding security flaws, has anyone pointed it at some formally proven software? I'm thinking seL4. In theory it should find nothing, right?

    4 points 2
  3. Three cool things that are happening in technology (medium.com)
    1 points 0
  4. Ask HN: If you can port libc, you can pretty much run on anything right?

    I've been having a look around the world of bizarre operating systems over the last day or so - particularly L4 and it's variants. It strikes me that if you can port libc to one's environment of choice then you've…

    2 points 1