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

40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·1d·
Discuss: Hacker News, shkspr.mobi
📏Code Metrics
ngn/k tutorial
razetime.github.io·2d
🔗Concatenative Programming
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·13h·
Discuss: Hacker News
🛡️Preservation Proofs
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Algorithmic Randomness and Probabilistic Laws
arxiv.org·1d
🧮Kolmogorov Complexity
Unleash Real-Time AI: Open Source Tools Supercharge Embedded Inference by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
📊Quantization
How AI Reasoning Mirrors Borge's Library of Babel
hackernoon.com·2d
🧮Kolmogorov Complexity
How big are our embeddings now and why?
newsletter.vickiboykis.com·23h·
Discuss: Lobsters, Hacker News
🗂️Vector Databases
S2M2ECG: Spatio-temporal bi-directional State Space Model Enabled Multi-branch Mamba for ECG
arxiv.org·16h
📈Time Series
STRive: An association rule-based system for the exploration of spatiotemporal categorical data
arxiv.org·16h
🕵️Metadata Mining
Approximate constrained stochastic optimal control via parameterized input inference
arxiv.org·16h
🔄Finite State Machines
LINKER: Learning Interactions Between Functional Groups and Residues With Chemical Knowledge-Enhanced Reasoning and Explainability
arxiv.org·16h
🕸️Algebraic Topology
Formal Verification of Isothermal Chemical Reactors
arxiv.org·1d
👑Isabelle/HOL
Casual Productivity with LLMs
kylekukshtel.com·2d·
Discuss: Hacker News
🦀Rust Macros
AI Self-preferencing in Algorithmic Hiring: Empirical Evidence and Insights
arxiv.org·1d
👤Search Personalization
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·16h
🧪CBOR Fuzzing
ProCause: Generating Counterfactual Outcomes to Evaluate Prescriptive Process Monitoring Methods
arxiv.org·1d
⚡Proof Automation
3 Greedy Algorithms for Decision Trees, Explained with Examples
towardsdatascience.com·2d
🌳Huffman Trees
AI-Driven Dynamic Resource Allocation for Optimal Inter-Agency Collaboration in Disaster Response
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
arxiv.org·16h
💧Liquid Types
Loading...Loading more...
AboutBlogChangelogRoadmap