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

Song recommendations with pipes and filters
blog.ploeh.dk·2d
λLambda Formalization
Moan-routine: LO's Predicate Signatures
lmika.org·5d
🔗Functional Compilers
Python Scope and the LEGB Rule: Resolving Names in Your Code
realpython.com·2h
🦀Rust Macros
Proof by Intimidation
en.wikipedia.org·7h·
Discuss: Hacker News
🎯Proof Tactics
The “Biggest” AI That Came Out Of Nowhere!
youtube.com·1d
🔲Cellular Automata
"high level" languages are easier to optimize
jyn.dev·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔨Compilers
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·1d
✨Effect Handlers
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.org·12h
🔨Compilers
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·12h
🌈Color Science
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·12h
🔲Cellular Automata
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·2d
🔐Cryptographic Archaeology
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·1h·
Discuss: DEV
🧭Content Discovery
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·12h
💾Binary Linguistics
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·12h
🎼Computational Musicology
Generative SQL: How LLMs are transforming query development and unlocking data agility in the energy sector
dev.to·1d·
Discuss: DEV
📋Document Grammar
The Shape of Deceit: Behavioral Consistency and Fragility in Money Laundering Patterns
arxiv.org·12h
🔗Hash Chains
Massively parallel and universal approximation of nonlinear functions using diffractive processors
arxiv.org·2d
🌀Fractal Compression
Outlearn, Outwrite, Outwork: The AI Advantage You’re Missing
dev.to·4h·
Discuss: DEV
🧠Intelligence Compression
What are Matrix Operations?
dev.to·14h·
Discuss: DEV
📐Linear Algebra
"high level" languages are easier to optimize
jyn.dev·4d·
Discuss: Hacker News
🔨Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap