🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Encodings

Church Numerals, SKI Combinators, Functional Programming, Type Theory

Bots account for almost a third of web traffic
flowingdata.com·9h
🌐WARC Forensics
How Pixel and Android are bringing a new level of trust to your images with C2PA Content Credentials
security.googleblog.com·2h·
Discuss: www.blogger.com
🎬WebCodecs
Phytoplankton communities can transform in just days, study reveals
phys.org·4h
💧Manuscript Watermarks
Footnotes to the week: Zen painting, the size of sets, Maddy
logicmatters.net·4d
🏗️Constructive Mathematics
Quantifying Love: A Data Analysis of the Many Names of Love in Arabic Poetry
quantifiedcuriosities.com·1d·
Discuss: Hacker News
🔤Morphological Analysis
Geometric and physical interpretation of the action principle
nature.com·1d·
Discuss: Hacker News
📚Archival Mathematics
Rust compiler performance survey 2025 results
blog.rust-lang.org·18h·
Discuss: Hacker News, r/rust
🦀Rust Macros
Show HN: My portfolio in the style of a campy early-internet Geocities site
jmkod.es·2d·
Discuss: Hacker News
🚀Indie Hacking
Building a Multilingual Blog with FastHTML
simn.fr·2d·
Discuss: Hacker News
🦋Format Metamorphosis
I'm Using Perplexity
fldr.zip·2d·
Discuss: Hacker News
🔍BitFunnel
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
⚙️Proof Engineering
The Adonai Algorithm
dev.to·4d·
Discuss: DEV
🎨Graph Coloring
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🦀Embedded Rust
A Maslow-Inspired Hierarchy of Engagement with AI Model
arxiv.org·14h
🔲Cellular Automata
Language Native Lightly Structured Databases for Large Language Model Driven Composite Materials Research
arxiv.org·1d
🗂️Vector Databases
Neurocognitive Modeling for Text Generation: Deep Learning Architecture for EEG Data
arxiv.org·14h
🤖Advanced OCR
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·1d
✨Effect Handlers
CTourLLM: Enhancing LLMs with Chinese Tourism Knowledge
arxiv.org·14h
🔍Information Retrieval
The End-to-End Data Scientist’s Prompt Playbook
towardsdatascience.com·2d
⚡Proof Automation
An Analysis of Layer-Freezing Strategies for Enhanced Transfer Learning in YOLO Architectures
arxiv.org·1d
🧮Kolmogorov Bounds
Loading...Loading more...
AboutBlogChangelogRoadmap