Pyrefly: A new type checker and IDE experience for Python

https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/

48•homarp•1h ago•15 comments

Palette lighting tricks on the Nintendo 64

https://30fps.net/pages/palette-lighting-tricks-n64/

4•ibobev•6m ago•0 comments

Push Ifs Up and Fors Down

https://matklad.github.io/2023/11/15/push-ifs-up-and-fors-down.html

67•goranmoomin•5h ago•18 comments

JavaScript's New Superpower: Explicit Resource Management

https://v8.dev/features/explicit-resource-management

171•olalonde•9h ago•112 comments

Laser-Induced Graphene from Commercial Inks and Dyes

https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.202412167

10•PaulHoule•2d ago•0 comments

OBNC – Oberon-07 Compiler

https://miasap.se/obnc/

11•AlexeyBrin•2h ago•0 comments

Wow@Home – Network of Amateur Radio Telescopes

https://phl.upr.edu/wow/outreach

150•visviva•12h ago•19 comments

Japan's IC cards are weird and wonderful

https://aruarian.dance/blog/japan-ic-cards/

155•aecsocket•2d ago•131 comments

Catalog of Novel Operating Systems

https://github.com/prathyvsh/os-catalog

71•prathyvsh•7h ago•19 comments

Implementing a RISC-V Hypervisor

https://seiya.me/blog/riscv-hypervisor

50•ingve•6h ago•2 comments

Getting AI to write good SQL

https://cloud.google.com/blog/products/databases/techniques-for-improving-text-to-sql

410•richards•17h ago•248 comments

Open Problems in Computational geometry

https://topp.openproblem.net/

27•nill0•4h ago•2 comments

XTool – Cross-platform Xcode replacement

https://github.com/xtool-org/xtool

150•TheWiggles•12h ago•39 comments

Popcorn: Run Elixir in WASM

https://popcorn.swmansion.com/

74•clessg•1d ago•8 comments

The Japanese method of creating forests comes to Mexico

https://english.elpais.com/climate/2025-05-17/miyawaki-in-nezahualcoyotl-the-japanese-method-of-creating-forests-comes-to-mexico.html

28•geox•1h ago•1 comments

Thoughts on thinking

https://dcurt.is/thinking

544•bradgessler•19h ago•350 comments

You do not need NixOS on the desktop

https://aruarian.dance/blog/you-do-not-need-nixos/

42•transpute•6h ago•28 comments

A Research Preview of Codex

https://openai.com/index/introducing-codex/

458•meetpateltech•23h ago•391 comments

New high-quality hash measures 71GB/s on M4

https://github.com/Nicoshev/rapidhash

99•nicoshev11•3d ago•36 comments

MIT asks arXiv to withdraw preprint of paper on AI and scientific discovery

https://economics.mit.edu/news/assuring-accurate-research-record

340•carabiner•23h ago•174 comments

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

http://muratbuffalo.blogspot.com/2025/05/chapter-2-serializability-theory.html

5•matt_d•2d ago•0 comments

Why Moderna Merged Its Tech and HR Departments

https://www.wsj.com/articles/why-moderna-merged-its-tech-and-hr-departments-95318c2a

28•andy99•3d ago•25 comments

Rustls Server-Side Performance

https://www.memorysafety.org/blog/rustls-server-perf/

135•jaas•4d ago•39 comments

How can traditional British TV survive the US streaming giants

https://www.bbc.co.uk/news/articles/cx2enydkew3o

53•asplake•3d ago•143 comments

MCP: An in-depth introduction

https://www.speakeasy.com/mcp/mcp-tutorial

120•ritzaco•4d ago•46 comments

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

229•proberts•23h ago•415 comments

A kernel developer plays with Home Assistant

https://lwn.net/SubscriberLink/1017720/7155ecb9602e9ef2/

77•pabs3•12h ago•108 comments

Transformer neural net learns to run Conway's Game of Life just from examples

https://sidsite.com/posts/life-transformer/

41•montebicyclelo•5h ago•24 comments

Show HN: Merliot – plugging physical devices into LLMs

https://github.com/merliot/hub

62•sfeldma•13h ago•13 comments

ClojureScript 1.12.42

https://clojurescript.org/news/2025-05-16-release

176•Borkdude•18h ago•32 comments

Pyrefly: A new type checker and IDE experience for Python

Palette lighting tricks on the Nintendo 64

Push Ifs Up and Fors Down

JavaScript's New Superpower: Explicit Resource Management

Laser-Induced Graphene from Commercial Inks and Dyes

OBNC – Oberon-07 Compiler

Wow@Home – Network of Amateur Radio Telescopes

Japan's IC cards are weird and wonderful

Catalog of Novel Operating Systems

Implementing a RISC-V Hypervisor

Getting AI to write good SQL

Open Problems in Computational geometry

XTool – Cross-platform Xcode replacement

Popcorn: Run Elixir in WASM

The Japanese method of creating forests comes to Mexico

Thoughts on thinking

You do not need NixOS on the desktop

A Research Preview of Codex

New high-quality hash measures 71GB/s on M4

MIT asks arXiv to withdraw preprint of paper on AI and scientific discovery

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

Why Moderna Merged Its Tech and HR Departments

Rustls Server-Side Performance

How can traditional British TV survive the US streaming giants

MCP: An in-depth introduction

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

A kernel developer plays with Home Assistant

Transformer neural net learns to run Conway's Game of Life just from examples

Show HN: Merliot – plugging physical devices into LLMs

ClojureScript 1.12.42

Publisher: The Malloy Semantic Model Server

Pyrefly: A new type checker and IDE experience for Python

Palette lighting tricks on the Nintendo 64

Push Ifs Up and Fors Down

JavaScript's New Superpower: Explicit Resource Management

Laser-Induced Graphene from Commercial Inks and Dyes

OBNC – Oberon-07 Compiler

Wow@Home – Network of Amateur Radio Telescopes

Japan's IC cards are weird and wonderful

Catalog of Novel Operating Systems

Implementing a RISC-V Hypervisor

Getting AI to write good SQL

Open Problems in Computational geometry

XTool – Cross-platform Xcode replacement

Popcorn: Run Elixir in WASM

The Japanese method of creating forests comes to Mexico

Thoughts on thinking

You do not need NixOS on the desktop

A Research Preview of Codex

New high-quality hash measures 71GB/s on M4

MIT asks arXiv to withdraw preprint of paper on AI and scientific discovery

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

Why Moderna Merged Its Tech and HR Departments

Rustls Server-Side Performance

How can traditional British TV survive the US streaming giants

MCP: An in-depth introduction

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

A kernel developer plays with Home Assistant

Transformer neural net learns to run Conway's Game of Life just from examples

Show HN: Merliot – plugging physical devices into LLMs

ClojureScript 1.12.42