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

Reflections on the 2025 IIPC General Assembly and Web Archiving Conference
netpreserveblog.wordpress.com·5h
🔄Archival Workflows
Double Maths First Thing: Issue 33
aperiodical.com·2d
📐Mathematical Art
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·3d
🦀Rust Macros
Learning web development: Plain objects in JavaScript
2ality.com·2d
🔓Reverse engineering
Forget Vector Databases: RAG with Just SQL and LLM
risingwave.com·1d·
Discuss: Hacker News
🔗Hypermedia APIs
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·2d·
Discuss: Hacker News
🔄Language Evolution
The Question Is the Answer: Why Deviation Is How Everything Learns
zakelfassi.com·5h·
Discuss: Hacker News
🔲Cellular Automata
GPUPrefixSums – state of the art GPU prefix sum algorithms
github.com·1d·
Discuss: Hacker News
⚡Cache Coherence
Building Scales4U: A Journey Through Precision, Code, and Challenges
dev.to·15h·
Discuss: DEV
🌀Brotli Internals
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·2d
🧠Machine Learning
Design and Analysis of the Tail Sequence for Short LDPC-Coded Space Communications
arxiv.org·2d
🌊Stream Ciphers
CORE: Lossless Compression for Retrieval-Augmented LLMs via Reinforcement Learning
arxiv.org·2d
⚙️Compression Benchmarking
The Next Layer: Augmenting Foundation Models with Structure-Preserving and Attention-Guided Learning for Local Patches to Global Context Awareness in Computatio...
arxiv.org·2d
🧠Machine Learning
Model inference, model products, and AI applications
frontierai.substack.com·1d·
Discuss: Substack
🔌Interface Evolution
Deciphering NLR Decoy Domain Dynamics via Multi-scale Bayesian Network Inference
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
The One-Line Fix That Saved Me Hours of Debugging
dev.to·18h·
Discuss: DEV
🧪Binary Fuzzing
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·4d
🧠Machine Learning
Mastering Prompt Design for Smarter AI Assistants in 2025
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Inference-Time Alignment Control for Diffusion Models with Reinforcement Learning Guidance
arxiv.org·1d
🔲Cellular Automata
Show HN: NimbleTools – A K8s runtime for securely scaling MCP servers
github.com·11h·
Discuss: Hacker News
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap