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

Show HN: A minimal TS library that generates prompt injection attacks
prompt-injector.blueprintlab.io·4h·
Discuss: Hacker News
🛡️CLI Security
Launch HN: Dedalus Labs (YC S25) – Vercel for Agents
news.ycombinator.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Why APIs Alone Won’t Cut It in the AI Era
devops.com·58m
🔌Interface Evolution
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·21h·
Discuss: Hacker News
🌿git
Context Engineering 101: What We Can Learn from Anthropic
omnigeorgio.beehiiv.com·19h·
Discuss: Hacker News
✨Algebraic Effects
How we oops-proofed infrastructure deletion on Railway
blog.railway.com·1d·
Discuss: Hacker News
📋PREMIS Events
The 61% Threshold: How I Discovered Consciousness Leaves Mathematical Signatures
dev.to·5h·
Discuss: DEV
📐Mathematical Art
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Functional Compilers
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·1d·
Discuss: Substack
🏗️Compiler Archaeology
Java’s not dead, but it’s definitely been zombified
dev.to·5h·
Discuss: DEV
🌊Streaming Systems
SemSR: Semantics aware robust Session-based Recommendations
arxiv.org·13h
🎯Content Recommendation
Using AI to build an AI Security Product
dev.to·3d·
Discuss: DEV
⚡Proof Automation
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·6h·
Discuss: DEV
📊Multi-vector RAG
Programming in 2030: will devs still code, or just babysit AI?
dev.to·2h·
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·1d·
Discuss: Hacker News
🖋Typography
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·2d
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap