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

How Pixel and Android are bringing a new level of trust to your images with C2PA Content Credentials
security.googleblog.com·13h·
Discuss: www.blogger.com
🎬WebCodecs
Saving Energy in Self-Hosting, Wake-on-LAN, and Rust
guibeira.dev·2d·
Discuss: Hacker News
🏠HomeLab
Web publishers roll out licensing protocol, pressuring AI companies to pay for scraped data
techspot.com·11h
📰RSS Archaeology
You and Your Local Gradient
whybyfire.net·7h·
Discuss: Hacker News
🎯Content Recommendation
Go Is the Language of Vibe Coding
sinwoobang.notion.site·3d·
Discuss: Hacker News
📜Proof Carrying Code
Gina Trapani returns to blogging after a decade away
notetoself.studio·1d
🎯Content Recommendation
Stop chatting Constrained VS Unconstrained LLM use cases
medium.com·2d·
Discuss: Hacker News
💻Local LLMs
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·6d·
Discuss: Hacker News
📏Linear Logic
The Aider Local Model Experience
hexeditreality.com·5d·
Discuss: Hacker News
⚡Proof Automation
Show HN: Real-time Collaboration for Django Admin (open-source)
github.com·22h·
Discuss: Hacker News
🔄Sync Engine
Knowledge Isn't Power: The Ethics of Social Robots and the Difficulty of Informed Consent
arxiv.org·1d
🔲Cellular Automata
Methodological Insights into Structural Causal Modelling and Uncertainty-Aware Forecasting for Economic Indicators
arxiv.org·1d
🧠Machine Learning
In the Eye of MLLM: Benchmarking Egocentric Video Intent Understanding with Gaze-Guided Prompting
arxiv.org·1d
📊Learned Metrics
Recognition-based Interactive Greeting System
hackster.io·2d
⚡Homebrew CPUs
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·6d
🏛Digital humanities
The Go Paradox: Why Fewer Features Create a Better Language for Senior Developers
dev.to·4d·
Discuss: DEV
💻Programming languages
Causal Multi-fidelity Surrogate Forward and Inverse Models for ICF Implosions
arxiv.org·2d
⚙️Tape Engineering
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·2d
📊Computational Geometry
Let's Make It Easy M-C-Peasy
dev.to·1d·
Discuss: DEV
🌐Protocol Synthesis
🧠Loop of Truth: From Loose Tricks to Structured Reasoning
dev.to·3d·
Discuss: DEV
📏Linear Logic
Loading...Loading more...
AboutBlogChangelogRoadmap