@ShadajL Quite a full-circle moment! You gave a keynote at OSCON as a middle schooler, and now you are back on a keynote stage. Technical conferences really are where you grew up. So proud of you!
Super excited for this! The principles behind Hydro, “universal properties”, are increasingly valuable across all software domains.
Will be sharing how we think about the role of type systems and simulation in the agentic era, and where Hydro is going next. Join us!
@btaylor So true! I looked through the books I wrote, and they have hundreds of em dashes. Thankfully, they were written before all this new AI stuff existed. Otherwise, I'd probably avoid using them--lol--or be accused of AI slop.
Introducing @OpenKnowledge, the best markdown IDE for humans and agents.
Open source. Local and private. LLM-wiki ready.
Use with Claude, Codex, and your favorite agent today.
New blog post! https://t.co/jiVeS3ewiR
If you've been following the latest Lean + RL research, and are curious about the technology at its core, this is for you! I introduce the basics of Lean in the context of an episode from the PBS Kids show Cyberchase.
Big news: #dev2next is coming back next year in Denver — October 12–15, 2026! 🎉
4 days of cutting-edge sessions, future-focused keynotes, and meaningful collaboration with the minds shaping what’s next in software. 💻
Secure your spot soon! 🚀
Exograph now supports MCP!
https://t.co/gYqOLCcAPw
LLMs need rich data, but you need bulletproof access control. Writing secure SQL queries that handle both is a pain.
With Exograph, you define your schema + access rules. LLMs get the data they need, users only see what they should.
Learn how the MCP helps LLMs go beyond RAG—powering smarter, real-time interactions while keeping data secure and systems reliable with @ramnivas at dev2next this Fall! 💥
https://t.co/3MOnijV3ES
🎟️ https://t.co/EcZgQVkg8o
👀 Use code JOIN-RAMNIVASL-50OFF for a discount!
I will be presenting a technical deep dive on Model Context Protocol (#MCP) at Silicon Valley JUG this Wednesday, July 2nd.
See you there!
https://t.co/LkTE6jc6ow
Another #svgenai meetup is a wrap.
1) 📜 slides are posted here : https://t.co/qcrqmdRlFT
video recordings coming soon.
2) 👉 Sign up to be notified of future events: https://t.co/Kdtu7yeN6C
Checkout our website: https://t.co/y255NKDzQB
3) 💰 I gave out credits for @nebiusaistudio at the meetup.
DM me if you'd like to get some credits to try out latest open source models in Nebius AI Studio https://t.co/tGvr8Qz0rI
4) 🎤 Big thanks to our speakers
- @MelGoesTech on Langflow
- @ramnivas about #MCP
- I gave an update on Allycat (https://t.co/PnLnXvCKrT) open source project.
#meetup #AIMeetup #allycat
@davenielsen@thealliance_ai
Attending @ShadajL’s PhD dissertation talk. He worked really hard, cared a lot about doing things right, and pushed the boundaries of computer science. I am really proud of my boy!
I've noticed that most (if not all) MCP (Model Context Protocol) servers written in TypeScript/JavaScript using `npx` as the JavaScript engine.
That's... a lot of trust.
`npx` gives full access to local system resources, unrestricted network calls, and environment variables--which feels like leaving all your doors and windows open because it's convenient.
A far more secure default would be Deno (@deno_land), which flips the model:
🚫 No access to file system, network, or env by default
✅ You explicitly opt-in via flags like `--allow-read=/home/temp` or `--allow-net=https://t.co/UosRHDSsNu`
This kind of permission model drastically reduces the attack surface--especially critical in the context of tool poisoning attacks (https://t.co/JLD3z4QwWv), or just the general risk of a locally running server going rogue.
With Deno, developers can allow access only when it makes sense for that tool to do its job.
Of course, Docker can achieve similar objective--but network restrictions aren't nearly as straightforward to configure. WebAssembly is another promising option, but very few servers target it today.
Given Deno's "no trust by default" approach, I'm surprised that it isn't the go-to choice.