🌐 Axum

Rust Web Framework, Tokio Integration, HTTP Services, Middleware Design

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·8h
💻Programming languages
xmcp – TypeScript framework for building and shipping MCP applications
xmcp.dev·13h·
Discuss: Hacker News
📋MCP
Encrypting Files with Passkeys and age
words.filippo.io·15h
📘Typescript
KAEditor – AI Code Editor
kaeditor.com·15h·
Discuss: Hacker News
👨‍💻AI Coding
Adding a UI to a Container Registry Is Not Simple
molnett.com·22h·
Discuss: Hacker News
💾Persistence Strategies
Show HN: Rama – Rust framework to empower you to build proxies
github.com·22h·
Discuss: Hacker News
🌐Pingora
Elm as target language for vibe coding
interjectedfuture.com·14h
🪄Prompt Engineering
The CSS Cascade Dynasty
seuros.com·20h
🪄Prompt Engineering
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·15h·
Discuss: Hacker News
💻Programming languages
7/7/2025, 2:33:04 PM
aseachange.com·21h
🏠Self-hosting
ReactJS from Zero to Hero Free Online Book
reactz2h.com·1h·
Discuss: Hacker News
🧩Web Components
Bridging the Performance Divide: Backend and Frontend Engineers Must Unite
debugbear.com·2h
🚀Web Performance
Rollback UX: What Fighting Game Netcode Can Teach AI Tool Designers
medium.com·20h·
Discuss: Hacker News
🪄Prompt Engineering
Toward a Definition of AGI
kill-the-newsletter.com·20h
💳Content Monetization
Introducing Tyr, a new Rust DRM driver
collabora.com·21h·
Discuss: Hacker News, r/linux
🔬Rust Profiling
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·8h
💻Programming languages
(Kramer UI for Ollama) I was tired of dealing with Docker, so I built a simple, portable Windows UI for Ollama.
reddit.com·21h·
Discuss: r/LocalLLaMA
🔧Developer tools
Reverse proxy deep dive
medium.com·7h·
Discuss: Hacker News, r/programming
📡Network Latency
Build Your Own Full-Text Search CMS with Neon and pg_search
neon.com·19h
🔎Meilisearch
I got so tired of manually translating my web apps that I built a bot to do it for me
github.com·20h·
Discuss: r/node
👨‍💻AI Coding