Hugo, Lodestar, and Astounding Awards Winners (locusmag.com)

1 points by CharlesW 37s ago 0 comments

Scientific and technological knowledge grows linearly over time (arxiv.org)

1 points by ColinWright 1m ago 0 comments

Ernst Haeckel: Beauty in Even the Most Unlikely of Creatures (haeckel.tilda.ws)

1 points by ofou 3m ago 0 comments

Canada's first commercial spaceport is under construction (space.com)

1 points by geox 3m ago 0 comments

EgoExplore: Large-Scale Open World Exploration Dataset (zeroframe.ai)

1 points by anirudra 3m ago 0 comments

Germany at it again: now trying to reopen the "adblockers are illegal" debate (theregister.com)

1 points by star-glider 6m ago 0 comments

Duolingo's stock down 38%, drops after OpenAI's GPT-5 language vibe coding demo (yro.slashdot.org)

2 points by MilnerRoute 8m ago 0 comments

The rise and fall of the Seagaia Ocean Dome wave pool (surfertoday.com)

1 points by herbertl 12m ago 0 comments

HN Search isn't ingesting new data since Friday (github.com)

15 points by busymom0 14m ago 2 comments

The Cat (mwl.io)

2 points by worik 16m ago 0 comments

Show HN: Retly- collect feedback like a boss (free) (retly.byako.dev)

1 points by ardakaan 17m ago 0 comments

You Should Add Debug Views to Your DB (chrispenner.ca)

1 points by ezekg 19m ago 0 comments

Perplexity Comet – interested in your feedback

1 points by zyruh 22m ago 0 comments

Show HN: Daily analysis of 9k GitHub repos using AI Coding Agents (ai-coding.info)

2 points by kotauchisunsun 26m ago 0 comments

'MMS' to 'aerobic oxygen,' drinking bleach has become a dangerous wellness trend (theconversation.com)

2 points by PaulHoule 29m ago 0 comments

Converting PNG images to 3D mesh in mixed reality based on image light shading [video] (youtube.com)

1 points by Englestone 30m ago 0 comments

Show HN: Doxx – Terminal .docx viewer inspired by Glow (github.com)

2 points by w108bmg 31m ago 1 comments

I Prefer RST to Markdown (buttondown.com)

3 points by shlomo_z 31m ago 0 comments

A composition-safe monadic baptism (twitter.com)

1 points by MrBuddyCasino 32m ago 0 comments

Radio Garden (languagelog.ldc.upenn.edu)

1 points by everybodyknows 34m ago 0 comments

Show HN: Heicconvert.it – HEIC → JPEG, PNG, WebP or AVIF In-Browser (No Upload) (heicconvert.it)

3 points by reverdin 36m ago 0 comments

China's military wants to target US undersea sensor network: Analysis (defensenews.com)

4 points by giuliomagnifico 36m ago 0 comments

When Did AI Take Over Hacker News? (zachperk.com)

84 points by zachperkel 37m ago 15 comments

CEO laid off nearly 80% because they refused to adopt AI fast enough (finance.yahoo.com)

3 points by ripe 38m ago 3 comments

Show HN: A simple site for Tao Te Ching And I Ching (ichingdao.love)

1 points by kindkang2024 41m ago 0 comments

Tokenizers (huggingface.co)

1 points by tokfan 43m ago 0 comments

AI reasoning enhancement through bias elimination (github.com)

2 points by vindao 44m ago 1 comments

Show HN: Self-hosted Brainfuck compiler (for macOS) (github.com)

2 points by michaelfm1211 45m ago 0 comments

Show HN: Postel, a personal content and growth coach for X/Twitter (postel.app)

2 points by robinfaraj 47m ago 0 comments

AI Can't Read Your Docs (blog.sshh.io)

1 points by sshh12 48m ago 0 comments

Consensus Algorithms at Scale (2020) (planetscale.com)

3 points by eatonphil 50m ago 0 comments

A literary history of fake texts in Apple's marketing materials (maxread.substack.com)

2 points by schappim 51m ago 0 comments

Endoscopist deskilling risk after exposure to AI in colonoscopy (thelancet.com)

10 points by smartmic 52m ago 1 comments

Odd this day. 17 August 1942 (mulberryhall.medium.com)

1 points by MaysonL 54m ago 0 comments

Cline: Open-source AI coding, uncompromised (cline.bot)

3 points by azhenley 58m ago 0 comments

Accounting for State Capacity (americanaffairsjournal.org)

1 points by petalmind 58m ago 0 comments

Breakneck – why China's engineers beat America's lawyers (ft.com)

4 points by NN88 59m ago 1 comments

No-fluff learnings on the Z Fellows interview

1 points by alliewithane 1h ago 0 comments

Kindle Modding Wiki (kindlemodding.org)

1 points by walterbell 1h ago 0 comments

Show HN: Runbooks That Run (runbook.run)

2 points by clement1107 1h ago 0 comments

'Safety Today Is a Luxury,' Giorgetto Giugiaro Says After His Crash (jalopnik.com)

15 points by rntn 1h ago 9 comments

Ask HN: What's the best free AI coding assistant available?

2 points by supermanonipad 1h ago 7 comments

eBPF Networking Techniques – Packet Redirection (2023) (who.ldelossa.is)

2 points by susam 1h ago 0 comments

3270BBS – A BBS for 3270 Terminals (github.com)

2 points by bilegeek 1h ago 0 comments

Lake Powell continues drop as Colorado River experiences unprecedented drought (sltrib.com)

3 points by toomuchtodo 1h ago 1 comments

Call of Duty maker goes to war with parasitic cheat developers in federal court (latimes.com)

1 points by PaulHoule 1h ago 0 comments

Natlang Code (vivekhaldar.com)

1 points by gandalfgeek 1h ago 0 comments

The 'Obfuscated C Code Contest' confronts the age of AI (thenewstack.io)

1 points by MilnerRoute 1h ago 0 comments

College Students Have Changed Forever (theatlantic.com)

3 points by jdkee 1h ago 1 comments

MCP Tools with Dependent Types

3 vlaaad 2 8/17/2025, 6:03:33 PM vlaaad.github.io ↗

Comments (2)

VivaTechnics · 2h ago

Good work! `type<T>` (generic types) can mimic dependent types for this?

vlaaad · 2h ago

Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.