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

349 points by arathore 3h ago 83 comments

Introducing Web Search on the Anthropic API (anthropic.com)

54 points by cmogni1 1h ago 8 comments

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

318 points by lfittl 6h ago 83 comments

Open source Google Analytics replacement (github.com)

96 points by samdung 3h ago 53 comments

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

18 points by todsacerdoti 1h ago 2 comments

El Cono: The mysterious sacred 'pyramid' hidden deep in the Amazon rainforest (livescience.com)

20 points by Brajeshwar 3d ago 0 comments

GovEagle (YC W23) Is Hiring (ycombinator.com)

1 points by gabev 24m ago 0 comments

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

172 points by _lateralus_ 7h ago 58 comments

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

173 points by seam_carver 5h ago 32 comments

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

117 points by meetpateltech 5h ago 53 comments

Mac Themes Garden (damien.zone)

24 points by speckx 1h ago 12 comments

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

5 points by mooreds 20m ago 0 comments

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

467 points by vquemener 14h ago 313 comments

So Much Blood (dynomight.net)

274 points by debesyla 11h ago 116 comments

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

184 points by mygnu 10h ago 206 comments

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

50 points by herbertl 5h ago 38 comments

Single hair-like electrode outperforms traditional 21-lead EEG (newatlas.com)

31 points by westurner 1d ago 9 comments

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

469 points by AlexeyBrin 9h ago 300 comments

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

437 points by cempaka 8h ago 117 comments

Vagus Nerve Stimulation Erases PTSD (neurosciencenews.com)

36 points by rmason 1h ago 27 comments

Polycompiler: Merge Python and JavaScript code into one file that runs in both (github.com)

51 points by nickoates 3d ago 13 comments

RSC for Astro Developers (overreacted.io)

16 points by feross 1d ago 4 comments

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

27 points by rbanffy 1h ago 5 comments

Perfect Random Floating-Point Numbers (specbranch.com)

83 points by pclmulqdq 3d ago 48 comments

Show HN: 100.st – Dev utilities I built for format conversions and encoding (100.st)

32 points by abdelbkk 3d ago 14 comments

Claude's system prompt is over 24k tokens with tools (github.com)

563 points by mike210 1d ago 291 comments

OpenSearch 3.0 Released (opensearch.org)

80 points by kmaliszewski 5h ago 20 comments

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

33 points by simplesort 8h ago 12 comments

Cuttlefish 'talk' with their arms, study reveals (scienceblog.com)

113 points by geox 1d ago 78 comments

Matt Godbolt sold me on Rust by showing me C++ (collabora.com)

558 points by LorenDB 1d ago 526 comments

Protein-slayer drugs could beat some of the cruellest cancers (nature.com)

8 points by gnabgib 1h ago 0 comments

WebMonkeys: parallel GPU programming in JavaScript (2016) (github.com)

111 points by surprisetalk 3d ago 20 comments

Alignment is not free: How model upgrades can silence your confidence signals (variance.co)

110 points by karinemellata 22h ago 51 comments

docker2exe: Convert a Docker image to an executable (github.com)

129 points by alexmolas 2d ago 79 comments

VVVVVV Source Code (github.com)

398 points by radeeyate 22h ago 79 comments

Hunting down a C memory leak in a Go program (2021) (medium.com)

4 points by fanf2 43m ago 0 comments

Gemini 2.5 Pro Preview (developers.googleblog.com)

673 points by meetpateltech 1d ago 664 comments

DoorDash to acquire Deliveroo (cnbc.com)

170 points by mfiguiere 1d ago 318 comments

ACE-Step: A step towards music generation foundation model (github.com)

104 points by wertyk 1d ago 52 comments

Show HN: Clippy – 90s UI for local LLMs (felixrieseberg.github.io)

1071 points by felixrieseberg 1d ago 259 comments

Old Timey Code and Old Timey Mono Fonts (github.com)

176 points by dsevil 3d ago 30 comments

Bloat is still software's biggest vulnerability (2024) (spectrum.ieee.org)

240 points by kristianp 21h ago 169 comments

India launches attack on 9 sites in Pakistan and Pakistani Jammu and Kashmir (reuters.com)

463 points by alephnerd 1d ago 553 comments

Brush (Bo(u)rn(e) RUsty SHell) a POSIX and Bash-Compatible Shell in Rust (github.com)

151 points by voxadam 1d ago 87 comments

Nnd – a TUI debugger alternative to GDB, LLDB (github.com)

268 points by zX41ZdbW 1d ago 83 comments

Optimizing Common Lisp (fosskers.ca)

37 points by todsacerdoti 11h ago 4 comments

Accents in latent spaces: How AI hears accent strength in English (accent-strength.boldvoice.com)

233 points by ilyausorov 1d ago 119 comments

New studies offer insight into Lyme disease’s treatment, lingering symptoms (news.northwestern.edu)

213 points by gmays 1d ago 149 comments

Scientists have found a way to 'tattoo' tardigrades (phys.org)

52 points by PaulHoule 1d ago 39 comments

Show HN: Whippy Term - GUI terminal for embedded development (Linux and Windows) (whippyterm.com)

91 points by SurvivorTed 22h ago 11 comments

C++20 concepts for nicer compiler errors

3 ibobev 0 5/3/2025, 7:57:38 PM lemire.me ↗

Comments (0)

No comments yet