๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŒ‰ Galois Connections

Abstract Interpretation, Monotone Functions, Lattice Theory, Program Analysis

Enclosures that minimize the sum of area and perimeter
11011110.github.ioยท1d
๐Ÿ“ŠComputational Geometry
10 Useful NumPy One-Liners for Time Series Analysis
machinelearningmastery.comยท7h
๐Ÿ“ˆTime Series
Trust Spanning Protocol (TSP) Specification
trustoverip.github.ioยท1dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Accelerating legacy code modernization: EPAMโ€™s journey with Amazon Q Developer
aws.amazon.comยท20h
๐Ÿ”„Reproducible Builds
Rediscovering joy in learning: Jason Lengstorf on the state of development
github.blogยท2h
โš™๏ธBuild Archaeology
The Baby Paradox in Haskell
blog.jle.imยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฒProof Irrelevance
Lessons from AI Safety for Businesses
svana.nameยท4dยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Architecting Beliefs for a Contested World
vasily.ccยท1dยท
Discuss: Hacker News
โš™๏ธsystems theory
Understanding Convolutions: The Sliding Window of Insight
dev.toยท1dยท
Discuss: DEV
๐Ÿง Machine Learning
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.orgยท15h
๐Ÿง Intelligence Compression
LLM-Based Agents for Competitive Landscape Mapping in Drug Asset Due Diligence
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Benchmarking Class Activation Map Methods for Explainable Brain Hemorrhage Classification on Hemorica Dataset
arxiv.orgยท15h
๐Ÿง Machine Learning
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.orgยท6d
๐ŸŽฏPerformance Proofs
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.orgยท6d
โšกDependent Rust
FRAME : Comprehensive Risk Assessment Framework for Adversarial Machine Learning Threats
arxiv.orgยท15h
๐Ÿฆ Malware Analysis
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.toยท2dยท
Discuss: DEV
โœ“Automated Theorem Proving
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.orgยท15h
๐ŸŒCultural Algorithms
An Auditable Pipeline for Fuzzy Full-Text Screening in Systematic Reviews: Integrating Contrastive Semantic Highlighting and LLM Judgment
arxiv.orgยท1d
๐Ÿ”Information Retrieval
NinA: Normalizing Flows in Action. Training VLA Models with Normalizing Flows
arxiv.orgยท15h
๐ŸŽ™๏ธWhisper
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.orgยท15h
๐Ÿง Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap