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

20 points by homarp 1h ago 3 comments

JavaScript's New Superpower: Explicit Resource Management (v8.dev)

159 points by olalonde 8h ago 106 comments

Push Ifs Up and Fors Down (matklad.github.io)

29 points by goranmoomin 4h ago 7 comments

Japan's IC cards are weird and wonderful (aruarian.dance)

142 points by aecsocket 2d ago 115 comments

Wow@Home – Network of Amateur Radio Telescopes (phl.upr.edu)

148 points by visviva 12h ago 16 comments

Implementing a RISC-V Hypervisor (seiya.me)

43 points by ingve 6h ago 2 comments

Laser-Induced Graphene from Commercial Inks and Dyes (advanced.onlinelibrary.wiley.com)

4 points by PaulHoule 2d ago 0 comments

Getting AI to write good SQL (cloud.google.com)

403 points by richards 16h ago 245 comments

Popcorn: Run Elixir in WASM (popcorn.swmansion.com)

69 points by clessg 1d ago 8 comments

XTool – Cross-platform Xcode replacement (github.com)

146 points by TheWiggles 11h ago 37 comments

A kernel developer plays with Home Assistant (lwn.net)

133 points by pabs3 11h ago 55 comments

Catalog of Novel Operating Systems (github.com)

62 points by prathyvsh 6h ago 18 comments

OBNC – Oberon-07 Compiler (miasap.se)

6 points by AlexeyBrin 2h ago 0 comments

Open Problems in Computational geometry (topp.openproblem.net)

22 points by nill0 4h ago 0 comments

Thoughts on thinking (dcurt.is)

534 points by bradgessler 18h ago 344 comments

A Research Preview of Codex (openai.com)

456 points by meetpateltech 23h ago 388 comments

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

19 points by geox 1h ago 1 comments

You do not need NixOS on the desktop (aruarian.dance)

33 points by transpute 5h ago 18 comments

New high-quality hash measures 71GB/s on M4 (github.com)

95 points by nicoshev11 3d ago 36 comments

MIT asks arXiv to withdraw preprint of paper on AI and scientific discovery (economics.mit.edu)

336 points by carabiner 22h ago 174 comments

Rustls Server-Side Performance (memorysafety.org)

131 points by jaas 4d ago 39 comments

Why Moderna Merged Its Tech and HR Departments (wsj.com)

23 points by andy99 3d ago 25 comments

MCP: An in-depth introduction (speakeasy.com)

111 points by ritzaco 4d ago 45 comments

I'm Peter Roberts, immigration attorney, who does work for YC and startups. AMA

228 points by proberts 23h ago 403 comments

How can traditional British TV survive the US streaming giants (bbc.co.uk)

44 points by asplake 3d ago 133 comments

Transformer neural net learns to run Conway's Game of Life just from examples (sidsite.com)

38 points by montebicyclelo 4h ago 22 comments

Show HN: Merliot – plugging physical devices into LLMs (github.com)

58 points by sfeldma 12h ago 13 comments

ClojureScript 1.12.42 (clojurescript.org)

171 points by Borkdude 17h ago 32 comments

Show HN: Visual flow-based programming for Erlang, inspired by Node-RED (github.com)

232 points by Towaway69 23h ago 96 comments

Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java (github.com)

33 points by mousomashakel 9h ago 5 comments

IM-2's Imperfect Landing Due to Altimeter Interference (spacepolicyonline.com)

6 points by verzali 2d ago 2 comments

X X^t can be faster (arxiv.org)

185 points by robinhouston 22h ago 55 comments

Life before the web – Running a Startup in the 1980's (blog.zamzar.com)

5 points by gscott 4h ago 0 comments

Oracle VM VirtualBox – VM Escape via VGA Device (github.com)

62 points by serhack_ 2d ago 32 comments

Show HN: KVSplit – Run 2-3x longer contexts on Apple Silicon (github.com)

254 points by dipampaul17 18h ago 38 comments

Google reverses course after blocking Nextcloud Files app (neowin.net)

15 points by bundie 2h ago 8 comments

MinorMiner: We turn your kid's maths homework into Bitcoin (robertheaton.com)

25 points by pimterry 3h ago 6 comments

Java at 30: Interview with James Gosling (thenewstack.io)

225 points by chhum 1d ago 327 comments

Hunting extreme microbes that redefine the limits of life (nature.com)

22 points by gnabgib 2d ago 1 comments

Foundry (YC F24) Is Hiring – Founding Engineer (ML × SWE) (ycombinator.com)

1 points by lakabimanil 21h ago 0 comments

DoD Directive 3000.09: Autonomy in weapons systems [pdf] (esd.whs.mil)

7 points by simonebrunozzi 2h ago 0 comments

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

4 points by marc__1 48m ago 0 comments

Coding agent in 94 lines of Ruby (radanskoric.com)

126 points by radanskoric 2d ago 69 comments

The Magic Hours: The Films and Hidden Life of Terrence Malick (lrb.co.uk)

70 points by mitchbob 19h ago 40 comments

Baby is healed with first personalized gene-editing treatment (nytimes.com)

1181 points by jbredeche 1d ago 492 comments

WebGL Gray-Scott Explorer (2012) (mrob.com)

30 points by joebig 13h ago 2 comments

Google is quietly giving Amazon a leg up in digital book sales (washingtonpost.com)

11 points by bookofjoe 2h ago 4 comments

Fixrleak: Fixing Java Resource Leaks with GenAI (uber.com)

10 points by carimura 3d ago 12 comments

The Joys of Discovering the Roman Underground (smithsonianmag.com)

23 points by ulrischa 1d ago 12 comments

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

16 points by rntn 1h ago 24 comments

175 Years Ago: Astronomers Discover Neptune, the Eighth Planet (2021)

6 thunderbong 2 5/17/2025, 3:08:43 AM nasa.gov ↗

Comments (2)

tocs3 · 10h ago

It has an orbit of around 165 years. So it has made a little over one orbit since and is visible in the sky right now (if you look real close).

WarOnPrivacy · 9h ago

> is visible in the sky right now (if you look real close).

Even with the heavy light wash most of us live with?