Dependent Haskell, GADTs, Type Families, Kind System
Design Review: LattePanda Mu NAS Carrier
hackaday.comยท1d
35 Thoughts About AGI and 1 About GPT-5
secondthoughts.aiยท2h
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.comยท6d
Classifier Language Models: Unifying Sparse Finetuning and Adaptive Tokenization for Specialized Classification Tasks
arxiv.orgยท23h
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.orgยท2d
Beyond Single: A Data Selection Principle for LLM Alignment via Fine-Grained Preference Signals
arxiv.orgยท1d
Zero-Downtime Elasticsearch Deployments with Hibernate Search: A Rolling Strategy That Works
hackernoon.comยท20h
Fuzzy-Pattern Tsetlin Machine
arxiv.orgยท23h
IROTE: Human-like Traits Elicitation of Large Language Model via In-Context Self-Reflective Optimization
arxiv.orgยท23h
Loading...Loading more...