The Magic of Code is out!!! Samuel Arbesman is on a mission to share the joy, and wonderful weirdness, of computing

One of best demos I’ve seen in a while! Magic!

Every engineer is familiar with the joys of writing unit tests. But less known is formal (or program) verification: foolproof, mathematical ways of guaranteeing code outputs. And as more code writing shifts to agents, I believe it will become critically important for LLMs.

Big news today: Jamsocket is joining Modal!

Introducing Cased, now with interactive agents that do the busywork of DevOps for you. Cased is always-on: fixing problems like infrastructure drift, finding cost savings in AWS, and helping when deploys go wrong. Check out just some of what Cased can do:

on the one hand, i think that models continue to get meaningfully better. on the other, there's a part of me that feels like rn might be the golden age of being able to use things like claude code at a subsidized rate that might never be so cost effective again

Wasp now has a public roadmap! A front-row seat to the madness!

Announcing hyperpb, a fully-dynamic Protobuf parser that achieves 3x performance over generated Go code! Our hyperspeed dynamic parsing turns once-unscalable products into ordinary, even essential components of your stack. Check out our benchmarks! ⚡ buf.build/blog/hyperpb

👾Introducing the AG-UI CLI An easy flow that guides you through the process of building AG-UI powered applications. Pick your agent, client, and get started with a simple starter repo with all the building blocks you need. Get started📟 npx create-ag-ui-app@latest

This guy has AG-UI running on his glasses We didn’t believe him so we tried it out. New AG-UI client; talking to ADK agents through your glasses

paid SaaS templates are for suckers. Open SaaS v2 is free, open‑source & way more badass: ✦ sexy ui - shadcn ✦ payments integrated - Stripe Lemon Squeezy Polar ✦ admin dashboard - Plausible Analytics ✦ secure aws s3 file uploads - Amazon Web Services ✦ full cursor rules & llms.txt -

We're looking for a Senior Backend Engineer to join our team at vlt /vōlt/ based here in Toronto 🇨🇦 at our HQ. If you love JavaScript & open source this may be right up your alley. Please share if you know anyone who would be a great fit. linkedin.com/posts/darcycla… #javascript #nodejs

🔥 If you missed it, last week our team at vlt /vōlt/ landed Catalog Support & today we're happy to announce a new capability: Graph Modifiers. These are next level "overrides" which give you unrivalled control over your dep graphs. blog.vlt.sh/blog/introduci…

Ok so… I’ve been working on something new. An AI-first, edge-first toolchain for robotics. It’s called Bagel. 🍞 Open-source 🧠 Built for Physical AI 🛠️ Free & ready for feedback → github.com/Extelligence-a… #Robotics #PhysicalAI #EdgeAI #OpenSource #AItools #ROS2 #RobotDev

it's about time we taught AI design.

Bagel now works with Cursor! Talk to your physical data and get answers - no fuss. Free and Open Source: tinyurl.com/Bagel18228. Open Robotics PX4 Autopilot #Robotics #PhysicalAI #EdgeAI #OpenSource #AItools #ROS2 #RobotDev

Unwritten processes 1B+ data points with zero infrastructure overhead They chose Rust + Shuttle for deployment 🦀 Here's why that combo is working so well for large-scale data processing 🧵

Introducing Cased Workflows: background agents that do the busy work of devops for you. Combined with Cased's interactive agents, it's an always-on, AI-powered system to help run your infrastructure, today. - cost savings without even trying - fix iac bugs - find drift

Introducing Cased's API for devops agents. Start agent sessions from anywhere (GitHub Actions, your local env, remote servers). Cased gets to work figuring things out, generating graphs, and opening PRs. Unlocks tons of use cases and augments flows. ⤵️