hackernews client

AI does math. Should you get a PhD?

2 pointsposted 6 hours ago

by bemtevi

4 comments

Ask HN: Open-source model weights on bluray drives, anyone?

1 pointsposted 6 hours ago

by satuke

The Double-Counted Future

7 pointsposted 6 hours ago

by yusufaytas

Simulate coding pre-AI by year

1 pointsposted 6 hours ago

by GoodluckH

Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking

1 pointsposted 7 hours ago

by MarkBekooy

Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers

2 pointsposted 7 hours ago

by birdculture

Show HN: GrogLog, a Free Drink Tracker

2 pointsposted 7 hours ago

by antihero

Windows, Linux, Oracle and the Internet – BBC, 2000 [video]

1 pointsposted 7 hours ago

by xqcgrek2

Show HN: An MCP server where AI agents confess, in their own name

1 pointsposted 7 hours ago

by RenderNest

AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung

4 pointsposted 7 hours ago

by bariumbitmap

2 comments

Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results

5 pointsposted 7 hours ago

by khalidkhair

Zinky Boys

1 pointsposted 7 hours ago

by bhickey

MCP servers that tell your agent "dont tell the user" are stopping it from lying

1 pointsposted 7 hours ago

by jayokunle

Artex AI, Claude agents used in cyberattacks on South Korean banks

1 pointsposted 7 hours ago

by Brajeshwar

Point: Free URL Shortener with deeper analytics than bitly and zero ads

1 pointsposted 7 hours ago

by sasenb

How Tabasco Became the World's Hot Sauce

2 pointsposted 7 hours ago

by bookofjoe

Show HN: Put yourself in a street freestyle video with one photo

1 pointsposted 7 hours ago

by hashkitly

Open-source Microsoft Excel, PowerPoint, and Word replications

50 pointsposted 7 hours ago

by mathgenius

63 comments

Show HN: Polywick Blue VSCode Theme

1 pointsposted 7 hours ago

by polywickstudio

Show HN: FileoPDF, PDF tools that process your files in the browser

1 pointsposted 7 hours ago

by Horatio148

Show HN: A Safari extension to accelerate animated WebP images

2 pointsposted 7 hours ago

by 76SlashDolphin

SQLAlchemy 2.1.0 Released

2 pointsposted 7 hours ago

by kbumsik

Terence Tao: Math 2.0 [pdf]

218 pointsposted 7 hours ago

by Anon84

257 comments

Show HN: My radio station calls its listeners

4 pointsposted 7 hours ago

by attels33

MicroG: [Bounty] RCS Support [$14999]

1 pointsposted 7 hours ago

by BoingBoomTschak

About the Book: Solving the Bottom Turtle

1 pointsposted 7 hours ago

by cgeier

AWS AgentCore security undone by prompt requesting credentials

2 pointsposted 7 hours ago

by sbulaev

How HN: Go-dev-auth zero-dependency authentication library for Go

12 pointsposted 7 hours ago

by BisratMelak

5 comments

Choreographic Programming in Rust

2 pointsposted 7 hours ago

by o8vm