≈
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
961
▲
hamelin_analysis v0.21.6 — Analysis utilities for Hamelin query language
crates.io
·
crate
·
0
·
10h
·
0 comments
962
▲
hamelin_translation v0.21.6 — Lowering and IR for Hamelin query language
crates.io
·
crate
·
0
·
10h
·
0 comments
963
▲
hamelin_executor v0.21.6 — Common package for executing Hamelin across different backends
crates.io
·
crate
·
0
·
10h
·
0 comments
964
▲
hamelin_eval v0.21.6 — Expression evaluation for Hamelin query language
crates.io
·
crate
·
0
·
10h
·
0 comments
965
▲
hamelin_lib v0.21.6 — Core library for Hamelin query language
crates.io
·
crate
·
0
·
10h
·
0 comments
966
▲
Windows Task Scheduler: why your scheduled task doesn't run (and what 0x41303 means)
dev.to
·
rss
·
0
·
11h
·
0 comments
967
▲
Ex-Google DeepMind Researcher Also Warns AI Could 'Kill All Humans'. But Meta's Zuckerberg Believes Safety is Up to Each AI Company
slashdot.org
·
rss
·
0
·
11h
·
0 comments
968
▲
Your AI Can Ship 100x Faster. That's Exactly Why Nobody Trusts What You Ship.
dev.to
·
rss
·
0
·
11h
·
0 comments
969
▲
Improved Bounds on the Szeged-Wiener Gap and the BKLPS Conjecture
arxiv.org
·
paper
·
0
·
1d
·
0 comments
970
▲
Switching graphs and designs
arxiv.org
·
paper
·
0
·
1d
·
0 comments
971
▲
Is the Signed Zarankiewicz Number the Same as the Recursive-line Zarankiewicz Number?
arxiv.org
·
paper
·
0
·
1d
·
0 comments
972
▲
So's Conjecture for Integral Circulant Graphs of Order p^aq
arxiv.org
·
paper
·
0
·
1d
·
0 comments
973
▲
The Outer Multiset Dimension of Toroidal Grids
arxiv.org
·
paper
·
0
·
1d
·
0 comments
974
▲
Two-sided linear hashing and quadratic density bounds for smooth lattice coverings
arxiv.org
·
paper
·
0
·
22h
·
0 comments
975
▲
A complete classification of permutation binomials of the form $X^r(X^{q-1}+a)$ over finite fields
arxiv.org
·
paper
·
0
·
22h
·
0 comments
976
▲
Brown-Gerver-Ramsey Theorems in Small Dimensions
arxiv.org
·
paper
·
0
·
22h
·
0 comments
977
▲
VERA: Reinforcement Learning for Dynamic Memory Scaling of HPC Workloads in Kubernetes
arxiv.org
·
paper
·
0
·
1d
·
0 comments
978
▲
Efficiently Distributed Federated Learning
arxiv.org
·
paper
·
0
·
1d
·
0 comments
979
▲
P-GADMM: Parallel Group-Based ADMM for Asynchronous Optimization in Heterogeneous Edge Networks
arxiv.org
·
paper
·
0
·
1d
·
0 comments
980
▲
Distributed Edge Inference: an Experimental Study on Multiview Detection
arxiv.org
·
paper
·
0
·
1d
·
0 comments
981
▲
XIR: A Framework for Interoperability across Cross-Chain Protocols Based on a Verifiable Intermediate Representation
arxiv.org
·
paper
·
0
·
1d
·
0 comments
982
▲
FedeRICo: Federated Region-Influenced Coupling for Traffic Flow Prediction
arxiv.org
·
paper
·
0
·
1d
·
0 comments
983
▲
Competition, Collusion, and Corruption: The Spectrum of MEV Attacks on DAG-Based BFT Consensus Protocols
arxiv.org
·
paper
·
0
·
1d
·
0 comments
984
▲
MTVA-Bench: Evaluating the Language Model Inside Cascaded Voice Agents
arxiv.org
·
paper
·
0
·
23h
·
0 comments
985
▲
QUALS: Corpus Equilibrium for Universal Forecasting via Pattern Quantization and Learnability Synchronization
arxiv.org
·
paper
·
0
·
23h
·
0 comments
986
▲
NeuSOGA3D: A Neuro-Symbolic Framework for Explainable 3D Geometric Reconstruction
arxiv.org
·
paper
·
0
·
23h
·
0 comments
987
▲
Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG
arxiv.org
·
paper
·
0
·
23h
·
0 comments
988
▲
STR-Agent: An LLM-Driven Agent for QoS-Aware Routing in LEO Satellite Networks
arxiv.org
·
paper
·
0
·
22h
·
0 comments
989
▲
A Qualitative Model for Reasoning about Path and Support
arxiv.org
·
paper
·
0
·
22h
·
0 comments
990
▲
Generating Heterogeneous 3D Geological Microstructures from 2D Images via a Stable Diffusion-Adversarial Model
arxiv.org
·
paper
·
0
·
22h
·
0 comments
more →
