Hacker News on Wednesday, 7 May 2025

Ty: A fast Python type checker and language server(github.com)

835 points by arathore 1 year ago | 271 comments

GitHub repository for ty, Astral's extremely fast Python type checker and language server written in Rust.

Zed: High-performance AI Code Editor(zed.dev)

613 points by vquemener 1 year ago | 370 comments

Zed blog post by Richard Feldman announcing Zed as a high-performance AI code editor with integrated LLM features.

Waiting for Postgres 18: Accelerating Disk Reads with Asynchronous I/O(pganalyze.com)

531 points by lfittl 1 year ago | 140 comments

A pganalyze blog post by Lukas Fittl explaining the new asynchronous I/O subsystem for disk reads in the Postgres 18 beta and its performance implications.

CLion Is Now Free for Non-Commercial Use(blog.jetbrains.com)

513 points by AlexeyBrin 1 year ago | 319 comments

JetBrains blog post announcing that its CLion C and C++ IDE is now free for non-commercial use.

Mistral ships Le Chat – enterprise AI assistant that can run on prem(mistral.ai)

479 points by _lateralus_ 1 year ago | 150 comments

Mistral AI's announcement of Le Chat Enterprise, an AI assistant for businesses that can be deployed on-premises.

Unity’s Open-Source Double Standard: the ban of VLC(mfkl.github.io)

463 points by cempaka 1 year ago | 128 comments

Blog post by a VideoLAN developer describing how Unity banned the open-source VLC for Unity integration from its Asset Store, alleging a double standard on open-source licensing.

So Much Blood(dynomight.net)

417 points by debesyla 1 year ago | 195 comments

Dynomight blog post examining the claim that blood products account for about 2% of US exports and the paid plasma donation industry behind it.

Open source Google Analytics replacement(github.com)

338 points by samdung 1 year ago | 152 comments

GitHub repository for Rybbit, an open-source, privacy-friendly web analytics tool positioned as an alternative to Google Analytics, licensed AGPL-3.0.

My quest to make motorcycle riding that tad bit safer(gill.net.in)

299 points by mygnu 1 year ago | 359 comments

Lazarus Release 4.0(forum.lazarus.freepascal.org)

254 points by proxysna 1 year ago | 140 comments

Web search on the Anthropic API(anthropic.com)

254 points by cmogni1 1 year ago | 57 comments

Create and edit images with Gemini 2.0 in preview(developers.googleblog.com)

243 points by meetpateltech 1 year ago | 98 comments

Show HN: eInk optimized manga with Kindle Comic Converter (+Kobo/ReMarkable)(github.com)

217 points by seam_carver 1 year ago | 44 comments

June Huh dropped out to become a poet, now he’s won a Fields Medal (2022)(quantamagazine.org)

206 points by bpierre 1 year ago | 123 comments

Mac Themes Garden(damien.zone)

204 points by speckx 1 year ago | 70 comments

Samsung is paying $350M for audio brands B&W, Denon, Marantz and Polk(engadget.com)

203 points by thibautg 1 year ago | 287 comments

Internet Roadtrip: Vote to steer(neal.fun)

203 points by memalign 1 year ago | 35 comments

Private Japanese lunar lander enters orbit around moon ahead of a June touchdown(phys.org)

197 points by pseudolus 1 year ago | 59 comments

Yggdrasil is an experimental compact routing scheme that is fully decentralised(yggdrasil-network.github.io)

166 points by doener 1 year ago | 46 comments

EPA Plans to Shut Down the Energy Star Program(nytimes.com)

160 points by danso 1 year ago | 115 comments

Detect and crash Chromium bots(blog.castle.io)

131 points by avastel 1 year ago | 38 comments

Ghost students are creating problems for California colleges(sfgate.com)

129 points by jakemontero24 1 year ago | 146 comments

OpenAI for Countries(openai.com)

127 points by camlinke 1 year ago | 129 comments

Foundation DB Record Layer SQL API(foundationdb.github.io)

125 points by fidotron 1 year ago | 49 comments

Three Chapters at Cloudflare: Programmer to CTO to Board of Directors(blog.cloudflare.com)

123 points by jgrahamc 1 year ago | 17 comments

'I paid for the whole GPU, I am going to use the whole GPU'(modal.com)

118 points by mooreds 1 year ago | 35 comments

Getting Older Isn't What You Think(katycowan.co.uk)

