niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

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

Établi 3h | 18 août 2025, 12:20:15


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

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:

18 août 2025, 14:30:15 | 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:

18 août 2025, 14:30:15 | 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:

18 août 2025, 14:30:14 | Hacker news
AI accounts impersonating doctors on social media [video]
AI accounts impersonating doctors on social media [video]
18 août 2025, 14:30:13 | 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

18 août 2025, 14:30:12 | Hacker news
FFmpeg Assembly Language Lessons
FFmpeg Assembly Language Lessons

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

Comments URL: https://news.yco

18 août 2025, 14:30:11 | 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

18 août 2025, 14:30:10 | Hacker news
Techie
Techie