🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
👑 Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

Progress on AI Preferences
ietf.org·21h
🔌Interface Evolution
Books curious minds wished they'd discovered sooner
newsletter.weeklyfilet.com·1d·
Discuss: Hacker News
⭐Awesome lists
Joint Force - 2025 Ebitengine game jam entry
rocketnine.itch.io·21h·
Discuss: r/Android, r/golang, r/linux, r/opensource
🎯Proof Tactics
RAG Blueprint
docs.vespa.ai·3d·
Discuss: Hacker News
🤖Archive Automation
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·4d
🔒Linear Types
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·3d·
Discuss: Hacker News
🧭Content Discovery
Ragged – Leveraging Video Container Formats for Efficient Vector DB Distribution
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Modern Compression
Step-by-Step: Build a Lightweight Search Engine Using Only Node.js
dev.to·1d·
Discuss: DEV
🔍BitFunnel
VMware Fundamentals: Photon Packer Templates
dev.to·16h·
Discuss: DEV
🔐HSM Integration
🚀 Meet Nexent: The Open-Source Agent Platform for Multimodal AI with Zero Code
dev.to·11h·
Discuss: DEV
🔓Open Source Software
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·5d
📏Linear Logic
Agent-to-Agent AI Integration: AWS Security Analysis with AI21 Maestro & Strands Agents
dev.to·6h·
Discuss: DEV
🏠Homelab Orchestration
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·4d·
Discuss: DEV
λLambda Formalization
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·4d·
Discuss: DEV
📋DFDL
Memory Safety in Web Rust System Zero Cost Secure(1750632264828500)
dev.to·6d·
Discuss: DEV
🦀Rust Borrowing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750952117902400)
dev.to·3d·
Discuss: DEV
🌐Network Protocols
Go Worker Pools: Concurrency That Doesn’t Burn Your Kitchen Down
dev.to·2d·
Discuss: DEV
🌊Stream Processing
🐳Longest Subsequence Repeated k Times – LeetCode 2014 (C++ | Python | JavaScript)
dev.to·2d·
Discuss: DEV
λLambda Encodings
Asking the coding community what they want
medium.com·1d·
Discuss: Hacker News
💻Programming languages
Show HN: Self-Hosted OAuth Authentication Library for MCP Servers
github.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap