🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⛪ Church Encoding

Lambda Calculus, Data Representation, Functional Encoding, Type Theory

Trying to Make Sense of Casing Conventions on the Web
blog.jim-nielsen.com·1d·
Discuss: Lobsters, Hacker News
🛡️Security Headers
garbage collection
jwz.org·3d
🧠Memory Allocators
Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·13h·
Discuss: Hacker News
🌍Cultural Algorithms
Incremental query updating in adhesive categories
topos.institute·5d
🔗Combinatory Logic
Hitting Peak File IO Performance with Zig
steelcake.com·1d·
Discuss: Hacker News
⚡Performance Tools
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·5d·
Discuss: Hacker News
🔍Type Inference
Object Creation: The Issues I Faced and the Patterns That Helped Me
hackernoon.com·1d
🔓Reverse engineering
Raylib helpers for Go
reddit.com·2d·
Discuss: r/golang
λLambda Formalization
Civics Is Boring. So, Let's Encrypt Something
queue.acm.org·3d·
Discuss: Hacker News
🔒Language-based security
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
arxiv.org·1d
🕳️Persistent Homology
Go from Zero to a Full-Stack, Type-Safe, Cross-Platform App in Seconds
dev.to·3h·
Discuss: DEV
🔄Language Evolution
Synthetic generation of online social networks through homophily
arxiv.org·1d
🗜️Graph Compression
Graphical Quadratic Algebra
arxiv.org·1d
🔄Graph Rewriting
Semantic Analysis of SNOMED CT Concept Co-occurrences in Clinical Documentation using MIMIC-IV
arxiv.org·23h
🔢Denotational Semantics
chDzDT: Word-level morphology-aware language model for Algerian social media text
arxiv.org·2d
📝Concrete Syntax
LibriQuote: A Speech Dataset of Fictional Character Utterances for Expressive Zero-Shot Speech Synthesis
arxiv.org·23h
🗣️CMU Pronouncing
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·19h·
Discuss: DEV
✅Format Verification
Nonnegative matrix factorization and the principle of the common cause
arxiv.org·23h
🔍Vector Forensics
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·1d·
Discuss: DEV
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap