Meta Invests $14.3B in Scale AI to Kick-Start Superintelligence Lab (nytimes.com)

184 points by RyanShook 2h ago 225 comments

OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)

92 points by lairv 1h ago 12 comments

100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (research.mietek.io)

33 points by Bogdanp 58m ago 4 comments

If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)

365 points by sdoering 7h ago 112 comments

Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)

43 points by tombh 1h ago 6 comments

Luxe Game Engine (luxeengine.com)

33 points by garrypettet 32m ago 6 comments

Design Patterns for Securing LLM Agents Against Prompt Injections (simonwillison.net)

31 points by simonw 2h ago 7 comments

The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)

8 points by todsacerdoti 30m ago 0 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

21 points by ljosifov 2h ago 6 comments

Jemalloc Postmortem (jasone.github.io)

588 points by jasone 14h ago 165 comments

Ask HN: How do I give back to people helped me when I was young and had nothing?

81 points by jupiterglimpse 2h ago 56 comments

Frequent reauth doesn't make you more secure (tailscale.com)

1014 points by ingve 20h ago 435 comments

Kyber (YC W23) Is Hiring a Technical Account Manager (ycombinator.com)

1 points by asontha 3h ago 0 comments

Ask HN: Is ageism in tech still a problem?

23 points by leonagano 36m ago 6 comments

Show HN: Qrkey – Offline private key backup on paper (github.com)

28 points by techwolf12 1h ago 21 comments

Rendering Crispy Text on the GPU (osor.io)

317 points by ibobev 13h ago 102 comments

A receipt printer cured my procrastination (laurieherault.com)

1024 points by laurieherault 1d ago 533 comments

The Missing Manual for Signals: State Management for Python Developers (bui.app)

44 points by buibuibui 3h ago 12 comments

A Dark Adtech Empire Fed by Fake CAPTCHAs (krebsonsecurity.com)

201 points by todsacerdoti 17h ago 89 comments

Anker is recalling over 1.1M power banks due to fire and burn risks (theverge.com)

46 points by vidyesh 3h ago 16 comments

iPhone 11 emulation done in QEMU (github.com)

344 points by 71bw 1d ago 29 comments

Slow and steady, this poem will win your heart (nytimes.com)

69 points by mrholme 10h ago 24 comments

Show HN: Tritium – The Legal IDE in Rust (tritium.legal)

250 points by piker 1d ago 138 comments

Zero-Shot Forecasting: Our Search for a Time-Series Foundation Model (parseable.com)

43 points by tiwarinitish86 10h ago 19 comments

Show HN: I wrote a BitTorrent Client from scratch (github.com)

145 points by piyushgupta53 10h ago 41 comments

Maximizing Battery Storage Profits via High-Frequency Intraday Trading (arxiv.org)

267 points by doener 1d ago 252 comments

Rust compiler performance (kobzol.github.io)

242 points by mellosouls 3d ago 221 comments

Worldwide power grid with glass insulated HVDC cables (omattos.com)

119 points by londons_explore 19h ago 106 comments

Urban Design and Adaptive Reuse in North Korea, Japan, and Singapore (governance.fyi)

47 points by daveland 13h ago 9 comments

Three Algorithms for YSH Syntax Highlighting (github.com)

42 points by todsacerdoti 13h ago 15 comments

Microsoft Office migration from Source Depot to Git (danielsada.tech)

345 points by dshacker 1d ago 268 comments

Why does my ripped CD have messed up track names? And why is one track missing? (akpain.net)

149 points by surprisetalk 1d ago 129 comments

Show HN: McWig – A modal, Vim-like text editor written in Go (github.com)

135 points by andrew_bbb 1d ago 13 comments

Show HN: Tool-Assisted Speedrunning the Boring Parts of Animal Crossing (GCN) (github.com)

139 points by hunterirving 1d ago 20 comments

Solving LinkedIn Queens with SMT (buttondown.com)

125 points by azhenley 23h ago 38 comments

The curse of Toumaï: an ancient skull and a bitter feud over humanity's origins (theguardian.com)

73 points by benbreen 17h ago 23 comments

Dancing brainwaves: How sound reshapes your brain networks in real time (sciencedaily.com)

176 points by lentoutcry 5d ago 71 comments

Quantum Computation Lecture Notes (2022) (math.mit.edu)

149 points by ibobev 4d ago 46 comments

Are Python Dictionaries Ordered Data Structures? (thepythoncodingstack.com)

4 points by rbanffy 5h ago 0 comments

Helion: A modern fast paced Doom FPS engine in C# (github.com)

171 points by klaussilveira 2d ago 63 comments

Show HN: GetHooky – a language-agnostic Git hook manager (ezpieco.github.io)

18 points by Ezpie 12h ago 5 comments

First thoughts on o3 pro (latent.space)

179 points by aratahikaru5 2d ago 179 comments

US-backed Israeli company's spyware used to target European journalists (apnews.com)

671 points by 01-_- 23h ago 339 comments

EM Eavesdropping Attack on Digital Microphones Using Pulse Density Modulation (usenix.org)

31 points by gnabgib 17h ago 2 comments

Research suggests Big Bang may have taken place inside a black hole (port.ac.uk)

720 points by zaik 1d ago 572 comments

Reflections on Sudoku, or the Impossibility of Systematizing Thought (rjp.io)

85 points by rjpower9000 4d ago 59 comments

Chatterbox TTS (github.com)

637 points by pinter69 1d ago 183 comments

The hunt for Marie Curie's radioactive fingerprints in Paris (bbc.com)

109 points by rmason 3d ago 93 comments

WebKit Standards Positions (webkit.org)

25 points by mooreds 23h ago 4 comments

Rohde and Schwarz AMIQ Modulation Generator Teardown (tomverbeure.github.io)

64 points by iamsrp 5d ago 25 comments

Show HN: I'm 13 and I built an AI PDF Reader

8 pro-grammer 2 6/11/2025, 10:20:02 AM github.com ↗

Comments (2)

pro-grammer · 2d ago

Hi everyone,

My name is Adrián and I'm a 13-year-old from Spain who loves to code.

I just finished my biggest project yet: an AI-powered PDF reader that lets you chat with your documents. I built it because I often find it hard to find specific information in long school papers and articles, and thought AI could help.

I wrote a blog post about how and why I built it, and the journey I took to learn everything: https://adrianrubio.org/blog/my-ai-pdf-reader-how-and-why-I-...

The project is open-source, and I would be so grateful for any feedback you have. My goal is to reach 150 stars on GitHub!

Thank you for checking it out!

atmanactive · 22h ago

Congrats!

Any chance this could work with Ollama?