theChris-in

6 ms·

1. 1.▲
   How a System Call Works in Linux(freecodecamp.org)

   2 points by theChris-in 22d ago|0 comments
2. 2.▲
   by theChris-in 2mo ago

   I think our priorities are so effed right now smh
3. 3.▲
   by theChris-in 2mo ago

   I have a genuine question. Why can't any of these analyses on security ever throw up a gradual adoption of formal methods? Like, wouldn't that be the next thing that people should slowly start getting used to?
4. 4.▲
   by theChris-in 2mo ago

   I think eventually we will converge on a new AI + old AI (ILP, ASP) way of working.
5. 5.▲
   by theChris-in 2mo ago

   I don't understand. Is "woman" not allowed to appear in any govt. website? What??
6. 6.▲
   by theChris-in 2mo ago

   > should test the harness capability rather than model's knowledge/capability. Then we need a provenance for model inference, generalized. This should be interesting. We would be trying to deterministically generalize a baselin
7. 7.▲
   by theChris-in 2mo ago

   We can do a mix of general use (as in user stories) plus a few academic benchmarks. So you have any specific ideas? You can hmu at iam@thechris.in
8. 8.▲
   by theChris-in 2mo ago

   Interesting idea. If you can manage the infra, I can put together a replicable test suite.