🐿️ 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

How to Make Claude Code Use Other Models
pixelstech.net·3d
🔓Open Source Software
Using Postgres over Apache Kafka
rudderstack.com·4h·
Discuss: Hacker News
🌊Streaming Systems
LangChain vs. Langfuse: Key Differences and Their Role in LLM App Development
wizardlabs.com·2d·
Discuss: Hacker News
✨Algebraic Effects
Using LLMs in CI/CD for semantic testing of web content
plo.ug·4d·
Discuss: Hacker News
⚡Proof Automation
Can We Make AI Green? Big AI Sustainability Questions, Answered by Fastly’s Co-Founder
fastly.com·18h
🌊Stream Processing
Sticky snap: a better snapping algorithm
jameshfisher.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
[R] LSTM or Transformer as "malware packer"
reddit.com·1d·
Discuss: r/MachineLearning
🔍BitFunnel
A Framework for Multi-source Privacy Preserving Epidemic Analysis
arxiv.org·14h
🔒Privacy Preserving
Beyond Speed: A Smarter Framework for Measuring AI Developer Efficiency
dev.to·2d·
Discuss: DEV
📏Code Metrics
**Building a Concurrent Caching System in Go: 500K+ Operations Per Second Performance**
dev.to·1d·
Discuss: DEV
⚡Cache Coherence
How Simple Animations Can Make a Big Impact on Your Website
dev.to·2h·
Discuss: DEV
📟Terminal Typography
🔥 Claude + Filesystem MCP: Superpower File Management Using AI
dev.to·7h·
Discuss: DEV
🪟Awesome windows command-line
Adding Sessions and Memory to Your AI Agent with Agent Development Kit (ADK)
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
I implemented database in Go - learned some hard lessons about transparency along the way
reddit.com·3d·
Discuss: r/golang
🗄️Database Internals
🧠 Rakupa: Building an AI-Powered CV Ranking System Using MindsDB & Gemini
dev.to·6h·
Discuss: DEV
🎯Retrieval Systems
Critical Security Importance Digital Age Web Techniques(1751287605550100)
dev.to·5h·
Discuss: DEV
🔒WASM Capabilities
5 Tools That Helped Me Catch 70% More Bugs in the Codebase [Important!]
dev.to·3h·
Discuss: DEV
👁️System Observability
What If You Could Skip the Backend in AI dApp Development?
dev.to·8h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1751016812847900)
dev.to·3d·
Discuss: DEV
🌐Network Protocols
Shifting Narratives: A Longitudinal Analysis of Media Trends and Public Attitudes on Homelessness
arxiv.org·14h
🏛Digital humanities
Loading...Loading more...
AboutBlogChangelogRoadmap