frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

MCP tools with dependent types

https://vlaaad.github.io/mcp-tools-with-dependent-types
23•vlaaad•2h ago

Comments

vlaaad•1h ago
I was considering making an MCP SEP (specification enhancement proposal) — https://modelcontextprotocol.io/community/sep-guidelines, though I'm curious if other MCP tinkerers feel the issue exists, should be solved like that, etc. What do you think?
LudwigNagasena•13m ago
> there is no way to tell the AI agent “for this argument, look up a JSON schema using this other tool”

There is a description field, it seems sufficient for most cases. You can also dynamically change your tools using `listChanged` capability.

vlaaad•9m ago
Sure, but the need for accuracy will only increase; there is a difference between suggesting an LLM to put a schema in its context before calling the tool vs forcing the LLM to use a structured output returned from a tool dynamically.

We already have 100% reliable structured outputs if we are making chatbots with LLM integrations directly; I don't want to lose this.

Web apps in a single, portable, self-updating, vanilla HTML file

https://hyperclay.com/
318•pil0u•6h ago•89 comments

MCP doesn't need tools, it needs code

https://lucumr.pocoo.org/2025/8/18/code-mcps/
67•the_mitsuhiko•2h ago•42 comments

Electromechanical reshaping, an alternative to laser eye surgery

https://medicalxpress.com/news/2025-08-alternative-lasik-lasers.html
53•Gaishan•3h ago•9 comments

MCP tools with dependent types

https://vlaaad.github.io/mcp-tools-with-dependent-types
23•vlaaad•2h ago•3 comments

A gigantic jet caught on camera: A spritacular moment for NASA astronaut

https://science.nasa.gov/science-research/heliophysics/a-gigantic-jet-caught-on-camera-a-spritacular-moment-for-nasa-astronaut-nicole-ayers/
244•acossta•3d ago•57 comments

It's the Housing, Stupid

https://ofdollarsanddata.com/its-the-housing-stupid/
36•throw0101c•45m ago•21 comments

Sky Calendar

https://abramsplanetarium.org/SkyCalendar/index.html
4•NaOH•2d ago•0 comments

Walkie-Textie Wireless Communicator

http://www.technoblogy.com/show?2AON
23•chrisjj•2d ago•8 comments

SystemD Service Hardening

https://roguesecurity.dev/blog/systemd-hardening
93•todsacerdoti•7h ago•28 comments

Claudia – Desktop companion for Claude code

https://claudiacode.com/
447•zerealshadowban•19h ago•206 comments

8x19 Text Mode Font Origins

https://www.os2museum.com/wp/8x19-text-mode-font-origins/
18•userbinator•2d ago•5 comments

LLMs and coding agents are a security nightmare

https://garymarcus.substack.com/p/llms-coding-agents-security-nightmare
31•flail•1h ago•11 comments

The Lives and Loves of James Baldwin

https://www.newyorker.com/magazine/2025/08/18/baldwin-a-love-story-nicholas-boggs-book-review
30•Caiero•13h ago•6 comments

Unification (2018)

https://eli.thegreenplace.net/2018/unification/
49•asplake•5h ago•7 comments

The Enterprise Experience

https://churchofturing.github.io/the-enterprise-experience.html
417•Improvement•19h ago•121 comments

Llama-Scan: Convert PDFs to Text W Local LLMs

https://github.com/ngafar/llama-scan
177•nawazgafar•15h ago•73 comments

Clojure Async Flow Guide

https://clojure.github.io/core.async/flow-guide.html
174•simonpure•11h ago•67 comments

Website is served from nine Neovim buffers on my old ThinkPad

https://vim.gabornyeki.com/
39•todsacerdoti•1h ago•5 comments

Scientists discover surprising language 'shortcuts' in birdsong – like humans

https://www.manchester.ac.uk/about/news/scientists-discover-surprising-language-shortcuts-in-birdsong--just-like-humans/
16•gnufx•3d ago•7 comments

Nvidia Tilus: A Tile-Level GPU Kernel Programming Language

https://github.com/NVIDIA/tilus
43•ashvardanian•3d ago•21 comments

Viking-Age hoard reveals trade between England and the Islamic World

https://www.heritagedaily.com/2025/08/viking-age-hoard-reveals-trade-between-england-and-the-islamic-world/155786
52•bookofjoe•3d ago•37 comments

Mangle – a language for deductive database programming

https://github.com/google/mangle
75•simonpure•11h ago•14 comments

The circular economy could make demolition a thing of the past

https://theconversation.com/the-circular-economy-could-make-demolition-a-thing-of-the-past-heres-how-261678
7•PaulHoule•1h ago•1 comments

Show HN: Doxx – Terminal .docx viewer inspired by Glow

https://github.com/bgreenwell/doxx
215•w108bmg•16h ago•55 comments

Show HN: OverType – A Markdown WYSIWYG editor that's just a textarea

374•panphora•20h ago•89 comments

Google admits anti-competitive conduct involving Google Search in Australia

https://www.accc.gov.au/media-release/google-admits-anti-competitive-conduct-involving-google-search-in-australia
231•Improvement•9h ago•146 comments

Derivatives, Gradients, Jacobians and Hessians

https://blog.demofox.org/2025/08/16/derivatives-gradients-jacobians-and-hessians-oh-my/
259•ibobev•22h ago•64 comments

Show HN: NextDNS Adds "Bypass Age Verification"

458•nextdns•22h ago•155 comments

Non-Uniform Memory Access (NUMA) is reshaping microservice placement

https://codemia.io/blog/path/NUMA-Is-the-New-Network-How-Per-Socket-Memory-Models-Are-Reshaping-Microservice-Placement
77•signa11•11h ago•24 comments

Modifying other people's software

https://natkr.com/2025-08-14-modifying-other-peoples-software/
63•todsacerdoti•4d ago•32 comments