Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
260 points - today at 5:30 PM
SourceDetails - 125 CommentsGigaToken: ~1000x faster Language model tokenization
152 points - today at 5:20 PM
SourceDetails - 27 CommentsShow HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
452 points - today at 3:19 PM
SourceDetails - 96 CommentsCan a MUD evaluate LLMs? A $99 proof of concept
61 points - today at 3:39 PM
SourceDetails - 30 CommentsGhost Cut – or why Cut and Paste is broken everywhere
71 points - today at 2:43 PM
SourceDetails - 52 CommentsLaunch HN: Unlayer (YC W22) – Add email and document builders to your app
28 points - today at 4:02 PM
SourceDetails - 20 Comments“We have information that Moonshot distilled Fable for the development of K3”
133 points - today at 2:42 PM
SourceDetails - 308 CommentsShow HN: HN Hall of Fame – browse 3,100 legendary Hacker News links
148 points - today at 3:30 PM
SourceDetails - 33 CommentsShow HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL
23 points - last Monday at 3:32 PM
SourceDetails - 16 CommentsIntroduction to Formal Verification with Lean Part 1
207 points - last Sunday at 3:49 PM
SourceDetails - 41 Comments