The Christofides Algorithm (alon.kr)

1 points by throwachimera 47s ago 0 comments

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

1 points by CharlesW 48s ago 0 comments

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

1 points by rramadass 2m ago 0 comments

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

1 points by scosman 2m ago 0 comments

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

1 points by Brajeshwar 2m ago 0 comments

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

1 points by FinnLobsien 2m ago 0 comments

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

1 points by Brajeshwar 2m ago 0 comments

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

1 points by Brajeshwar 2m ago 0 comments

Ask HN: Why Did Mercurial Die?:(

2 points by sergiotapia 3m ago 0 comments

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

1 points by speckx 3m ago 0 comments

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

1 points by pseudolus 3m ago 0 comments

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

1 points by thedavemann 4m ago 0 comments

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

1 points by rntn 6m ago 0 comments

ElevenLabs Music (elevenlabs.io)

1 points by mohsen1 6m ago 0 comments

Visas: Visa Bond Pilot Program (federalregister.gov)

1 points by impish9208 7m ago 0 comments

Scaling Postgres Listen/Notify (pgdog.dev)

1 points by levkk 8m ago 0 comments

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

1 points by zackify 9m ago 0 comments

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

1 points by thunderbong 11m ago 0 comments

Namedrop (namedrop.us)

1 points by lbyaus 12m ago 0 comments

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

1 points by Deb_S 13m ago 0 comments

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

1 points by philonoist 16m ago 0 comments

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

1 points by amex_tech 16m ago 0 comments

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

7 points by lr0 16m ago 0 comments

Eleven Music Is Here (elevenlabs.io)

4 points by meetpateltech 17m ago 0 comments

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

2 points by PaulHoule 18m ago 0 comments

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

1 points by 42lux 18m ago 0 comments

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

1 points by bundie 19m ago 0 comments

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

4 points by mad 19m ago 0 comments

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

1 points by mooreds 20m ago 0 comments

GitHub Pull Requests Are Down (github.com)

90 points by trashburger 21m ago 26 comments

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

1 points by codeclimber 21m ago 1 comments

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

2 points by DocFeind 21m ago 0 comments

Coding with Claude (blog.puzzmo.com)

1 points by cmpit 25m ago 0 comments

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

1 points by mooreds 25m ago 0 comments

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

3 points by ashitlerferad 25m ago 0 comments

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

2 points by colinprince 25m ago 0 comments

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

2 points by cmpit 26m ago 0 comments

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

2 points by mooreds 26m ago 0 comments

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

1 points by kblissett 30m ago 0 comments

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

2 points by biggestlou 30m ago 3 comments

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

1 points by anyg 31m ago 1 comments

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

20 points by Jimmc414 31m ago 6 comments

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

1 points by edkeenantech 31m ago 1 comments

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

2 points by Anon84 32m ago 0 comments

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

2 points by Brajeshwar 32m ago 1 comments

The Rewards of Ruin (aeon.co)

1 points by Brajeshwar 32m ago 0 comments

My Scammer (longreads.com)

1 points by Brajeshwar 33m ago 0 comments

Ditching Android: Two months daily driving Linux as my only Mobile OS (clubb.cymru)

2 points by fsflover 35m ago 0 comments

Llama.cpp: Add GPT-OSS (github.com)

1 points by atgctg 36m ago 0 comments

PHP: Not exactly bad, but still a strange one (honeypot.net)

1 points by furkansahin 36m ago 0 comments

On Formal Methods Thinking in Computer Science Education

1 rramadass 0 8/5/2025, 3:58:36 PM research.tue.nl ↗

Comments (0)

No comments yet