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

CSS Elevator: A Pure CSS State Machine With Floor Navigation
css-tricks.com·7h
🎯Gradual Typing
Show HN: A minimal TS library that generates prompt injection attacks
prompt-injector.blueprintlab.io·7h·
Discuss: Hacker News
🛡️CLI Security
Launch HN: Dedalus Labs (YC S25) – Vercel for Agents
news.ycombinator.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Notepad – The internet's most versatile HTML editor
notepad.org·2h·
Discuss: Hacker News
📝Punctuation Engines
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
How GitHub Models can help open source maintainers focus on what matters
github.blog·1d·
Discuss: Hacker News
🌿git
Context Engineering 101: What We Can Learn from Anthropic
omnigeorgio.beehiiv.com·23h·
Discuss: Hacker News
✨Algebraic Effects
Measuring LLM citations with server logs might not work as assumed
agentberlin.ai·1d·
Discuss: Hacker News
🔃Feed Algorithms
The 61% Threshold: How I Discovered Consciousness Leaves Mathematical Signatures
dev.to·8h·
Discuss: DEV
📐Mathematical Art
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·1d
🔍Vector Forensics
Applying KISS, DRY, and LOD Principles in Go
dev.to·1d·
Discuss: DEV
⚖️Hoare Logic
How To Use LLMs: Retrieval-Augmented Generation (RAG Systems)
dev.to·9h·
Discuss: DEV
📊Multi-vector RAG
Programming in 2030: will devs still code, or just babysit AI?
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Generative Interfaces for Language Models
arxiv.org·2d
⚙️Parser Generators
Show HN: HTML-to-docx – generate word docs from HTML (MIT Licensed)
github.com·2d·
Discuss: Hacker News
🖋Typography
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·2d
🧠Intelligence Compression
Python, JavaScript, TypeScript? My no-BS guide to picking a language that lasts
dev.to·1d·
Discuss: DEV
🔄Language Evolution
JSON Prompting: Why Structured Communication with AI Gets Better Results
dev.to·12h·
Discuss: DEV
🔗Hypermedia APIs
Should LLMs be WEIRD? Exploring WEIRDness and Human Rights in Large Language Models
arxiv.org·1d
💻Local LLMs
Training with Explanations Alone: A New Paradigm to Prevent Shortcut Learning
arxiv.org·1d
📊Learned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap