The ZeroAccess Developer and His Windows Kernel-Mode Debugger
๐งUnikernel Development
Flag this post
Positivity-preserving Well-balanced PAMPA Schemes with Global Flux quadrature for One-dimensional Shallow Water Models
arxiv.orgยท1d
๐ซOCaml
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.orgยท2h
๐ฒCellular Automata
Flag this post
[D][P] PKBoost v2 is out! An entropy-guided boosting library with a focus on drift adaptation and multiclass/regression support.
๐ฏHindley-Milner
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท2h
๐Formal Verification
Flag this post
How I Use Every Claude Code Feature
๐ปCLI Tools
Flag this post
Octocode MCP โ AI Researcher for Smart, Deep Multi-Repo Code Context
๐ฌMach Messages
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.orgยท2h
๐ฆOPAM
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.orgยท2h
๐งฉParser Combinators
Flag this post
Show HN: Polyglot Docker dev environment setup โ C/C++/Rust/Python
๐ณContainerization
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.orgยท2h
๐OCaml Multicore
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.orgยท2h
๐งฉParser Combinators
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.orgยท2h
๐ซOCaml
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.orgยท2h
๐Automata Learning
Flag this post
Towards Automated Petrography
arxiv.orgยท2h
๐ฒCellular Automata
Flag this post
Loading...Loading more...