niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

MCP Tools and Dependent Types

Article URL: https://vlaaad.github.io/mcp-tools-with-dependent-types

Comments URL: https://news.ycombinator.com/item?id=44938963

Points: 12

# Comments: 1

https://vlaaad.github.io/mcp-tools-with-dependent-types

Created 3h | Aug 18, 2025, 12:20:15 PM


Login to add comment

Other posts in this group

When you're asking AI chatbots for answers, they're data-mining you
When you're asking AI chatbots for answers, they're data-mining you

Article URL: https://www.theregister.com/2025/08/18/opinion_column_ai_surveillance/

Comments URL:

Aug 18, 2025, 2:30:15 PM | Hacker news
Vibe coding tips and tricks
Vibe coding tips and tricks

Article URL: https://github.com/awslabs/mcp/blob/main/VIBE_CODING_TIPS_TRICKS.md

Comments URL:

Aug 18, 2025, 2:30:15 PM | Hacker news
Apple and Amazon will miss AI like Intel missed mobile
Apple and Amazon will miss AI like Intel missed mobile

Article URL: https://gmays.com/the-biggest-bet-in-tech/

Comments URL: https:

Aug 18, 2025, 2:30:14 PM | Hacker news
AI accounts impersonating doctors on social media [video]
AI accounts impersonating doctors on social media [video]
Aug 18, 2025, 2:30:13 PM | Hacker news
Texas law gives grid operator power to disconnect data centers during crisis
Texas law gives grid operator power to disconnect data centers during crisis

Article URL: https://www.utilitydive.com/news/texas-law-gives-grid-op

Aug 18, 2025, 2:30:12 PM | Hacker news
FFmpeg Assembly Language Lessons
FFmpeg Assembly Language Lessons

Article URL: https://github.com/FFmpeg/asm-lessons

Comments URL: https://news.yco

Aug 18, 2025, 2:30:11 PM | Hacker news
Class-action suit claims Otter AI records private work conversations
Class-action suit claims Otter AI records private work conversations

Article URL: https://www.npr.org/2025/08/15/g-s1-83087/otter-ai-transcription-class-action-lawsuit

Aug 18, 2025, 2:30:10 PM | Hacker news
Techie
Techie