🎭 Gradual Typing - nmarshall · Scour

Show HN: Typedframes – Pandas/polars column name checking at lint time

💬Language Servers Code

github.com··Hacker News

Less-relevant results

WebAssembly Specification

🧩WebAssembly

webassembly.github.io··Hacker News

typesafe SDK, CLI and UI components for cinema platform APIs

theatrical.dev··Hacker News

Release Release v1.81.1 · grpc/grpc

🔌API Design Code

The design principles of the Elixir type system

λFunctional Programming Academic

arxiv.org··Hacker News

Cursor vs Windsurf: Which AI Code Editor Is Best for Python?

realpython.com·

What’s up Python? Pip supports locking, .pth files deprecated

📝editors News

Elixir v1.20 released: now a gradually typed language

λFunctional Programming Discussion

news.ycombinator.com··Hacker News

IDA Plugin Updates on 2026-06-06

🌟cool github projects

williballenthin.com·

mondi04/htmforge: Type-safe, composable HTML components for Python. Server-side rendered, HTMX-first, framework-agnostic — no templates, no string formatting, no XSS surprises.

📂open source Code

github.com··r/SideProject

Home - Yet Another ... VimIDE

🔍Static Analysis

francesco-mannella.github.io··r/vim

teamolimpo/TeamOlimpo: The orchestration layer for AI agent teams — MCP-native orchestrator with unified memory, IntentGate routing, and structured handoff protocol.

🤖AI agents Code

github.com··Hacker News

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

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

amareshhebbar/TrueNorth: Declare the outcome, skip the logic. The developer-first infrastructure engine for structured, multi-turn AI conversations with built-in safety, async follow-ups, and native compliance

🤖AI agents Code

github.com··r/SideProject

philpax/disco-diffusion

⚡Hardware Acceleration Code

Log in to enable infinite scrolling