Hack IKKO "AI powered" earbuds to run DOOM, stole OpenAI API key, customer data (blog.mgdproductions.com)

89 points by ajdude 55m ago 23 comments

Don’t use “click here” as link text (2001) (w3.org)

173 points by theandrewbailey 3h ago 168 comments

How large are large language models? (gist.github.com)

112 points by rain1 4h ago 69 comments

What I learned gathering nootropic ratings (troof.blog)

17 points by julianh65 1h ago 4 comments

Why I'm Dialing Back My LLM Usage (zed.dev)

19 points by sagacity 2h ago 0 comments

Huawei releases an open weight model trained on Huawei Ascend GPUs (arxiv.org)

199 points by buyucu 7h ago 211 comments

Cloudflare Introduces Default Blocking of A.I. Data Scrapers (nytimes.com)

91 points by stephendause 1h ago 58 comments

Hexagon fuzz: Full-system emulated fuzzing of Qualcomm basebands (srlabs.de)

51 points by mschuster91 4h ago 14 comments

The Fed says this is a cube of $1M. They're off by half a million (calvin.sh)

1363 points by c249709 22h ago 516 comments

Azure API vulnerability and roles misconfiguration compromise corporate networks (token.security)

5 points by ArielSimon 1h ago 1 comments

A proof-of-concept neural brain implant providing speech (arstechnica.com)

78 points by LorenDB 3d ago 48 comments

Recurse Center (YC S10) Is Hiring a Career Facilitator (recurse.notion.site)

1 points by nicholasjbs 3h ago 0 comments

Private sector lost 33k jobs, badly missing expectations of 100k increase (cnbc.com)

32 points by ceejayoz 1h ago 3 comments

Figma files for proposed IPO (figma.com)

437 points by kualto 19h ago 205 comments

Fakespot shuts down today after 9 years of detecting fake product reviews (blog.truestar.pro)

329 points by doppio19 18h ago 222 comments

Chatbot Flow Editor – Visual tool for designing conversation flows (github.com)

17 points by enumura 3d ago 2 comments

Hilbert's sixth problem: derivation of fluid equations via Boltzmann's theory (arxiv.org)

124 points by nsoonhui 14h ago 79 comments

IntyBASIC: A Basic Compiler for Intellivision (nanochess.org)

5 points by joemanaco 3d ago 1 comments

Sam Altman Slams Meta’s AI Talent Poaching: 'Missionaries Will Beat Mercenaries' (wired.com)

265 points by spenvo 20h ago 554 comments

They tried Made in the USA – it was too expensive for their customers (reuters.com)

85 points by petethomas 4h ago 190 comments

Why Do Swallows Fly to the Korean DMZ? (sapiens.org)

78 points by gaws 4d ago 38 comments

Microsoft to Cut 9k Workers in Second Wave of Major Layoffs (bloomberg.com)

52 points by htrp 1h ago 5 comments

Code-GUI bidirectional editing via LSP (jamesbvaughan.com)

228 points by jamesbvaughan 22h ago 56 comments

Soldier’s wrist purse discovered at Roman legionary camp (heritagedaily.com)

87 points by bookofjoe 3d ago 21 comments

Show HN: Spegel, a Terminal Browser That Uses LLMs to Rewrite Webpages (simedw.com)

399 points by simedw 1d ago 175 comments

More assorted notes on Liquid Glass (morrick.me)

23 points by freediver 6h ago 16 comments

Ask HN: Who is hiring? (July 2025)

253 points by whoishiring 1d ago 287 comments

HN Slop: AI startup ideas generated from Hacker News (josh.ing)

185 points by coloneltcb 23h ago 73 comments

Feasibility study of a mission to Sedna – Nuclear propulsion and solar sailing (arxiv.org)

194 points by speckx 1d ago 87 comments

The Roman Roads Research Association (romanroads.org)

99 points by bjourne 18h ago 9 comments

Show HN: I made a 2D game engine in Dart (bullseye2d.org)

81 points by joemanaco 4d ago 35 comments

The Titanic’s Best Lifeboat (99percentinvisible.org)

49 points by zeristor 3d ago 17 comments

Ask HN: Who wants to be hired? (July 2025)

122 points by whoishiring 1d ago 260 comments

Show HN: A modern C++20 AI SDK (GPT‑4o, Claude 3.5, tool‑calling)

46 points by cauchyk 3d ago 6 comments

Effectiveness of trees in reducing temperature, outdoor heat exposure in Vegas (iopscience.iop.org)

164 points by PaulHoule 18h ago 126 comments

Jack Welch, the Man Who Broke Capitalism (2022) (forbes.com)

104 points by throw0101b 4h ago 66 comments

Converting a large mathematical software package written in C++ to C++20 modules (arxiv.org)

127 points by vblanco 1d ago 42 comments

Show HN: Jobs by Referral: Find jobs in your LinkedIn network (jobsbyreferral.com)

152 points by nicksergeant 1d ago 59 comments

Math.Pow(-1, 2) == -1 in Windows 11 Insider build (github.com)

136 points by jai_ 3h ago 97 comments

The Chapel Programming Language (chapel-lang.org)

11 points by mpweiher 6h ago 2 comments

Graph Theory Applications in Video Games (utk.claranguyen.me)

101 points by haywirez 4d ago 8 comments

The Evasive Evitability of Enshittification (tailscale.com)

4 points by trulyrandom 50m ago 1 comments

Mandelbrot in x86 Assembly by Claude (simonwillison.net)

58 points by gslin 9h ago 40 comments

Building a Personal AI Factory (john-rush.com)

237 points by derek 17h ago 140 comments

Swearing as a Response to Pain: Assessing Effects of Novel Swear Words (frontiersin.org)

67 points by sega_sai 3d ago 98 comments

Ask HN: Why there is no demand for my SaaS when competition is killing it?

23 points by drvroom 5h ago 22 comments

Show HN: Core – open source memory graph for LLMs – shareable, user owned (github.com)

100 points by Manik_agg 22h ago 35 comments

Ask HN: Freelancer? Seeking freelancer? (July 2025)

79 points by whoishiring 1d ago 147 comments

Show HN: I built the tool I wished existed for moving Stripe between countries (stripemove.com)

95 points by felphos 1d ago 51 comments

PortablE (cshandley.co.uk)

8 points by BruceEel 3d ago 3 comments

Can Large Language Models Help Students Prove Software Correctness?

1 elashri 0 6/30/2025, 8:47:46 PM arxiv.org ↗

Comments (0)

No comments yet