Windsurf SWE-1 AI coding model (swe-1.surf)

2 points by zoudong376 1m ago 1 comments

NHS rolls out 5-minute 'super-jab' for 15 cancers (england.nhs.uk)

1 points by dsego 2m ago 0 comments

Debian 12.11 Released (debian.org)

1 points by midzer 2m ago 0 comments

FDA Clears First Blood Test to Diagnose Alzheimer's (bloomberg.com)

1 points by marc__1 9m ago 0 comments

The Common Lisp Cookbook: Scripting. Command Line Arguments. Executables (lispcookbook.github.io)

1 points by Tomte 10m ago 0 comments

Quickemu: Quickly create and run optimised Windows, macOS and Linux VMs (github.com)

1 points by Tomte 11m ago 0 comments

How Does Retrieval Improve New Learning? (2024) (learningscientists.org)

1 points by mooreds 12m ago 0 comments

Britain is now the biggest funder of solar-geoengineering research (economist.com)

1 points by helsinkiandrew 14m ago 1 comments

Life Is Short (2016) (paulgraham.com)

4 points by tzury 18m ago 1 comments

'Murderbot' is the best new comedy of 2025 (text.npr.org)

3 points by mooreds 18m ago 0 comments

HUD and DOI Open Under Utilized Federal Lands for Affordable Housing [video] (youtube.com)

2 points by mooreds 18m ago 0 comments

O2 VoLTE: locating any customer with a phone call (mastdatabase.co.uk)

3 points by kragniz 18m ago 1 comments

The 'deprofessionalization of video games' was on full display at PAX East (gamedeveloper.com)

2 points by amichail 20m ago 0 comments

World Press Photo suspends credit for historic 'Napalm Girl' photo (cbc.ca)

2 points by colinprince 20m ago 0 comments

Ash AI: A Comprehensive LLM Toolbox for Ash Framework (alembic.com.au)

2 points by antfarm 21m ago 0 comments

Reverse Engineering the Renpho App (neilgaryallen.dev)

2 points by edward 23m ago 0 comments

CHERIoT: The Last Ten Years (cheriot.org)

2 points by todsacerdoti 23m ago 0 comments

Poetry Gives Us Power: Marianne Moore's Poem the Fish (nautil.us)

2 points by dnetesn 23m ago 0 comments

Genetic-engineered bacteria break down industrial contaminants (arstechnica.com)

3 points by PaulHoule 24m ago 0 comments

A/B Street: Transportation planning and traffic simulation for friendlier cities (github.com)

3 points by whatever3 28m ago 0 comments

Show HN: Compress LLM Prompt, Right in your web browser. Powered By WebGPU. (atjsh.github.io)

3 points by letaem77 29m ago 0 comments

Using SQLite Alongside PostgreSQL in Your Applications (slingacademy.com)

3 points by thunderbong 30m ago 0 comments

SSRIs induce cardiac toxicity through dysfunction of mitochondria and sarcomeres (nature.com)

3 points by XzetaU8 32m ago 0 comments

ChatGPT controlled turtle graphics in Emacs [video] (youtube.com)

3 points by finaard 35m ago 1 comments

Do language trees with sampled ancestors support a hybrid Indo-European origin? (nature.com)

3 points by georgecmu 35m ago 0 comments

The Japanese method of creating forests comes to Mexico (english.elpais.com)

5 points by geox 35m ago 0 comments

Pyrefly: A new type checker and IDE experience for Python (engineering.fb.com)

3 points by homarp 39m ago 1 comments

Terraform and Ansible is not enough (github.com)

3 points by akrylov 41m ago 1 comments

Audible enclaves crafted by nonlinear self-bending ultrasonic beams (pnas.org)

2 points by bookofjoe 42m ago 1 comments

Emotional Intelligence and Soft skills training in online/Nepal?

2 points by shivajikobardan 44m ago 0 comments

Ugly infrastructure: Why can't we have nice things? (jordanwtaylor2.substack.com)

2 points by bilsbie 46m ago 0 comments

ShadowBox: Open-Source Privacy-First Cloud Storage with AES-256 Encryption (github.com)

2 points by negativerespond 46m ago 0 comments

Energy storage in the ocean with concrete spheres (newatlas.com)

3 points by pixiemaster 53m ago 0 comments

Ask HN: Is there a "YouTube" for AI coded web apps?

4 points by amichail 54m ago 1 comments

Moody's downgrades United States credit rating (cnbc.com)

11 points by belter 54m ago 2 comments

What is the Axiom of Choice? (2021) (jaydaigle.net)

3 points by Tomte 56m ago 0 comments

An Ambitious Wikidata Tutorial (2015) [pdf] (upload.wikimedia.org)

3 points by Tomte 56m ago 0 comments

Animations Using Math Editor (luiscristovao.github.io)

2 points by ltc_123 59m ago 0 comments

China's plasma drive can nearly double high-altitude drone efficiency (scmp.com)

1 points by etiam 1h ago 0 comments

Precomputing Transparency Order in 3D (jacobdoescode.com)

1 points by jacobp100 1h ago 0 comments

The Open Table Format Revolution: Why Hyperscalers Betting on Managed Iceberg (rilldata.com)

2 points by articsputnik 1h ago 0 comments

Why commit message intent is outdated: use AI to write search targets (tomdekan.com)

1 points by tomdekan 1h ago 0 comments

No-boom supersonic flights could slide through US skies soon (theregister.com)

16 points by rntn 1h ago 20 comments

Dev Therapy, part 4: Tending the narrative gardens (melatonin.dev)

4 points by sudara 1h ago 0 comments

OBNC – Oberon-07 Compiler (miasap.se)

4 points by AlexeyBrin 1h ago 0 comments

Using MCP in production: How to scale (stainless.com)

2 points by shaneos 1h ago 0 comments

From Eden to Bureaucracy (bibleeveryday.org)

2 points by treavorpasan 1h ago 0 comments

Formalizing a proof in Lean using Claude and o4 - Terence Tao [video] (youtube.com)

2 points by nill0 1h ago 0 comments

Make the Prompt Public (blog.ai-futures.org)

2 points by nsoonhui 1h ago 0 comments

Highest number of π digits ever calculated (youtube.com)

2 points by adamkristan 1h ago 0 comments

Formalizing a proof in Lean using Claude and o4 - Terence Tao [video]

2 nill0 0 5/17/2025, 11:54:37 AM youtube.com ↗

Comments (0)

No comments yet