🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🌐 Protocol Synthesis

Session Types, Communication Safety, Distributed Systems, Type-driven Development

Using personal instructions in GitHub Copilot Chat
cassidoo.co·9h
🔗Concatenative Programming
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·19h·
Discuss: Hacker News
🏛Digital humanities
API Auth Is Deeper Than It Looks
nango.dev·1d·
Discuss: Hacker News
🔌Interface Evolution
Pre-Auth SQLi to RCE – Fortinet FortiWeb Fabric Connector (CVE-2025-25257)
labs.watchtowr.com·2d·
Discuss: Hacker News
🛡️CBOR Security
Why 1Password hasn't released an MCP server
blog.1password.com·1d·
Discuss: Hacker News
🔌Interface Evolution
An example of drifting away in dev
mohas.bearblog.dev·7h·
Discuss: Hacker News
🔩Systems Programming
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·4d·
Discuss: Substack
⚡Incremental Computation
How I Built a Real-Time Anonymous Chat App Using Node.js and WebSockets
dev.to·17h·
Discuss: DEV
🌐WebSocket Framing
Unpacking Go Slices: 3 Common Gotchas You Need to Know
dev.to·10h·
Discuss: DEV
⬆️Lambda Lifting
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·2d·
Discuss: Hacker News
🔐CBOR
Comparison of defining interfaces in the consumer vs. producer when it comes to developing a microservice
reddit.com·22h·
Discuss: r/golang
🔌Interface Evolution
Using AI in the development of stdlib
dev.to·9h·
Discuss: DEV
📏Code Metrics
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·1d
🎙️Whisper
From Chat to Specs: A Deep Dive into AI-Assisted Development with Kiro
dev.to·2d·
Discuss: DEV
📏Code Metrics
My wild ride from building a proxy server in rust to a data plane for AI — and landing a $250K Fortune 500 customer.
reddit.com·1d·
Discuss: r/rust
🔌Interface Evolution
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·2d
💾Binary Linguistics
Grep a million GitHub repositories via MCP
vercel.com·15h·
Discuss: Hacker News
⚡Proof Automation
GORM Magic: Go Database Made Easy ⚡
dev.to·6h·
Discuss: DEV
⛏️SQL Archaeology
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·19h·
Discuss: Hacker News
⚡Proof Automation
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·5d·
Discuss: Hacker News
🧠Lisp Dialects
Loading...Loading more...
AboutBlogChangelogRoadmap