🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🤝 Unification Algorithms

Type Inference, Pattern Matching, Logic Programming, Term Unification

Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Open Sesame: Poems with Entropy
benwr.net·51m·
Discuss: Lobsters, Hacker News
🔓Password Cracking
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
AtCoder Finals Problem Statement
atcoder.jp·11h·
Discuss: Hacker News
🇯🇵Japanese Computing
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·12h·
Discuss: Hacker News
🦋Format Metamorphosis
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·1h·
Discuss: DEV
🔗Topological Sorting
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1h
🤐Secure Multiparty
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·1d
🕸️Neo4j
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·1h
🔲Cellular Automata
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Machine Learning Fundamentals: dimensionality reduction example
dev.to·13h·
Discuss: DEV
📐Vector Dimensionality
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·1d
🌈Color Science
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·1d
✨Effect Handlers
Sandboxing AI - Extending AI Responsibly
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🔲Proof Irrelevance
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·1d
🧮Kolmogorov Complexity
Building an AI-Powered Image Search Engine with Daft.ai
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.org·1h
📊Learned Metrics
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·1h
⚖️Feed Ranking
Loading...Loading more...
AboutBlogChangelogRoadmap