記録的短時間大雨情報 富山県細入付近 １時間に１００ミリの猛烈な雨
news.jp·22h
🔢Mathematical Logic
Hardness of M-LWE with General Distributions and Applications to Leaky Variants
eprint.iacr.org·2d
🔐Cryptography
How Randomness Improves Algorithms?
quantamagazine.org·1d·
Discuss: Hacker News
📈Complexity Theory
Nebius: Time To Light A Cigar After Spectacular Q2 Earnings
seekingalpha.com·6h
📊Information Theory
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·3d
🔢Mathematical Logic
Multi head classifiers aren't always the answer: empirical comparison with adaptive classifiers
reddit.com·17h·
Discuss: r/LLM
🎲Probabilistic Programming
Session-based authentication library
reddit.com·11h·
Discuss: r/golang
🤝Protocol Design
🤯 GPT-5's Medical Reasoning Prowess: GPT-5 just passed the hardest medical exam on Earth, and outscored doctors
reddit.com·8h·
Discuss: r/LLM
🔢Mathematical Logic
New Sorting Algorithm Breakthrough is Better than Dijkstra
nextbigfuture.com·1d
🕸️Graph Theory
Prompt Engineering: What Actually Works (Without the 8-Hour Hype)
reddit.com·13h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
The PostgreSQL Hacker Helper extension is one year old
dev.to·1d·
Discuss: DEV
🔍Static Analysis
AI: Reimagining human-centric retail banking
finance.yahoo.com·11h
🤖Sci-Fi
NEURAL: Attention-Guided Pruning for Unified Multimodal Resource-Constrained Clinical Evaluation
arxiv.org·2d
🎲Probabilistic Programming
MoSSDA: A Semi-Supervised Domain Adaptation Framework for Multivariate Time-Series Classification using Momentum Encoder
arxiv.org·3d
🎲Probabilistic Programming
Numerical Considerations in Weighted Model Counting
arxiv.org·5d
🎲Probabilistic Programming
Large Language Models Show Signs of Alignment with Human Neurocognition During Abstract Reasoning
arxiv.org·1d
🧮Programming Language Theory
Claude Code as a Data Analyst: From Zero to First Report
pub.towardsai.net·2d
🧩Theorem Proving
Conceptual Rhyme and Metaphor
lesswrong.com·1d
🔗Parser Combinators
Automated Exotic Particle Resonance Spectrum Prediction via Multi-Modal Data Fusion and Neural Network Optimization
dev.to·19h·
Discuss: DEV
🎲Probabilistic Programming
webMCP: Efficient AI-Native Client-Side Interaction for Agent-Ready Web Design
arxiv.org·2d
⚖Algorithmic Game Theory