Pikaday
🔤Language Design
Flag this post
Show HN: Klotski.org – A web-based Klotski puzzle with 44 handcrafted levels
🎮Verification Games
Flag this post
Show HN: NoteDiscovery – Free Self-Hosted Alternative to Notion/Obsidian
📦Unikernel Systems
Flag this post
A Week of Teaching
🔢Algebraic Data Types
Flag this post
Show HN: SKRL is a language for expressing keyboard remaps and shortcuts
🐫Embedded OCaml
Flag this post
Managing Modern HPC Clusters and Supercomputers from Software to Hardware
🖥Self-Hosting
Flag this post
Deep Learning Without Training
📐Linear Algebra
Flag this post
Pool allocator in C++23 for simulations / game engines - faster than std::pmr
🔧Unikernel Development
Flag this post
Epistemic Reject Option Prediction
arxiv.org·1d
👁️Observability
Flag this post
A multimodal multiplex of the mental lexicon for multilingual individuals
arxiv.org·1d
📚Automata Learning
Flag this post
Automatic segmentation of colorectal liver metastases for ultrasound-based navigated resection
arxiv.org·1d
🕸️Graph Theory
Flag this post
Bridging Accuracy and Explainability in EEG-based Graph Attention Network for Depression Detection
arxiv.org·11h
🕸️Graph Theory
Flag this post
Characterizing AI Manipulation Risks in Brazilian YouTube Climate Discourse
arxiv.org·11h
🎮Verification Games
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·6d
📚Automata Learning
Flag this post
Emergent Misalignment via In-Context Learning: Narrow in-context examples canproduce broadly misaligned LLMs
📚Automata Learning
Flag this post
Loading...Loading more...