A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf] (usenix.org)

2 points by luu 1m ago 0 comments

Tesla confirms it has given up on its Cybertruck range extender (electrek.co)

2 points by addaon 5m ago 0 comments

Show HN: Destiny Matrix – Free, instant, no-signup numerology analysis (destiny-matrix.cc)

2 points by yxchen1994 7m ago 0 comments

Show HN: Build a Figma plugin that converts vectors to clip-path: shape() (figma.com)

1 points by haxfenx 8m ago 0 comments

Tracker Boot – Be Agile with Tracker Boot (trackerboot.com)

2 points by euske 9m ago 0 comments

The Fraying of the US Global Currency Reserve System (2020) (lynalden.com)

1 points by felineflock 11m ago 0 comments

Show HN: Raw Binary Program Analysis Tool (github.com)

2 points by bootbloopers 15m ago 0 comments

AI Avatar of Slain Murder Victim Addresses Killer in Court (washingtonpost.com)

2 points by andygcook 15m ago 0 comments

Institutionalizing Politicized Science (science.org)

3 points by anigbrowl 22m ago 0 comments

UnitedHealthcare sued by shareholders over reaction to CEO's killing (nbcnews.com)

3 points by donohoe 24m ago 1 comments

90s Cable Simulator – Recreating Retro Cable TV with a Raspberry Pi (youtube.com)

2 points by bane 25m ago 0 comments

AI is already eating its own: Prompt engineering is quickly going extinct (fastcompany.com)

3 points by ajdude 28m ago 0 comments

Aetna reimburses 25% less than what they claim (case study) (johnsonkevin.com)

6 points by kevin499 36m ago 0 comments

ChatGPT's deep research tool gets a GitHub connector to answer about code (techcrunch.com)

1 points by badmonster 37m ago 0 comments

Audiobookshelf: Self-hosted audiobook and podcast server (audiobookshelf.org)

1 points by fjk 38m ago 0 comments

Spacetop AR desktop is now available as a Windows app (liliputing.com)

1 points by PaulHoule 41m ago 0 comments

Research Topics in Knowledge Graph (github.com)

2 points by badmonster 42m ago 0 comments

BoquilaHUB 0.2 – AI for Biodiversity (github.com)

1 points by jdiaz97 43m ago 0 comments

Show HN: The weekly active users of my fake plugin TabTab have exceeded 500 (chromewebstore.google.com)

1 points by jackiefeng 1h ago 2 comments

NIH Bans New Funding from U.S. Scientists to Partners Abroad (nytimes.com)

8 points by insane_dreamer 1h ago 1 comments

The Most Valuable Commodity in the World Is Friction (kyla.substack.com)

1 points by walterbell 1h ago 0 comments

Ask HN: Privacy concerns when using AI assistants for coding?

4 points by Kholin 1h ago 4 comments

Show HN: Boost Reader – An online reader I built to stop context switching (boost-reader.vercel.app)

1 points by beaniez 1h ago 1 comments

Commercial Solutions for Classified CSfC for NSA to deliver secure cybersecurity (nsa.gov)

1 points by Bluestein 1h ago 0 comments

The Centuries-Long Struggle to Make English Words Behave (nytimes.com)

2 points by pseudolus 1h ago 2 comments

Management Cybernetics Basics for Urbanists and YIMBYs (governance.fyi)

3 points by RetiredRichard 1h ago 0 comments

Tech and Non-Tech Stacks to Run Listen Notes (2025) (listennotes.com)

1 points by wenbin 1h ago 0 comments

Some nonstring Turbulence (lwn.net)

1 points by signa11 1h ago 0 comments

Alphabet's share price plunges on traffic drop testimony (finance.yahoo.com)

6 points by donohoe 1h ago 1 comments

A Conversation with Jony Ive (youtube.com)

2 points by Jhsto 1h ago 0 comments

Nebius FAQ (group.nebius.com)

1 points by damirbecirovic 1h ago 1 comments

Show HN: AI-powered batch photo editor for real estate photographers (4ditor.com)

1 points by kibet 1h ago 0 comments

US Army Secretary requires right to repair for ALL contracts [video] (youtube.com)

2 points by walterbell 1h ago 1 comments

Technical Debt Financing (jackdanger.com)

2 points by kierangill 1h ago 1 comments

The Death of Shopify's Startup Dream, One Layoff at a Time (thewalrus.ca)

5 points by pseudolus 1h ago 1 comments

Seawater Faraday Cage (patents.google.com)

2 points by toomuchtodo 1h ago 0 comments

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)

2 points by gopiandcode 1h ago 0 comments

Sanity MCP Server: Connect your content to AI tools (sanity.io)

1 points by mooreds 2h ago 0 comments

And Change (pdubroy.github.io)

1 points by tekknolagi 2h ago 1 comments

Cursor pro is now free for students (cursor.com)

2 points by maenbalja 2h ago 1 comments

"just" is a four letter word (neverjust.net)

6 points by markflorkowski 2h ago 3 comments

Pakistan's Chinese-made jet brought down two Indian fighter aircraft (reuters.com)

6 points by suraci 2h ago 3 comments

Show HN: Vom Decision Platform (Cursor for Decision Analyst) (vomdecision.com)

1 points by davidreisbr 2h ago 0 comments

Global militaries to study India-Pakistan fighter jet battle (aol.com)

5 points by fspeech 2h ago 0 comments

Show HN: I built macOS app for batch renaming files using regex and JavaScript (loshadki.app)

1 points by outcoldman 2h ago 1 comments

Working on Complex Systems (thecoder.cafe)

2 points by mifydev 2h ago 0 comments

Coupling furfural oxidation for H2 production using silicon photoelectrodes (nature.com)

2 points by PaulHoule 2h ago 0 comments

A formatter for your kdl files (github.com)

1 points by riegerj 2h ago 1 comments

How to Think Like an LLM (substack.com)

1 points by billwear 2h ago 0 comments

NSF faces shake-up as officials abolish its 37 divisions (science.org)

12 points by pbui 2h ago 1 comments

Quentin Tarantino – What is a movie you want to see? Make that movie (2017)

4 walterbell 1 5/8/2025, 11:59:14 PM indiewire.com ↗

Comments (1)

Flatcircle · 2h ago

love this