๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Type Theory

Dependent Types, Linear Types, Effect Systems, Hindley-Milner

How do you quote a passage that has used '[sic]' mistakenly?
english.stackexchange.comยท10hยท
Discuss: Hacker News
๐Ÿ’ปprogramming
Autistic students say they want schools to focus on their strengths โ€“ not their diagnosis
theconversation.comยท8h
๐Ÿฆ€Rust
mayswind/ezbookkeeping
github.comยท2h
๐Ÿฆ€Rust
Portable Targeted Sampling Framework Using LLVM
arxiv.orgยท32m
๐Ÿฆ€Rust
Episode 13: Docker Compose Advanced (Scaling & Multi-Env Setup)
dev.toยท32mยท
Discuss: DEV
๐Ÿฆ€Rust
Cost-Optimized Systems Engineering for IoT-Enabled Robot Nurse in Infectious Pandemic Management
arxiv.orgยท32m
๐Ÿฆ€Rust
DrDiff: Dynamic Routing Diffusion with Hierarchical Attention for Breaking the Efficiency-Quality Trade-off
arxiv.orgยท32m
๐Ÿ”„Async Rust
Enhancing Robustness in Post-Processing Watermarking: An Ensemble Attack Network Using CNNs and Transformers
arxiv.orgยท32m
๐Ÿ”„Async Rust
IS${}^3$ : Generic Impulsive--Stationary Sound Separation in Acoustic Scenes using Deep Filtering
arxiv.orgยท32m
๐Ÿ”„Async Rust
On the Smart Coordination of Flexibility Scheduling in Multi-carrier Integrated Energy Systems
arxiv.orgยท32m
๐Ÿฆ€Rust
Python-Based Analytics for Hydration Therapy Outcomes
dev.toยท6hยท
Discuss: DEV
๐Ÿ’ปprogramming
Building an AI Director That Finds Movie-Worthy News
pub.towardsai.netยท6h
๐Ÿ”„Async Rust
3 AI Tools That Actually Save Me Hours (Sept Edition)
dev.toยท19mยท
Discuss: DEV
๐Ÿ”งfunctional programming languages
SPENet: Self-guided Prototype Enhancement Network for Few-shot Medical Image Segmentation
arxiv.orgยท32m
๐Ÿ”งTooling
SOPSeg: Prompt-based Small Object Instance Segmentation in Remote Sensing Imagery
arxiv.orgยท32m
๐Ÿชocaml
Efficient Privacy-Preserving Recommendation on Sparse Data using Fully Homomorphic Encryption
arxiv.orgยท32m
๐Ÿ”งfunctional programming languages
Building Maintainable Laravel Apps for ERP
dev.toยท6hยท
Discuss: DEV
๐Ÿฆ€Rust
Terraform CDK + Go: Building a Complete Serverless API Project (Part 1)
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust
how to give an AI agent memory to make it smarter over time:
threadreaderapp.comยท14h
๐Ÿฆ€Rust
A Convolutional Hierarchical Deep-learning Neural Network (C-HiDeNN) Framework for Non-linear Finite Element/Meshfree Analysis
arxiv.orgยท1d
๐Ÿ”งfunctional programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap