🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Simple Checklist: What are REST APIs?
lukasniessen.medium.com·2d·
Discuss: r/devops, r/programming
🌐NetworkProtocols
Wireframer 7 days by a 21 y/o college student (100 users, 2 paid)
wireframer.site·2d·
Discuss: Hacker News
🐫Embedded OCaml
Mitigation of Social Media Platforms Impact on the Users
arxiv.org·3d
🖥️Self-hosted Infrastructure
A Systematic Robot Design Optimization Methodology with Application to Redundant Dual-Arm Manipulators
arxiv.org·3d
🤖Program Synthesis
Safety Features for a Centralised AGI Project
arxiv.org·3d
📦Unikernel Systems
Structure-Preserving Discretization and Model Reduction for Energy-Based Models
arxiv.org·3d
🏹Effect Systems
Adversarial Defence without Adversarial Defence: Enhancing Language Model Robustness via Instance-level Principal Component Removal
arxiv.org·3d
🔬Static Analysis
Querying GI Endoscopy Images: A VQA Approach
arxiv.org·3d
✓Automated Theorem Proving
How To Use AI To Design Intelligent, Adaptable Infrastructure
thenewstack.io·19h
👁️System Observability
HJB-based online safety-embedded critic learning for uncertain systems with self-triggered mechanism
arxiv.org·4d
🔄Finite State Machines
CoGrader: Transforming Instructors' Assessment of Project Reports through Collaborative LLM Integration
arxiv.org·4d
✓Automated Theorem Proving
Comparing and Scaling fMRI Features for Brain-Behavior Prediction
arxiv.org·4d
🏹Effect Systems
Efficient handover based on Near-field and Far-field RIS for seamless connectivity
arxiv.org·2d
📡Network Protocol Design
Multifunctional physical reservoir computing in soft tensegrity robots
arxiv.org·3d
🐫OCaml
DynamiX: Large-Scale Dynamic Social Network Simulator
arxiv.org·4d
📡Network Protocol Design
On Policy Stochasticity in Mutual Information Optimal Control of Linear Systems
arxiv.org·3d
🔄Finite State Machines
Extreme value theory for singular subspace estimation in the matrix denoising model
arxiv.org·4d
➡️Category Theory
Tessera: A declarative, immediate-mode UI framework for Rust
github.com·6d·
Discuss: Hacker News
🔬Unikernels
Multi-Hypothesis Distillation of Multilingual Neural Translation Models for Low-Resource Languages
arxiv.org·3d
🐫OCaml
Learning Individual Intrinsic Reward in Multi-Agent Reinforcement Learning via Incorporating Generalized Human Expertise
arxiv.org·5d
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap