lr0

Karma: 2,216
Created: 2 years ago

About

email root at lr0 dot org

   -----BEGIN PGP PUBLIC KEY BLOCK-----

   mQGNBGP41qMBDADZg5Sp+qss/sWPl3B6dDLdWNUpurdtgv+/yCtrGYG4ObNhPN9Z
   MD+5SRbL3KOj+Bv9Mk+b35y+Nb7jslLA5UmwFv7M0wsTvyDpSNcI2Zsa5OnqQFX3
   48iFCoims0g7ownYx4CuW5ytgkggM/ErTRkuaNJ3QklwmL+S/YVFkO7+/IYFybbi
   MluurddFjESnM12BWp7K/TDUKNwaqXVct4MCSTUyO9PBAnFsnpNjPClsdCYFuISn
   Y21z/nBGjhDPzhgbLmg6IVVLYXSb6y8kH12Z4LB9VEBixN3IY74rwJncxuKyvIpx
   /vXBy1vzMld4jVAr3CeZ43tnfSR/aLGy8gKQO1n3vQfXyTLf7QhadPHe4C192fK6
   NJsElkxFYPTip/Uu+7/UkUmEwjcOyuhmSOw3GyqMT9WVPOFmhFJ5eGqRANRezJyl
   B71FaPpjWjBoLt62Mgd4j2hCE2pNEkXT/eGRRKNVXqpvVxgs4YxEj1FeqvWwXymI
   UzpYpQ/OYQP44V0AEQEAAbQjU2FsaWggTXVoYW1tZWQgKGxyMCkgPHJvb3RAbHIw
   Lm9yZz6JAdcEEwEIAEEWIQS3LNEm5xKV03BJTmyRsraH9LZFggUCaUYY9QIbAwUJ
   XfwPAAULCQgHAgIiAgYVCgkICwIEFgIDAQIeBwIXgAAKCRCRsraH9LZFgl21C/9i
   wI7yStL0DUklO12Y6r44tTUlRlT8umOHQ6is1cw088PXfk2FT8RvUvfD6njcb3Ri
   SbU21wK4eHzde4yNopMQ5qnpUZTCKu18i/bjpM5Z2ZXuxjWFqVhkv1pKEt4goKD7
   pPj2/+KHqQaMC5OD5nxlgfHa2GWMp8xCvMev07VLMcZAaariGxtPc4S1tqF2uPN7
   4LhUSGQHMVbOLnH+gsPXxT8Arl+8WRCvlBjz+2yhaI2Y9K0lGSiT1meep1VTMXUf
   ODKMBv40JCKRUmxLSo5VsowiJ3DahezOrrfXTj9vZWJ9eT86QDGnes/ao18I4X00
   SEFfDMwR4ZHK89r+1QnzYWWbUHTG5EbMpHbf6GLI6MIQo3ZRMPE7E2Pvk3vv97yY
   GmLp5++8KQwjeBb5tM6ygOwva0q1z8EUCYyNOSf6gCIbThuJCjISGClL+bnqxcWU
   /lT/XH/0MPrwgw2pvmNpAQJ83kte7dlNjDOgqfT5NnJrrE/QgbNtzo5LmA456n+5
   AY0EY/jWowEMANWvMOMzjMbbeSJ243+rBtH8qOjHHFB9v6mbtc8/biTfT/O0OGX0
   Jc/7pa5Jpx9agTRzmaRh0MCiWQzePvAX3hEyCYnISXi8QxCElubQ8ZnJ2kvl8k7k
   XKuuLhbW7U2qQOmpvMAvVoubBGY9ysHQfyWLBU1WKVC08ph1CkJxYpvEtZcocUMT
   /3gTZ1azbDPIBYb3cX9CXXcEE7dN6qr5je7EO/UkKTt50AQ51MCPKvub7UV/6hXP
   XZHlihx0Kiyxuu4BxDsHhalikkvq6pUrfKDuYmKopw7SrQU/L4Nk3hyIZ7DkmUTO
   Z8dJKYVT7WqKpyb2UmwSl15IaTATCxeYj7/tFIMFLbCy5FbdqzsdgDq4is2vv+nG
   2/a7abfy6spbogeG+fMG8MHvFRXk+Y7nQpYykbw4OzJEr2EDK8ZxFSua8JxM9x9x
   rq4xEq6drMSjAH72dbzzXHLy1IdQhm/ZcLH4C0yeLSgh96KkBbzV/h3XCbOrzg5o
   jOmOv9UvHIzSpQARAQABiQG8BBgBCAAmFiEEtyzRJucSldNwSU5skbK2h/S2RYIF
   AmP41qMCGwwFCV38DwAACgkQkbK2h/S2RYLdQQwAhEhjhN4x5x9I5YUGOjNpCQoy
   2wobzssBGms8N1bfeLxHFyZ7s40SSyDcnE7hKuwptUTbgBNxX3ZcEnxe+M5EUtXK
   2UsWDRBW/mzSVjuExiFr0MM/HjPmjqfP2Ln8i1fsv9+OvTvfzNLewjNLB+ZN3Tam
   G2J8jMr5WlfL+F9t02nH+ZIgQDXUvO3HMub++z34s9ldpgKnOMUFuwlSEGy9c3D+
   Kq7B0dWGikbky2m9ssp66vFzi9e4PpMAqdRYe4mARkARB1CvRA4+JJLNHji90nKS
   6PR9fs6/BGHhru1wIrO4tqJSxZfvppv6gX7932FMILoMUau2vayQ0wA3wbYM8ps8
   7McvEOAGGw+OaB7fXg2T88R1OwnkWU2aAL655MGMqCLLdc0XUuFcP5rANum74oAH
   EDdpY5uHjxhXoT4vaGSDxn0Kg5TSlMauzYIt0cg4rZ4jaDNeW9/LVKRQCWKHSSso
   A+HNmcKhSN/iym5hS5K9vIvPMUCCxxSJ6ubq+n2D
   =pJBk
   -----END PGP PUBLIC KEY BLOCK-----

Recent Submissions

1. ▲ Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4 (arxiv.org) 1 point · 7 hours ago · 0 comments
2. ▲ The Most Important Design Guideline? (aristeia.com) 2 points · 8 hours ago · 0 comments
3. ▲ 2026 will not be the 'Year of Linux on the Desktop', and I'm glad (kevinboone.me) 1 point · 3 days ago · 1 comment
4. ▲ General Motors Replies to Bill Gates (wussu.com) 2 points · 7 days ago · 2 comments
5. ▲ How we release the Spotify app, part 1 (engineering.atspotify.com) 2 points · 10 days ago · 0 comments
6. ▲ goto Considered Awesome [video] (youtube.com) 7 points · 10 days ago · 1 comment
7. ▲ I don't like imports (kevincox.ca) 4 points · 10 days ago · 0 comments
8. ▲ WhatsApp Encryption, a Lawsuit, and a Lot of Noise (blog.cryptographyengineering.com) 2 points · 13 days ago · 0 comments
9. ▲ How much "boilerplate tax" different languages have: a 400M LOC analysis (boyter.org) 2 points · 13 days ago · 0 comments
10. ▲ The unwritten laws of Engineering (1944) [pdf] (archive.org) 1 point · 19 days ago · 0 comments

All submissions on HN · View profile on HN