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

Coping with Complexity
slott56.github.io·5d
🔗Concatenative Programming
DEVONthink 4.0 Copernicus
devontechnologies.com·17h·
Discuss: Hacker News
🕸️Knowledge Graphs
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·14h·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Using Amazon SageMaker AI Random Cut Forest for NASA’s Blue Origin spacecraft sensor data
aws.amazon.com·12h
🌀Differential Geometry
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·8h·
Discuss: DEV
🔍BitFunnel
Machine Learning Fundamentals: active learning
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Memory Safety in Web Rust System Zero Cost Secure(1750885516953300)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·1d
🔍BitFunnel
Single Core Hundred Thousand Concurrency(1750947668443300)
dev.to·13h·
Discuss: DEV
🌊Stream Processing
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·14h·
Discuss: DEV
🌊Stream Ciphers
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·3d
🎯Performance Proofs
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·3d
💻Local LLMs
On Union-Closedness of Language Generation
arxiv.org·3d
🔗Monadic Parsing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·2d
🔍Concolic Testing
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.org·13m
📊Learned Metrics
Recall and Refine: A Simple but Effective Source-free Open-set Domain Adaptation Framework
arxiv.org·13m
💻Local LLMs
Flame Graph Performance Truth Analysis(1750839255230100)
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Loading...Loading more...
AboutBlogChangelogRoadmap