- 1Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking (mytasterank.com)
by MarkBekooy1 minute ago | - 1Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers (blueberrywren.dev)
by birdculture2 minutes ago | - 1Show HN: GrogLog, a Free Drink Tracker (groglog.io)
by antihero2 minutes ago | - 1Windows, Linux, Oracle and the Internet – BBC, 2000 [video] (youtube.com)
by xqcgrek25 minutes ago | - 1Show HN: An MCP server where AI agents confess, in their own name (ai.confess.online)
by RenderNest7 minutes ago | - 3AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung (variety.com)
by bariumbitmap8 minutes ago | - 2Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results (phoronix.com)
by khalidkhair8 minutes ago | - 1Zinky Boys (en.wikipedia.org)
by bhickey8 minutes ago | - 1MCP servers that tell your agent "dont tell the user" are stopping it from lying (semantik.tech)
by jayokunle10 minutes ago | - 1Artex AI, Claude agents used in cyberattacks on South Korean banks (bleepingcomputer.com)
by Brajeshwar10 minutes ago |