Hacker News: sveinbjornphttps://news.ycombinator.com/user?id=sveinbjornpHacker News RSShttps://hnrss.org/hnrss v2.1.1Tue, 07 Jul 2026 04:22:58 +0000<![CDATA[New comment by sveinbjornp in "Leanstral 1.5"]]>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/web/20260630223430/https://docs.mist...

]]>Wed, 01 Jul 2026 09:11:52 +0000https://news.ycombinator.com/item?id=48744160sveinbjornphttps://news.ycombinator.com/item?id=48744160https://news.ycombinator.com/item?id=48744160<![CDATA[Show HN: Torrent Preview – macOS QuickLook extension for .torrent files]]>Article URL: https://github.com/sveinbjornpalsson/TorrentPreview

Comments URL: https://news.ycombinator.com/item?id=47287427

Points: 2

# Comments: 0

]]>Sat, 07 Mar 2026 13:24:42 +0000https://github.com/sveinbjornpalsson/TorrentPreviewsveinbjornphttps://news.ycombinator.com/item?id=47287427https://news.ycombinator.com/item?id=47287427<![CDATA[New comment by sveinbjornp in "VR porn a no go for Apple Vision Pro users as capability blocked by Apple"]]>The latter. Terrible writing.

]]>Fri, 09 Feb 2024 15:19:16 +0000https://news.ycombinator.com/item?id=39315628sveinbjornphttps://news.ycombinator.com/item?id=39315628https://news.ycombinator.com/item?id=39315628