📐 Type Theory - 2601 · Scour

Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications

🔬Code Analysis Academic

Less-relevant results

Rust goal: cargo script (like uv does for Python)

📦Dependency Analysis

rust-lang.github.io··Hacker News

Infinite precision intermediate arithmetic: how much would break?

⚙️Compiler Design

internals.rust-lang.org··Hacker News

AI won't replace your mentor, but it might be the only one available

🏗️System Design Blog

irowell.io··Hacker News

Native Elm (the real kind this time)

🌐Browser Compilers

cekrem.github.io··r/functionalprogramming, r/node, r/programming, r/typescript, r/webdev

We Cut Semgrep's Taint Analysis Time by 75%

🎯Taint Analysis Blog

semgrep.dev··Hacker News

Show HN: Cost.dev (YC W21) – making agents cost-aware and 79% cheaper to call

🔬Code Analysis Discussion

news.ycombinator.com··Hacker News

Your AI Agent Is Not a Security Boundary

💬Prompt Engineering

pub.towardsai.net

·

Using Ropes for Computation

🔬programming language theory

wiki.xxiivv.com··Hacker News

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

💬REPL Design Code

github.com··Hacker News

iBz-04/boomerang: Exact-moment video search & retrieval

🔎Information Retrieval Code

github.com··r/rust

Firebase SQL Connect

🔎Information Retrieval

firebase.google.com··Hacker News

The Road to Component Model 1.0

🧱WASM Components

bytecodealliance.org··Hacker News

Porting our Django backend to Rust improved the infra usage by 90% · Blog

wasmer.io··Hacker News, r/programming, r/rust

Thoughts on starting new projects with LLM agents

eli.thegreenplace.net··Lobsters, Hacker News, Hacker News

No more posts from 2601's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling