🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Language Theory

Type Systems, Formal Methods, Lambda Calculus, Category Theory

‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·1d·
Discuss: Hacker News
🧩programming
Bangladesh issues global call on Rohingya crisis
aljazeera.com·1d
📡RSS
Poor Man’s Feast: Beauty is the Language of Care
printmag.com·1d
🔱plan 9
A Systematic Mapping Study on Smart Cities Modeling Approaches
arxiv.org·2d
🌐Network Protocols
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·6d
⚙️Compilers
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.org·6d
⚙️Compilers
Integrative Experiments Identify How Punishment Impacts Welfare in Public Goods Games
arxiv.org·1d
⚙️Compilers
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·4d·
Discuss: Hacker News
🧩programming
Honeybees adapt to a range of comb cell sizes by merging, tilting, and layering their construction
journals.plos.org·16h
🧩programming
Risk-Averse and Optimistic Advertiser Incentive Compatibility in Auto-bidding
arxiv.org·1d
🌐Network Protocols
Optimizing the Design of an Artificial Pancreas to Improve Diabetes Management
arxiv.org·1d
⚙️Compilers
Inaccuracy of Ensemble-Based Covariance Propagation, Beyond Sampling Error
arxiv.org·2d
🌐Network Protocols
Automated Multi-label Classification of Eleven Retinal Diseases: A Benchmark of Modern Architectures and a Meta-Ensemble on a Large Synthetic Dataset
arxiv.org·2d
⚙️Compilers
Cross-Attention Multimodal Fusion for Breast Cancer Diagnosis: Integrating Mammography and Clinical Data with Explainability
arxiv.org·2d
🎨Graphics Programming
CE-RS-SBCIT A Novel Channel Enhanced Hybrid CNN Transformer with Residual, Spatial, and Boundary-Aware Learning for Brain Tumor MRI Analysis
arxiv.org·1d
🌐Network Protocols
Advancing Weakly-Supervised Change Detection in Satellite Images via Adversarial Class Prompting
arxiv.org·1d
⚙️Compilers
SafeBimanual: Diffusion-based Trajectory Optimization for Safe Bimanual Manipulation
arxiv.org·1d
🎨Graphics Programming
Benchmarking Computer Science Survey Generation
arxiv.org·5d
⚙️Compilers
Caregiver-in-the-Loop AI: A Simulation-Based Feasibility Study for Dementia Task Verification
arxiv.org·1d
⚙️Compilers
A deep reinforcement learning agent trained for interval timing exhibits similarities to biological systems
arxiv.org·2d
🌐Network Protocols
Loading...Loading more...
AboutBlogChangelogRoadmap