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

Protect now, reveal later: a scalable Time-Lock Puzzle solution
benthamsgaze.org·2d
🌊Stream Ciphers
Re-Optimizing the CCA on the Genesis
bumbershootsoft.wordpress.com·14h
🎯Emulator Accuracy
Save Your Future: A Realist's Guide to Cyberpunk Survival
news.ycombinator.com·2h·
Discuss: Hacker News
🚀Indie Hacking
Hubert Dreyfus's views on artificial intelligence
en.wikipedia.org·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.com·2d·
Discuss: Hacker News
🔌Interface Evolution
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Ten Dollar Adventure, an interactive kids' book on entrepreneurship
news.ycombinator.com·1d·
Discuss: Hacker News
📕Bookbinding
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Python Constructors and Destructors in Object-Oriented Programming
dev.to·20h·
Discuss: DEV
🧠Memory Allocators
FieldX 0.2.0 released
reddit.com·12h·
Discuss: r/rust
🦀Rust Borrowing
Edge Clique Partition and Cover Beyond Independence
arxiv.org·2d
🕸️Graph Algorithms
Data Types, Data Structures, and Abstract Data Types – What’s the Difference
dev.to·2d·
Discuss: DEV
🧮Algebraic Datatypes
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.org·2d
📊Learned Metrics
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record(1751009131538400)
dev.to·2d·
Discuss: DEV
🎬WebCodecs API
Why MindsDB is the Fastest Way to Build AI Agents Today
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·5d
💻Programming languages
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·5d
🔍Type Inference
From Manual API Testing to AI-Powered Automation with Keploy
dev.to·5h·
Discuss: DEV
⚡Proof Automation
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·2d
🧠Machine Learning
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.org·2d
🔍Information Retrieval
Loading...Loading more...
AboutBlogChangelogRoadmap