๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ข Denotational Semantics

Domain Theory, Mathematical Models, Program Meaning, Scott Domains

My Experience with the Scott Logic Graduate Training
blog.scottlogic.comยท1d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
The C3 Programming Language
c3-lang.orgยท6hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Future-Proof Programming Languages
log.schemescape.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปprogramming languages
My Participation in the METR AI Productivity Study
domenic.meยท16hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Deploy a Streamlit App to AWS
towardsdatascience.comยท13h
๐ŸŒŠStreaming Systems
Bibliographical cornucopia for linguists, part 1
languagelog.ldc.upenn.eduยท1d
๐Ÿ“ผCassette Linguistics
Machine Learning Fundamentals: data preprocessing tutorial
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
Where Does All the Data Go? Unveiling the Magic of Databases! ๐Ÿ’พ
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Graph Convolutional Branch and Bound
arxiv.orgยท2d
๐ŸงฎVector Embeddings
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.orgยท1d
๐ŸงญContent Discovery
Joint space-time wind field data extrapolation and uncertainty quantification using nonparametric Bayesian dictionary learning
arxiv.orgยท3h
๐ŸงฎKolmogorov Bounds
Illuminating the Three Dogmas of Reinforcement Learning under Evolutionary Light
arxiv.orgยท3h
๐Ÿ”ฒCellular Automata
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
BlueGlass: A Framework for Composite AI Safety
arxiv.orgยท1d
๐Ÿ”’WASM Capabilities
ExpStar: Towards Automatic Commentary Generation for Multi-discipline Scientific Experiments
arxiv.orgยท1d
๐Ÿ›Digital humanities
Fairness-Aware Grouping for Continuous Sensitive Variables: Application for Debiasing Face Analysis with respect to Skin Tone
arxiv.orgยท3h
๐ŸŒ€Differential Geometry
Uncertainty-Informed Scheduling of Decision Points for Intelligent Mobile Health Interventions
arxiv.orgยท3h
๐Ÿง Intelligence Compression
Artificial Finance: How AI Thinks About Money
arxiv.orgยท3h
๐Ÿ”ฒCellular Automata
LRMR: LLM-Driven Relational Multi-node Ranking for Lymph Node Metastasis Assessment in Rectal Cancer
arxiv.orgยท3h
๐Ÿง Machine Learning
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.orgยท3h
๐Ÿ’ปLocal LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap