Real numbers as Cauchy sequences don't work (2015) (youtube.com)

1 points by nyc111 1m ago 0 comments

Call to a local Social Security may be picked up by someone who can't help (npr.org)

1 points by duxup 2m ago 0 comments

We're not vibe coding enough (jeffnunn.com)

1 points by 20wenty 2m ago 0 comments

Friends at Last: Tailwind and CSS Whodathunkit? (thathtml.blog)

1 points by ulrischa 2m ago 0 comments

Pre-Discovery Tess Observations of Interstellar Object 3I/ATLAS (arxiv.org)

1 points by bikenaga 4m ago 0 comments

The Christofides Algorithm (alon.kr)

2 points by throwachimera 5m ago 0 comments

FCC Abandons Efforts to Make U.S. Broadband Fast and Affordable (techdirt.com)

1 points by CharlesW 5m ago 1 comments

On Formal Methods Thinking in Computer Science Education (research.tue.nl)

1 points by rramadass 6m ago 1 comments

Show HN: Give coding agents MCP access to lint/test/format with 1 YAML file

1 points by scosman 6m ago 0 comments

Why There Could Still Be Something at the Edge of the Solar System (singularityhub.com)

1 points by Brajeshwar 6m ago 0 comments

Why building a self-hosted SaaS is harder (getlago.com)

1 points by FinnLobsien 7m ago 0 comments

Terracotta Is a 3k-Year-Old Solution to Fighting Extreme Heat (scientificamerican.com)

1 points by Brajeshwar 7m ago 0 comments

Why mathematicians want to destroy infinity – and may succeed (newscientist.com)

1 points by Brajeshwar 7m ago 0 comments

Ask HN: Why Did Mercurial Die?:(

3 points by sergiotapia 7m ago 0 comments

uBlock Origin Lite for Safari Released for iOS, iPadOS, and macOS (ghacks.net)

1 points by speckx 7m ago 0 comments

Algorithm on Fleek: How TikTok Is Transforming the English Language (lithub.com)

1 points by pseudolus 7m ago 0 comments

PyMyFlySpy: Track your flight using its headrest data (robertheaton.com)

1 points by thedavemann 9m ago 0 comments

America's greatest architect doomed his masterpiece (thetimes.com)

1 points by rntn 10m ago 0 comments

ElevenLabs Music (elevenlabs.io)

1 points by mohsen1 11m ago 0 comments

Visas: Visa Bond Pilot Program (federalregister.gov)

1 points by impish9208 12m ago 0 comments

Scaling Postgres Listen/Notify (pgdog.dev)

1 points by levkk 13m ago 0 comments

Blockchain Apps Aren't That Decentralized (zach.codes)

1 points by zackify 13m ago 0 comments

ChromaScrape: Low-level, colour-based OSRS automation suite inspired by OSBC,SRL (github.com)

1 points by thunderbong 16m ago 0 comments

Namedrop (namedrop.us)

1 points by lbyaus 16m ago 0 comments

Show HN: BizPlanAIPro – Generate Investor-Ready Business Plans in Minutes

1 points by Deb_S 18m ago 0 comments

GoLand 2025.2 Is Now Out (blog.jetbrains.com)

1 points by philonoist 20m ago 0 comments

Building Resilient Systems from the Customer's Perspective (americanexpress.io)

1 points by amex_tech 20m ago 0 comments

GitHub is having an ongoing incident with loading pull requests (githubstatus.com)

15 points by lr0 20m ago 1 comments

Eleven Music Is Here (elevenlabs.io)

4 points by meetpateltech 22m ago 0 comments

Corporate inadequacy has rendered my favorite rediscovered gadget useless (arstechnica.com)

2 points by PaulHoule 23m ago 0 comments

White House Orders NASA to Destroy Important Satellite (futurism.com)

1 points by 42lux 23m ago 0 comments

JetBrains releases Kineto, a no-code platform for building web apps (neowin.net)

1 points by bundie 24m ago 0 comments

Gate-level emulation of an Intel 4004 in 4004 bytes of C (nicholas.carlini.com)

4 points by mad 24m ago 0 comments

Health Tech Security Policies and Procedures (open-access-policies.github.io)

1 points by mooreds 25m ago 0 comments

GitHub Pull Requests Are Down (github.com)

98 points by trashburger 25m ago 30 comments

Ask HN: How long before agentic IDEs/CLIs cut you off from pro-grade models?

1 points by codeclimber 25m ago 1 comments

DeepMind reveals Genie 3 "world model" creates real-time interactive simulations (arstechnica.com)

2 points by DocFeind 26m ago 0 comments

Coding with Claude (blog.puzzmo.com)

1 points by cmpit 29m ago 0 comments

The Secret Art of Async Comms (ajaysquest.beehiiv.com)

1 points by mooreds 29m ago 0 comments

Show HN: Just a simple Homelab upgraded to SFP+ and multigig LAN (hydn.dev)

3 points by ashitlerferad 30m ago 0 comments

Coast Guard releases report on OceanGate, 2 years after fatal Titan implosion (cbc.ca)

2 points by colinprince 30m ago 0 comments

I got my dev job on Twitter (catalins.tech)

2 points by cmpit 30m ago 0 comments

Strength exercises everyone should do (2021) (popsci.com)

2 points by mooreds 31m ago 0 comments

Spectral: A Screen-First Typeface (2017) (design.google)

1 points by kblissett 35m ago 0 comments

Determinate Nix introduces a native Linux builder for macOS (determinate.systems)

2 points by biggestlou 35m ago 3 comments

Show HN: Find the relevant Xkcd comic for your post (anyg.me)

1 points by anyg 35m ago 1 comments

EPA Moves to Cancel $7B in Grants for Solar Energy (nytimes.com)

24 points by Jimmc414 35m ago 8 comments

100% Remote – Senior Software Engineer – $150k-$200k (jobs.ashbyhq.com)

1 points by edkeenantech 36m ago 1 comments

Geoffrey Hinton: I Tried to Warn Them, but We've Lost Control [video] (youtube.com)

2 points by Anon84 36m ago 0 comments

Dinosaur teeth reveal prehistoric air quality was pretty awful (newatlas.com)

2 points by Brajeshwar 37m ago 1 comments

Call to a local Social Security may be picked up by someone who can't help

1 duxup 0 8/5/2025, 4:03:06 PM npr.org ↗

Comments (0)

No comments yet