< prev 7 / 10 more >

• 28130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
  by PaulHoule15 hours ago | 5 comments
• 84LLMs can unmask pseudonymous users at scale with surprising accuracy (arstechnica.com)
  by Gagarin191711 hours ago | 14 comments
• 119The beauty and terror of modding Windows (windowsread.me)
  by wild_pointer1 day ago | 33 comments
• 33Emacs Bedrock (codeberg.org)
  by thomascountz15 hours ago | 0 comments
• 179Claude is an Electron App because we've lost native (tonsky.me)
  by todsacerdoti21 hours ago | 59 comments
• 1259The Xkcd thing, now interactive (editor.p5js.org)
  by memalign1 day ago | 64 comments
• 587Ars Technica fires reporter after AI controversy involving fabricated quotes (futurism.com)
  by danso1 day ago | 61 comments
• 175We Built a Video Rendering Engine by Lying to the Browser About What Time It Is (blog.replit.com)
  by darshkpatel3 days ago | 19 comments
• 443Lenovo’s new ThinkPads score 10/10 for repairability (ifixit.com)
  by wrxd14 hours ago | 47 comments
• 10Ubuntu is planning to comply with Age Verification law (old.reddit.com)
  by taubek1 hour ago | 0 comments

< prev 7 / 10 more >