Help me get Claude Code vibes on my local setup (9950X3D + RTX 5090 + 2TB RAG)
🔀OCaml Multicore
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
📡Network Protocol Design
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
📚Automata Learning
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·3d
λFunctional Programming
Flag this post
Modelling beliefs about sets
🧠Automated Reasoning
Flag this post
A toy model of corrigibility
lesswrong.com·16h
⏰Timed Automata
Flag this post
Smaller Surfaces
💎Refinement Types
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
🧠Automated Reasoning
Flag this post
MCP standard
💬Mach Messages
Flag this post
M^3Detection: Multi-Frame Multi-Level Feature Fusion for Multi-Modal 3D Object Detection with Camera and 4D Imaging Radar
arxiv.org·5h
🧩Separation Logic
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·5h
🎮Verification Games
Flag this post
Dark-Field X-Ray Imaging Significantly Improves Deep-Learning based Detection of Synthetic Early-Stage Lung Tumors in Preclinical Models
arxiv.org·5h
📐Linear Algebra
Flag this post
PF-DAformer: Proximal Femur Segmentation via Domain Adaptive Transformer for Dual-Center QCT
arxiv.org·5h
💎Refinement Types
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·2d
🧪Property-Based Testing
Flag this post
Intervaltree with Rust Back End
🏗️Dune
Flag this post
Loading...Loading more...