Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·4d
⚡Process Calculi
Flag this post
🚀 Early-Stage Kubernetes Backup
⚙️Kubernetes Operators
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
💾Cachix
Flag this post
build system tradeoffs
🏗️Dune
Flag this post
WinUI vs WPF vs UWP
📦Unikernel Systems
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·4d
📦Opam
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
💎Refinement Types
Flag this post
A security model for systemd
🔬Unikernels
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·4d
📦Module Systems
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·2d
📚Automata Learning
Flag this post
**Bio-Lubricant Additive Optimization via Multi-Modal Data Fusion & Reinforcement Learning**
🧠Automated Reasoning
Flag this post
Beyond Chat: a Framework for LLMs as Human-Centered Support Systems
arxiv.org·1d
🔤Language Design
Flag this post
Loading...Loading more...