🐿️ 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

On “Cornelius Cardew : A Life Unfinished”
thelithole.com·13h
🔄Async Rust
original ↗
dotat.at·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Koalas vs. Crows: An Evolutionary Theory of Software
ajmoon.com·20h·
Discuss: Hacker News
🦀Rust
At 17, Hannah Cairo Solved a Major Math Mystery
longreads.com·8h
🐪ocaml
Type II mechanoreceptors and cuneate spiking neuronal network enable touch localization on a large-area e-skin
nature.com·1d
🔧functional programming languages
Red-teaming a RAG app: What happens?
blog.pamelafox.org·12h·
Discuss: www.blogger.com, Hacker News
🦀Rust
Title: Understanding LayerNorm and RMS Norm in Transformer Models
dev.to·5h·
Discuss: DEV
🐪ocaml
I’m thinking of building a comparison tool based on AI... you find this useful?
dev.to·10h·
Discuss: DEV
🔧Tooling
Building an AI Health Platform That Could Save the NHS £8.5M+ Annually
dev.to·18h·
Discuss: DEV
🔧functional programming languages
TypeScript 5.9 is here, GLM 4.5 is EPIC for Programming, Node.js 22.18 LTS, and more
dev.to·1d·
Discuss: DEV
🦀Rust
Molecular Processes as Quantum Information Resources
arxiv.org·1h
🔧functional programming languages
FairFedMed: Benchmarking Group Fairness in Federated Medical Imaging with FairLoRA
arxiv.org·1h
🦀Rust
Transportation Cyber Incident Awareness through Generative AI-Based Incident Analysis and Retrieval-Augmented Question-Answering Systems
arxiv.org·1h
🦀Rust
Detecting COPD Through Speech Analysis: A Dataset of Danish Speech and Machine Learning Approach
arxiv.org·1h
🔧functional programming languages
Prompting Large Language Models to Detect Dementia Family Caregivers
arxiv.org·1h
🔧functional programming languages
Self-Navigated Residual Mamba for Universal Industrial Anomaly Detection
arxiv.org·1h
⚠️Error Handling
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·1d·
Discuss: Hacker News
🦀Rust
Assessing (im)balance in signed brain networks
arxiv.org·1d
🦀Rust
Advancing Welding Defect Detection in Maritime Operations via Adapt-WeldNet and Defect Detection Interpretability Analysis
arxiv.org·1d
🔄Async Rust
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·4d·
Discuss: DEV
⚠️Error Handling
Loading...Loading more...
AboutBlogChangelogRoadmap