🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Type Inference

Hindley-Milner, Unification Algorithms, Polymorphism, Constraint Solving

Pydantically perfect: A beginner’s guide to Pydantic for Python type safety
testdouble.com·1d
✅Format Verification
Joint LFCS/AIAI Seminar-Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon
informatics.ed.ac.uk·22h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Polynomial determined by two inputs (2012)
johndcook.com·11h·
Discuss: Hacker News
⚗️Algebraic Coding
Aperiodic Tilings V: the Refinable Frontier
chiark.greenend.org.uk·1d·
Discuss: Lobsters, Hacker News
💎Information Crystallography
What Every Data Scientist Should Know About Graph Transformers
unite.ai·9h·
Discuss: Hacker News
🕸️Graph Embeddings
Data processing pipeline for MIMIC-IV an open electronic health record dataset
proceedings.mlr.press·3h·
Discuss: Hacker News
📊Count-Min Sketch
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·18h·
Discuss: Hacker News
📏Code Metrics
Bootstrapping a Forth for Art
tia.mat.br·3d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
chDzDT: Word-level morphology-aware language model for Algerian social media text
arxiv.org·4h
📝Concrete Syntax
Analysis of Semantic Communication for Logic-based Hypothesis Deduction
arxiv.org·2d
📡Information theory
ACA-Net: Future Graph Learning for Logistical Demand-Supply Forecasting
arxiv.org·4h
🧠Machine Learning
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·4h
⧗Information Bottleneck
Prompting Away Stereotypes? Evaluating Bias in Text-to-Image Models for Occupations
arxiv.org·4h
🏛Digital humanities
Causal SHAP: Feature Attribution with Dependency Awareness through Causal Discovery
arxiv.org·4h
🧠Machine Learning
Is Noisy Data a Blessing in Disguise? A Distributionally Robust Optimization Perspective
arxiv.org·4h
🎯Performance Proofs
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·2d
🔢Denotational Semantics
Community as a Vague Operator: Epistemological Questions for a Critical Heuristics of Community Detection Algorithms
arxiv.org·4h
🌍Cultural Algorithms
Think in Games: Learning to Reason in Games via Reinforcement Learning with Large Language Models
arxiv.org·2d
🔲Cellular Automata
CERA: A Framework for Improved Generalization of Machine Learning Models to Changed Climates
arxiv.org·4h
🧠Machine Learning
Near-Duplicate Text Alignment under Weighted Jaccard Similarity
arxiv.org·4h
🔍MIN-Hash
Loading...Loading more...
AboutBlogChangelogRoadmap