🐿️ 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·11h·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Build Your Own Simple Data Pipeline with Python and Docker
kdnuggets.com·2h
🔄Archive Workflows
Dual form Complementary Masking for Domain-Adaptive Image Segmentation
arxiv.org·12h
🤖Advanced OCR
The Power of Building from Scratch
towardsdatascience.com·1d
🌍Cultural Algorithms
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·1d
🧠Machine Learning
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·1d
💻Local LLMs
How I Built a Smarter AI with Neo4j (and Why You Might Want To Too)
dev.to·10h·
Discuss: DEV
🕸️Neo4j
RNAMunin: A Deep Machine Learning Model for Non-coding RNA Discovery
arxiv.org·12h
🤖Paleographic ML
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·12h
🤐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·12h
🔲Cellular Automata
Machine Learning Fundamentals: dimensionality reduction example
dev.to·23h·
Discuss: DEV
📐Vector Dimensionality
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Smarter Code Reviews: OpenAI Meets GitHub PRs
dev.to·6h·
Discuss: DEV
🤖Archive Automation
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
Building an AI-Powered Image Search Engine with Daft.ai
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🔲Proof Irrelevance
Loading...Loading more...
AboutBlogChangelogRoadmap