sveinbjornp

3 ms·

1. 1.▲
   by sveinbjornp 3mo ago

   from the web archive: Leanstral 1.5 - June 30, 2026 An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active. https://web.archive.org/
2. 2.▲
   Show HN: Torrent Preview – macOS QuickLook extension for .torrent files(github.com)

   2 points by sveinbjornp 7mo ago|0 comments
3. 3.▲
   by sveinbjornp 3y ago

   The latter. Terrible writing.