MCP Tools and Dependent Types

Comments (1)

vlaaad · 35m 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?

AWS Service; Alternative for Dify, N8n (aws.amazon.com)

Show HN: A relatively fast ASCII video player in your favourite terminal (github.com)

A game that Rust programmers don't know how to play (punkx.org)

LLM Coding Assistant Census 2025 (aleyan.com)

Show HN: Twick SDK – an open-source React video editing toolkit (github.com)

Easy will always trump simple (surfingcomplexity.blog)

I Built Dream Analyzer–Free AI Dream Interpretation (dreamanalyzer.net)

Tell your AI to put on the Grug-brained developer hat (denismaciel.com)

Fortune 500 Executives Navigate Digital Resistance, and What You Can Learn (virtocommerce.com)

Show HN: Privacy first tone rewriter Chrome extension using local Gemini Nano (github.com)

Philosophical Thoughts on Kolmogorov-Arnold Networks (kindxiaoming.github.io)

I built a tool to chat with research papers using LangGraph and RAPTOR (github.com)

It's the Housing, Stupid (ofdollarsanddata.com)

Sarfaraj (blog.cloudflare.com)

When you're asking AI chatbots for answers, they're data-mining you (theregister.com)

Customizing Lisp REPLs (aartaka.me)

Jeffrey Kripal: UFOs, Religion and the Truth [video] (youtube.com)

Universal Tool Calling Protocol (UTCP) (github.com)

Wearable blood pressure monitor attaches like bandage for continuous measurement (medicalxpress.com)

RedditBrew: Reddit's rising tech insights, curated and delivered daily (redditbrew.com)

Google is killing the open web (wok.oblomov.eu)

Ask HN: What are the best blogs and newsletters for PyTorch or AI computation?

App-man - simple Linux process manager to launch apps without systemd (sparrowhub.io)

Poisoned telemetry can turn AIOps into AI Oops, researchers show (theregister.com)

As the Great Salt Lake dries up, clouds of dangerous dust blow into boomtowns (washingtonpost.com)

Book Review: After the Spike (crookedtimber.org)

Show HN: Olla – Lightweight LLM Proxy for Homelab and OnPrem AI Inference

Boomer knows best? Not so fast, say millennial parents (theglobeandmail.com)

The circular economy could make demolition a thing of the past (theconversation.com)

A brief consideration of input shapes for fuzzers (addisoncrump.info)

Show HN: Crazy lessons from 6 months of building extraDock (extradock.app)

GitHub Copilot for Xcode – The Heist of the Century? (medium.com)

Physically Based Rendering in Filament (google.github.io)

Eavesdropping on Phone Conversations Through Vibrations (schneier.com)

Always Inadequate (newyorker.com)

The new geography of stolen goods (economist.com)

MapLibre Tile: A next generation geospatial format optimized for rendering (arxiv.org)

How I Made Ruby Faster Than Ruby (noteflakes.com)

Show HN: Edit videos in browser without uploads, signups, or complex software (quickeditvideo.com)

What My Daughter Told ChatGPT Before She Took Her Life (nytimes.com)

Meta Hypernova: The first real contender for the post-Smartphone era (uk.pcmag.com)

Show HN: A map of your favorite artists' upcoming concerts (concert-map.com)

6 Reasons You Don't Need an SRE Team (log.andvari.net)

Everyone should own a 3D printer in 2025 (medium.com)

Ronnie Rondell Jr: Veteran stuntman set on fire for Pink Floyd album cover dies (news.sky.com)

LLMs and Coding Agents = Security Nightmare (garymarcus.substack.com)

Website Is Served from Nine Neovim Buffers on My Old ThinkPad (vim.gabornyeki.com)

NMS Ceefax (nmsceefax.co.uk)

TimeTracker – A self-hosted, team time tracker with timers, and reporting (github.com)

The Network Times: AI Cluster Networking (nwktimes.blogspot.com)

MCP Tools and Dependent Types

Comments (1)