How do linear session type frameworks deal with communicating over an unreliable channel (eg the network)? Do they assume that’s handled at a lower level or doe...
🔧programming language design
Flag this post
De Bruijn Numerals
🔧programming language design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
🔧programming language design
Flag this post
Post-training methods for language models
developers.redhat.com·2d
🧮Algebraic Effects
Flag this post
Regression vs Functional Testing: Ensuring Quality from Both Ends
🧰software development practices
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
🔧programming language design
Flag this post
From Five Dimensions to Many: Large Language Models as Precise and Interpretable Psychological Profilers
arxiv.org·7h
🔧programming language design
Flag this post
🧩 Track Workflow Activities by Name in Joget Using SQL and DataList Configuration
🕸semantic web
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·7h
🧮Algebraic Effects
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·2d
🕸semantic web
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Reading Between the Lines: The One-Sided Conversation Problem
arxiv.org·7h
🔧programming language design
Flag this post
Active Noise Control Method Using Time Domain Neural Networks for Path Decoupling
arxiv.org·7h
🧮Algebraic Effects
Flag this post
Introducing YasuiJS — A Modern, Minimal REST Framework for Any Runtime
🧰software development practices
Flag this post
Loading...Loading more...