8 Books That Embrace the Expansiveness of Queer Families
electricliterature.com·8h
🎯Type Theory
Flag this post
2026 College basketball: Best futures bets, predictions for long shots
nytimes.com·1d
🔢Algebraic Datatypes
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·6h
🔧Error Recovery
Flag this post
Searles's Chinese Room: Case study in philosophy of mind and cognitive science
cse.buffalo.edu·6h·
Discuss: Hacker News
⚖️Inference Rules
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·2h
🔢Algebraic Datatypes
Flag this post
What Is a Manifold?
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
🔗Category Theory
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
reddit.com·7h·
Discuss: r/LocalLLaMA
🗺️Region Inference
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·15h
🔍ML Language
Flag this post
Predicting & Mitigating Data Corruption in Pure Storage Flash Arrays via Adaptive Bit Error Rate Modeling
dev.to·9h·
Discuss: DEV
🧠Memory Ordering
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·5h·
Discuss: r/LocalLLaMA
🎲Parser Fuzzing
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·2d·
Discuss: DEV
🎭Polymorphic Variants
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·15h
🏭Functional Compilers
Flag this post
Extensive FPGA and ASIC resource comparison for blind I/Q imbalance estimators and compensators
sciencedirect.com·5h
⚡Control Synthesis
Flag this post
Spatial Incompatibility Witnesses for Quantum Temporal Correlations
arxiv.org·15h
🔍Lens Libraries
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·11h·
Discuss: DEV
⚙️Configuration Parsing
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·15h
✅Type Checking
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·15h
⚖️Weighted Automata
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·15h
🔍ML Language
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·15h
⚖️Weighted Automata
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·1d
💫Effect Systems
Flag this post