giltho

5 ms·

1. 1.▲
   Real AI for video games (Iconic Games)(iconicgames.io)

   4 points by giltho 3mo ago|0 comments
2. 2.▲
   Teaching AI to Reason About Software(soteria-tools.com)

   3 points by giltho 3mo ago|0 comments
3. 3.▲
   Write It in C [video](youtube.com)

   1 points by giltho 4mo ago|0 comments
4. 4.▲
   Soteria: A New Generation of Static Analysis for Rust(soteria-tools.com)

   7 points by giltho 4mo ago|0 comments
5. 5.▲
   by giltho 4mo ago

   Fantastic work
6. 6.▲
   by giltho 10mo ago

   Beyond academic research, a non-exhaustive list of people using either Lean or related tech: - Amazon (where they even hired the creator of Lean to pursue this) - Microsoft (mostly cryptography but also other stuff) - ARM (hardware verifica
7. 7.▲
   by giltho 11mo ago

   Hey chatGPT, summarise this post for me
8. 8.▲
   by giltho 1y ago

   Imagine 50 years of computer security to have articles come up on hackernews saying “what you need is to allow a black box to run arbitrary python code” :(
9. 9.▲
   by giltho 1y ago

   A common specification language is a very ongoing discussion, we just haven't managed to find an agreement yet. Things like `#[no_panic]` make sense, but it also doesn't require a spec language at all, the compiler already has sup
10. 10.▲
    by giltho 3y ago

    I can assure you that the person who wrote this is very well aware of the subtleties involved with formalising the law. Law + Programming is an active research field ( https://popl23.sigplan.org/home/prolala-2023 ), and