R2 – Service Level Agreement (cloudflare.com)

1 points by Bluestein 24s ago 0 comments

Proof by Intimidation (en.wikipedia.org)

1 points by ipnon 53s ago 0 comments

VetDoze (vetdoze.com)

1 points by Sinaghodsi93 2m ago 0 comments

Will AI agents replace software developers? A realistic breakdown (victoronsoftware.com)

1 points by getvictor 2m ago 1 comments

Ask HN: Where have the posts with open source projects of enthusiasts gone?

1 points by FerkiHN 4m ago 1 comments

Anthropic's Claude chatbot can now make and edit your Canva designs (theverge.com)

1 points by skreep 5m ago 0 comments

.expub – Exploring Expanded Publishing (expandedpublishing.net)

2 points by wcerfgba 6m ago 0 comments

Show HN: Log Manager – Real-time log viewer over SSH (github.com)

1 points by bodyast1010 6m ago 0 comments

The Trump Administration Is About to Incinerate 500 Tons of Emergency Food (theatlantic.com)

1 points by hermitcrab 8m ago 1 comments

The Bitter Lessons Behind Kimi Researcher's Taste (medium.com)

1 points by tosh 9m ago 0 comments

SpaceX launches Amazon's Starlink-rival satellites (theverge.com)

1 points by Bluestein 10m ago 0 comments

We stand at a pivotal moment in history (snapchat.com)

2 points by apolloartemis 12m ago 0 comments

A Low-Cost, Open-Source BCI Platform with Mobile SDK for Rapid Neurotech Prototy (preprints.org)

1 points by ArminiShield 14m ago 0 comments

Show HN: AutoSlides- Automated TikTok Marketing for B2C Apps (autoslides.pro)

1 points by Haris1245 16m ago 0 comments

How to beat ARC-AGI-2 (lewish.io)

1 points by 1ewish 17m ago 0 comments

EU Parliament threatens wider ban on lobbyists as Amazon spat deepens (politico.eu)

1 points by saubeidl 23m ago 0 comments

EARS: The Easy Approach to Requirements Syntax (alistairmavin.com)

1 points by jimmcslim 24m ago 1 comments

Software Freedom and Cyberpunk: Why Freedom Still Matters

2 points by ricecat 25m ago 2 comments

Developer loses $500k via malicious Cursor Extension (kaspersky.com)

2 points by hannofcart 25m ago 0 comments

North Korean XORIndex malware hidden in 67 malicious NPM packages (bleepingcomputer.com)

3 points by Bogdanp 27m ago 0 comments

Ukrainian hackers destroyed the IT infrastructure of Russian drone manufacturer (prm.ua)

20 points by doener 32m ago 0 comments

Call for Testing: Speeding up Rust compilation with `hint-mostly-unused` (blog.rust-lang.org)

2 points by pjmlp 34m ago 0 comments

A bionic knee integrated into tissue can restore natural movement (news.mit.edu)

1 points by thunderbong 34m ago 0 comments

RNA Is the Cell's Emergency Alert System (quantamagazine.org)

1 points by nsoonhui 35m ago 0 comments

Unikraft 1.7x-2.7x performance improvement to Linux guests (unikraft.org)

2 points by zdkaster 38m ago 0 comments

Show HN: Tell and show your most successful projects

2 points by FerkiHN 40m ago 1 comments

AI-Powered Copywriting: Prompt Frameworks for Ads, Emails, and Sales Pages (chatgpt.com)

1 points by TechTonic-Hub 42m ago 1 comments

RFC search engine (rfc.fyi)

1 points by udev4096 44m ago 0 comments

Chinese 'gait recognition' tech IDs people by how they walk (2018) (apnews.com)

2 points by austinallegro 47m ago 0 comments

Stop Saying RAG Is Dead (hamel.dev)

2 points by kiyanwang 47m ago 0 comments

The Lie or Half-Truth of Clownflare (Or Equivalents) Improving Things (techrights.org)

1 points by udev4096 47m ago 0 comments

Elon is willing to pay up to $440k if you can make anime girl avatars (businessinsider.com)

1 points by KnuthIsGod 51m ago 0 comments

Zip It – Finding File Similarity Using Compression Utilities (youtube.com)

1 points by lll-o-lll 57m ago 0 comments

Show HN: Technical diagrams were slowing me down, so I built a faster way (rapidcharts.ai)

4 points by SamiCostox 57m ago 0 comments

Shopify makes AI usage a baseline expectation as a company (firstround.com)

3 points by iregina 57m ago 1 comments

Evaluating OpenMDW: A Revolution for Open AI, or a License to Openwash? (shujisado.org)

1 points by taubek 1h ago 0 comments

We Drove China's $32,000 Electric Sports Car [video] (youtube.com)

1 points by xbmcuser 1h ago 0 comments

I'm Switching to Python and Actually Liking It (cesarsotovalero.net)

21 points by cesarsotovalero 1h ago 20 comments

Amazon S3 Vectors: Cloud storage with native vector support (docs.aws.amazon.com)

1 points by suryao 1h ago 0 comments

Latest VMware Critical vulnerabilities VMSA-2025-0013 (support.broadcom.com)

2 points by ConteMascetti71 1h ago 1 comments

You don't need testify/assert (antonz.org)

1 points by ingve 1h ago 0 comments

Let's free ourselves of the U.S. and forge closer ties with China (theglobeandmail.com)

2 points by mhga 1h ago 0 comments

Zuckerberg on his planned AI data centers "Prometheus" and "Hyperion" (threads.com)

2 points by xg15 1h ago 1 comments

Launched Brandiseer: AI-generated brand kit (logo, colors, style-guide, assets) (brandiseer.com)

1 points by srkdaniel 1h ago 1 comments

Annals of Formalized Mathematics Volume 1 (afm.episciences.org)

1 points by Smaug123 1h ago 0 comments

OpenZFS Bug Ported to Zig (andrewkelley.me)

3 points by signa11 1h ago 0 comments

Inhaled tuberculosis vaccine effective against deadliest infectious disease (abc.net.au)

2 points by matthew16550 1h ago 0 comments

The Fermi Paradox has a potentially terrifying answer: The Dark Forest [video] (youtube.com)

1 points by freediver 1h ago 0 comments

The Caligra c100 "developer terminal" is available for pre-order (caligra.com)

1 points by oceanic 1h ago 2 comments

Ask HN: What's your containerized LLM coding stack?

1 points by Erazal 1h ago 0 comments

Formal Security & Verification of Cryptographic Protocol Implementations in Rust

2 matt_d 0 7/15/2025, 11:30:36 PM eprint.iacr.org ↗

Comments (0)

No comments yet