🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Formalization

Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides

Computational phylogeny of Indo-European
languagelog.ldc.upenn.edu·2d
🔤Morphological Analysis
How I Transformed My Flat into a Smart Home with Home Assistant
jonathas.com·15m·
Discuss: Hacker News, r/selfhosted
🏠Home Automation
Spark AI (YC W24) is hiring a full-stack engineer in SF (founding team)
ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
A brief introduction to MCP server performance optimization
catchmetrics.io·1d·
Discuss: Hacker News
👁️Observatory Systems
The Story of Max, a Real Programmer
incoherency.co.uk·4h·
Discuss: Hacker News
🦀Rust Macros
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·3d
🌊Streaming Systems
DARF: A Concept-First Blueprint for Android-Native Distributed Rendering
dev.to·12h·
Discuss: DEV
🦀Rust Borrowing
Show HN: Ape – Minimalistic modal text editor written in F#
github.com·11h·
Discuss: Hacker News
🪟Awesome windows command-line
Exploring File System Basics in Node.js
dev.to·21h·
Discuss: DEV
💾File Formats
HarmonyOS Terms – Developer Rant Edition
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·3d
📐Error Bounds
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Machine Learning Fundamentals: anomaly detection example
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·3d
🧠Intelligence Compression
Single Core Hundred Thousand Concurrency(1750947668443300)
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Decoding the Human Language: An Introduction to Natural Language Processing (NLP) Fundamentals
dev.to·2d·
Discuss: DEV
📝Text Parsing
What I Wish I Knew Before Building My First Client Website
dev.to·1d·
Discuss: DEV
✅Format Verification
Claude Code: 3 Hard Realities Nobody Talks About
dev.to·2h·
Discuss: DEV
💾Persistence Strategies
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·4d
🎙️Whisper
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·4d
🔗Topological Sorting
Loading...Loading more...
AboutBlogChangelogRoadmap