113 points by speckx 1 year ago | 128 comments

Show HN: US Routing – Python library for fast local routing in the US(github.com)

108 points by ivanbelenky 1 year ago | 26 comments

The State of SSL Stacks(haproxy.com)

107 points by zdw 1 year ago | 18 comments

Vagus Nerve Stimulation Erases PTSD: Study(neurosciencenews.com)

99 points by rmason 1 year ago | 63 comments

Pakistani firm shipped fentanyl analogs, scams to us(krebsonsecurity.com)

88 points by todsacerdoti 1 year ago | 32 comments

Strain gauge made out of PCB(github.com)

87 points by dr_coffee 1 year ago | 27 comments

OpenSearch 3.0 Released(opensearch.org)

85 points by kmaliszewski 1 year ago | 20 comments

Reverse Engineering "DNA Sequences" in the Lost World: Jurassic Park Video Game(32bits.substack.com)

81 points by bbayles 1 year ago | 4 comments

WeightWatchers files bankruptcy(wsj.com)

77 points by bookofjoe 1 year ago | 269 comments

How to Average in Prolog (2017)(storytotell.org)

64 points by todsacerdoti 1 year ago | 19 comments

Engineers develop wearable heart attack detection technology(medicalxpress.com)

61 points by PaulHoule 1 year ago | 23 comments

Loss of dance and infant-directed song among the Northern Aché(cell.com)

61 points by PaulHoule 1 year ago | 9 comments

Crowd Sourcing Broken QR Codes(humanqr.com)

60 points by devmandan 1 year ago | 38 comments

Telling Lies: Bowie and Online Music Distribution in 1996(cybercultural.com)

59 points by herbertl 1 year ago | 51 comments

Sandy Bridge-era motherboard gets M.2 SSD boot support 12 years after launch(tomshardware.com)

59 points by mobilio 1 year ago | 29 comments

Mississippi Can't Possibly Have Good Schools(educationdaly.us)

56 points by pkrecker 1 year ago | 44 comments

Proposal: Add bare metal support to Go(github.com)

53 points by rbanffy 1 year ago | 13 comments

Some novelists are becoming video game writers – and vice-versa(theguardian.com)

50 points by ilamont 1 year ago | 38 comments

Agentic Editing in Zed(zed.dev)

49 points by gempir 1 year ago | 10 comments

Stratolaunch Successfully Completes Reusable Hypersonic Flight and Recovery(stratolaunch.com)

49 points by speckx 1 year ago | 11 comments

Richest 10 Percent Responsible for Two-Thirds of Warming(e360.yale.edu)

48 points by YaleE360 1 year ago | 29 comments

Social AI companions pose unacceptable risks to teens and children under 18(commonsensemedia.org)

45 points by CharlesW 1 year ago | 17 comments

Spanish Shipwreck Reveals Evidence of Earliest Known Pet Cats to Arrive in US(smithsonianmag.com)

44 points by wallflower 1 year ago | 39 comments

Everyone Is Cheating Their Way Through College(nymag.com)

44 points by jsheard 1 year ago | 39 comments

Migrating a JavaScript Project from Prettier and ESLint to BiomeJS(blog.appsignal.com)

43 points by unripe_syntax 1 year ago | 35 comments

VMware perpetual license holders receive cease-and-desist letters from Broadcom(arstechnica.com)

35 points by stalfosknight 1 year ago | 13 comments

Is there a balance to be struck between simple hierarchical models and(statmodeling.stat.columbia.edu)

35 points by luu 1 year ago | 6 comments

Using tests as a debugging tool for logic errors(qodo.ai)

34 points by simplesort 1 year ago | 13 comments

Parametric Modeling with Grasshopper(baharmon.github.io)

33 points by downboots 1 year ago | 7 comments

Doctors Warn Accountants of Private-Equity Drain on Quality: You Could Be Next(wsj.com)

32 points by impish9208 1 year ago | 30 comments

Before the Undo Command, There Was the Electric Eraser(spectrum.ieee.org)

26 points by bookofjoe 1 year ago | 5 comments

Zuckerberg's Grand Vision: Most of Your Friends Will Be AI(wsj.com)

25 points by ne0flex 1 year ago | 31 comments

Show HN: Agents.erl (AI Agents in Erlang)(github.com)

25 points by arthurcolle 1 year ago | 14 comments

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

16 points by benocodes 1 year ago | 17 comments