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

363 points by arathore 4h ago 94 comments

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

62 points by cmogni1 1h ago 11 comments

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

322 points by lfittl 6h ago 84 comments

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

26 points by Brajeshwar 3d ago 1 comments

Open source Google Analytics replacement (github.com)

100 points by samdung 3h ago 54 comments

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

19 points by todsacerdoti 1h ago 3 comments

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

1 points by gabev 35m ago 0 comments

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

175 points by _lateralus_ 7h ago 61 comments

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

15 points by mooreds 31m ago 1 comments

Mac Themes Garden (damien.zone)

32 points by speckx 1h ago 12 comments

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

175 points by seam_carver 6h ago 32 comments

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

120 points by meetpateltech 5h ago 53 comments

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

475 points by vquemener 14h ago 314 comments

So Much Blood (dynomight.net)

281 points by debesyla 11h ago 117 comments

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

189 points by mygnu 10h ago 209 comments

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

32 points by westurner 1d ago 10 comments

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

51 points by herbertl 5h ago 40 comments

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

475 points by AlexeyBrin 9h ago 301 comments

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

441 points by cempaka 9h ago 120 comments

Vagus Nerve Stimulation Erases PTSD (neurosciencenews.com)

40 points by rmason 1h ago 30 comments

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

51 points by nickoates 3d ago 13 comments

Perfect Random Floating-Point Numbers (specbranch.com)

85 points by pclmulqdq 3d ago 48 comments

RSC for Astro Developers (overreacted.io)

16 points by feross 1d ago 5 comments

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

31 points by rbanffy 1h ago 7 comments

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

566 points by mike210 1d ago 292 comments

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

32 points by abdelbkk 3d ago 14 comments

OpenSearch 3.0 Released (opensearch.org)

81 points by kmaliszewski 5h ago 20 comments

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

115 points by geox 1d ago 78 comments

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

33 points by simplesort 9h ago 12 comments

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

560 points by LorenDB 1d ago 528 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)

112 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 52 comments

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

130 points by alexmolas 2d ago 79 comments

VVVVVV Source Code (github.com)

399 points by radeeyate 22h ago 79 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 321 comments

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

4 points by fanf2 54m ago 0 comments

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

1071 points by felixrieseberg 1d ago 259 comments

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

104 points by wertyk 1d ago 52 comments

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

152 points by voxadam 1d ago 87 comments

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

176 points by dsevil 3d ago 30 comments

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

464 points by alephnerd 1d ago 553 comments

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

268 points by zX41ZdbW 1d ago 83 comments

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

240 points by kristianp 22h ago 170 comments

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

234 points by ilyausorov 1d ago 120 comments

Optimizing Common Lisp (fosskers.ca)

37 points by todsacerdoti 11h ago 4 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 41 comments

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

91 points by SurvivorTed 22h ago 11 comments

Reinforcement Learning for Reasoning in LLMs with One Training Example

1 delduca 0 5/3/2025, 7:59:06 PM arxiv.org ↗

Comments (0)

No comments yet