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

On "Chapel Road" Being a Dalkey "Essential"
dalkeyarchive.substack.com·9h·
Discuss: Substack
🏰Manuscript Networks
Getting Started with TypeScript on Fastly Compute
fastly.com·5d
💧Liquid Types
XML External Entity (XXE) Injection in Akamai CloudTest
xbow.com·5h·
Discuss: Hacker News
🧪CBOR Fuzzing
ChatGPT helped me build my first homelab
i.redd.it·1d·
Discuss: r/homelab
🏠Homelab Archaeology
Show HN: EliteSaaS – Self-Contained SaaS Starter (Auth, Billing, Email, Launch)
elitesaas.dev·1d·
Discuss: Hacker News
🚀Indie Hacking
Fighting AI Sycophancy
stephenmwangi.com·1d·
Discuss: Hacker News
⚡Proof Automation
Klirr: invoice automation tool written on Rust using Typst
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Should I be Looking into Custom Metrics or External Metrics?
reddit.com·19h·
Discuss: r/kubernetes
👁️Observatory Systems
🚀 Production-Ready: 6 Advanced Fixes for Your LLMService Class 🚀
dev.to·3d·
Discuss: DEV
💻Local LLMs
Our Journey to 35K+ GitHub Stars: The Real Story of Building Milvus from Scratch
dev.to·13h·
Discuss: DEV
🧬Bitstream Evolution
"🎨 Programming as an Art — A Book Every Young Coder Should Read"
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Making Ansible Snappy, Quiet, and Friendly: A Dev’s Guide to `ansible.cfg`
dev.to·2d·
Discuss: DEV
🤖Network Automation
Day 19: Shipped the frontend, brain officially resigned
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
🧠 Solving LeetCode Until I Become Top 1% — Day `32`
dev.to·3d·
Discuss: DEV
🌳Trie Structures
From Manual Testing Hell to Automated Paradise: How Keploy Revolutionized My Testing Workflow
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Ran out of idea for AI product, so I talked to Gemini
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Building Your Own DSL with @resultBuilder in Swift: HTML Builder
dev.to·2d·
Discuss: DEV
🔤DSLs
Asymmetric Graph Error Control with Low Complexity in Causal Bandits
arxiv.org·20h
🧠Machine Learning
Understanding LLMs & Ideating A Decentralized Approach To Solve Challenges
dev.to·16h·
Discuss: DEV
💻Local LLMs
Flame Graph Performance Truth Analysis(1750991459477100)
dev.to·3d·
Discuss: DEV
⚡Performance Tools
Loading...Loading more...
AboutBlogChangelogRoadmap