8 Books That Embrace the Expansiveness of Queer Families
electricliterature.com·12h
🎯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·10h
🔧Error Recovery
Flag this post
Human intelligence research lab to rank LLMs?
datasciencecentral.com·4h
🎭Program Synthesis
Flag this post
Digital Twin based Automatic Reconfiguration of Robotic Systems in Smart Environments
arxiv.org·19h
⚡Control Synthesis
Flag this post
Searles's Chinese Room: Case study in philosophy of mind and cognitive science
cse.buffalo.edu·9h·
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·5h
🔢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·11h·
Discuss: r/LocalLLaMA
🗺️Region Inference
Flag this post
Predicting & Mitigating Data Corruption in Pure Storage Flash Arrays via Adaptive Bit Error Rate Modeling
dev.to·13h·
Discuss: DEV
🧠Memory Ordering
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·9h·
Discuss: r/LocalLLaMA
🎲Parser Fuzzing
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·19h
🏭Functional Compilers
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·14h·
Discuss: DEV
⚙️Configuration Parsing
Flag this post
Spatial Incompatibility Witnesses for Quantum Temporal Correlations
arxiv.org·19h
🔍Lens Libraries
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·19h
✅Type Checking
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·19h
⚖️Weighted Automata
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·19h
🔍ML Language
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·19h
⚖️Weighted Automata
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·1d
💫Effect Systems
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·22h·
Discuss: DEV
🗺️Region Inference
Flag this post