≈
the.bay
.news
top
new
submit
📡
events
◐
auto
sign in
◉ the bay
all
hn
lobsters
feeds
code
filings
reddit
research
fda
crates
events
hot
new
top
discussed
991
▲
Extended dynamic mode decomposition with Fourier dictionaries: Error bounds and fast implementation
arxiv.org
·
paper
·
0
·
1d
·
0 comments
992
▲
Splyce: SIMD Vectorization of Sparse Coiteration
arxiv.org
·
paper
·
0
·
1d
·
0 comments
993
▲
Detecting Soft Errors in Parallel Software with LLM-tuned Instruction Duplication
arxiv.org
·
paper
·
0
·
1d
·
0 comments
994
▲
Where the LLM Ends and Reliable Decisions Begin
arxiv.org
·
paper
·
0
·
1d
·
0 comments
995
▲
LLVM Translation Validation Automated with Large Language Models and Lean
arxiv.org
·
paper
·
0
·
1d
·
0 comments
996
▲
Theories of Mind as Domain-Specific Languages of Thought
arxiv.org
·
paper
·
0
·
1d
·
0 comments
997
▲
The Output-Space Hypothesis: Enumerative Equivalence Checking for Tensor Programs
arxiv.org
·
paper
·
0
·
1d
·
0 comments
998
▲
Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
arxiv.org
·
paper
·
0
·
1d
·
0 comments
999
▲
How Often Does Your Program Fail?
arxiv.org
·
paper
·
0
·
1d
·
0 comments
1000
▲
Delphi Scanner: efficient and interpretable static malware detection via API sequence modeling
arxiv.org
·
paper
·
0
·
1d
·
0 comments
1001
▲
Mind the Gap: How SBOM Specification Ambiguities Lead to Divergent Software Bills of Materials. An Empirical Tool Study
arxiv.org
·
paper
·
0
·
1d
·
0 comments
1002
▲
On the Leakage of Massey Secret Sharing Schemes under Linear Computations
arxiv.org
·
paper
·
0
·
1d
·
0 comments
1003
▲
JANUS: Denial-of-Service Attack Against Beam Hopping in LEO Satellite Networks
arxiv.org
·
paper
·
0
·
1d
·
0 comments
1004
▲
A Scalable Trust Discovery Architecture for the Internet of Agents
arxiv.org
·
paper
·
0
·
1d
·
0 comments
1005
▲
The More It Says, the More You Pay: A Black-Box Audit of Provider-Side Token Inflation in LLM Services
arxiv.org
·
paper
·
0
·
23h
·
0 comments
1006
▲
Special Lagrangian cones in Deep Learning
arxiv.org
·
paper
·
0
·
1d
·
0 comments
1007
▲
Near-Optimal Pure Single-Loop Extragradient Method for Strongly Convex--Strongly Concave Minimax Optimization
arxiv.org
·
paper
·
0
·
23h
·
0 comments
1008
▲
Sharp Reconstruction Bounds for Autoencoders Using the Same Forward Map
arxiv.org
·
paper
·
0
·
23h
·
0 comments
1009
▲
Detecting Deceptive Recruitment: A Signal-theoretic Machine Learning Framework for Early Identification of Labour Exploitation
arxiv.org
·
paper
·
0
·
23h
·
0 comments
1010
▲
Fast Cross-Strength Multi-Contrast Brain MRI Translation using Latent Bridge Matching
arxiv.org
·
paper
·
0
·
23h
·
0 comments
1011
▲
COMPASS: Ordered Clustered Routing at 100K Scale
arxiv.org
·
paper
·
0
·
23h
·
0 comments
1012
▲
Minimax-Optimal Online Contract Design with Unrestricted Bounded Contracts
arxiv.org
·
paper
·
0
·
23h
·
0 comments
1013
▲
agent-usage 0.10.0: charts by agent, billing domain, and model
dev.to
·
rss
·
0
·
11h
·
0 comments
1014
▲
Every agent PR costs review time even if it never merges
dev.to
·
rss
·
0
·
11h
·
0 comments
1015
▲
bestool v2.1.2 — BES Deployment tooling
crates.io
·
crate
·
0
·
11h
·
0 comments
1016
▲
hamelin_analysis v0.21.6 — Analysis utilities for Hamelin query language
crates.io
·
crate
·
0
·
11h
·
0 comments
1017
▲
hamelin_translation v0.21.6 — Lowering and IR for Hamelin query language
crates.io
·
crate
·
0
·
11h
·
0 comments
1018
▲
hamelin_executor v0.21.6 — Common package for executing Hamelin across different backends
crates.io
·
crate
·
0
·
11h
·
0 comments
1019
▲
hamelin_eval v0.21.6 — Expression evaluation for Hamelin query language
crates.io
·
crate
·
0
·
11h
·
0 comments
1020
▲
hamelin_lib v0.21.6 — Core library for Hamelin query language
crates.io
·
crate
·
0
·
11h
·
0 comments
more →
