Feeds to Scour
SubscribedAll
Scoured 7389 posts in 138.9 ms
Coexact completion of profinite Heyting algebras and uniform interpolation  🔤Kleene Algebra
arxiv.org·4d
Announcing the future of Orchestrator: ProxySQL takes takes the helm  🌐ActivityPub
proxysql.com·1d·Hacker News
The first non-mammalian synapsid embryo from the Triassic of South Africa  🔲Cellular Automata
journals.plos.org·4d
Incremental Lambda Calculus  λFunctional Programming
inc-lc.github.io·4d·Hacker News
Vision Transformers for Preoperative CT-Based Prediction of Histopathologic Chemotherapy Response Score in High-Grade Serous Ovarian Carcinoma  📐Linear Algebra
arxiv.org·1d
Topology Identification of Dynamical Signed Graphs  🕸️Graph Theory
arxiv.org·1d
The AI Codebase Maturity Model: From Assisted Coding to Self-Sustaining Systems  🤖Program Synthesis
arxiv.org·1d
Munkres' General Topology Autoformalized in Isabelle/HOL  🎨GADTs
arxiv.org·4d
Structure-Aware Fine-Grained Gaussian Splatting for Expressive Avatar Reconstruction  🧠Apple Neural Engine
arxiv.org·1d
Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning  📐Denotational Semantics
arxiv.org·5d
On the Role of DAG topology in Energy-Aware Cloud Scheduling : A GNN-Based Deep Reinforcement Learning Approach  🕸️Graph Theory
arxiv.org·1d
Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability  🌊Coalgebra
arxiv.org·6d
Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning  🧮SMT Solvers
arxiv.org·6d
Hierarchical Mesh Transformers with Topology-Guided Pretraining for Morphometric Analysis of Brain Structures  🕸️Graph Theory
arxiv.org·6d
MedGemma 1.5 Technical Report  📦Opam
arxiv.org·6d
Uniformly Bounded Cochain Extensions and Uniform Poincar\'e Inequalities  ≤Order Theory
arxiv.org·6d
Graph Topology Information Enhanced Heterogeneous Graph Representation Learning  🕸️Graph Theory
arxiv.org·6d
FlowExtract: Procedural Knowledge Extraction from Maintenance Flowcharts  🧠Automated Reasoning
arxiv.org·5d
Foundry: Template-Based CUDA Graph Context Materialization for Fast LLM Serving Cold Start  🔀OCaml Multicore
arxiv.org·5d
Hallucination as output-boundary misclassification: a composite abstention architecture for language models  📚Automata Learning
arxiv.org·5d

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help