Microspeak: turn into a pumpkin
🖥️operating systems
Flag this post
Nethack
🎰Bytecode VMs
Flag this post
SailfishOS: A Linux-based European alternative to dominant mobile OSes
🖥️operating systems
Flag this post
AI Broke Interviews
💾vintage computing
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·4d
📐Language Theory
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·3d
📐Language Theory
Flag this post
From VS Code to Helix
⚙️Compilers
Flag this post
Do Not Step Into the Same River Twice: Learning to Reason from Trial and Error
arxiv.org·2d
⚙️Compilers
Flag this post
Myths Programmers Believe about CPU Caches
⚙️Compilers
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·2d
📐Language Theory
Flag this post
Questionnaire meets LLM: A Benchmark and Empirical Study of Structural Skills for Understanding Questions and Responses
arxiv.org·2d
📐Language Theory
Flag this post
Uncertainty-Aware Diagnostics for Physics-Informed Machine Learning
arxiv.org·2d
⚙️Compilers
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·3d
📐Language Theory
Flag this post
Metis-SPECS: Decoupling Multimodal Learning via Self-distilled Preference-based Cold Start
arxiv.org·2d
⚙️Compilers
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📐Language Theory
Flag this post
Fil-C: A memory-safe C implementation
⚙️Compilers
Flag this post
Loading...Loading more...