Vanishing of Schubert coefficients in probabilistic polynomial time
arxiv.org·13h
🧮Combinator Calculus
LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
arxiv.org·13h
🔒Rust Borrowing
Hyperbolic Sets in Incomplete Tables
arxiv.org·13h
📐Succinct Data Structures
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·13h
🎲Property Testing
Substrate-Timing-Independence for Meta-State Stability of Distributed Robotic Swarms
arxiv.org·13h
🏰Capability Machines
Generalized DP-colorings of digraphs
arxiv.org·13h
🎨Graph Coloring
Deep Synthetic Cross-Project Approaches for Software Reliability Growth Modeling
arxiv.org·13h
📊Code Metrics
Self-Supervised Learning of Graph Representations for Network Intrusion Detection
arxiv.org·13h
🗺️Region Inference
A Comparative Study of Different Edit Distance-Based Methods for Feature Tracking using Merge Trees on Time-Varying Scalar Fields
arxiv.org·13h
🌳Tree Algorithms
r/AI_Central
reddit.com·11h·
Discuss: r/AI_Central
🧠Memory Models
Virtual Arc Consistency for Linear Constraints inCost Function Networks
arxiv.org·13h
🧩Constraint Solvers
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference
Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
arxiv.org·13h
🎨Domain-Specific Languages
GraphWeave: Interpretable and Robust Graph Generation via Random Walk Trajectories
arxiv.org·13h
🪢Rope Data Structures
Unlocking Schedules: Visualizing Constraint Conflicts with Graph-Based Analysis by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
🎨Graph Coloring
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·6h·
Discuss: DEV
🔀Control Structures
Graph Harmony: Harmonizing Global and Local Views for Superior Clustering
dev.to·1d·
Discuss: DEV
📈Earley Parsing
Minimizing an Uncrossed Collection of Drawings
arxiv.org·13h
🗺️Graph Traversal
Selective Population Protocols
arxiv.org·13h
📡Async Channels
LLM Features That Ship: Extraction, Generation, and Classification
alex-jacobs.com·1h·
Discuss: Hacker News
🎮Language Ergonomics