OlmoEarth AI Platform Released to Expand Access to Planetary Data and Insights
🎲Probabilistic Programming
Flag this post
Myers Diff for Tab Management: Part 2
🔄Category Theory
Flag this post
Thoughts on bug bounty programs
blog.birbpara.de·19h
🔍Static Analysis
Flag this post
Everything You Need to Know to Start Your Way as a Programmer
🧮Programming Language Theory
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·5d
🕸️Graph Theory
Flag this post
Magika 1.0 Goes Stable As Google Rebuilds Its File Detection Tool In Rust
developers.slashdot.org·2d
🦀Rust
Flag this post
Moonshot AI’s Kimi K2 Thinking sets new agentic reasoning records in open-source LLMs
the-decoder.com·1d
🧭SMT Solvers
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
🔢Mathematical Logic
Flag this post
[R] WavJEPA: Semantic learning unlocks robust audio foundation models for raw waveforms
🎲Probabilistic Programming
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·4d
⚖️Logic Programming
Flag this post
<p>**Abstract:** This paper introduces a novel framework for automated, high-resolution longitudinal analysis of micro-structural changes in composite materials...
freederia.com·2d
🎲Probabilistic Programming
Flag this post
OmniVinci: Enhancing Architecture and Data for Omni-Modal Understanding LLM
🔢Mathematical Logic
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·4d
🎲Probabilistic Programming
Flag this post
Links 07/11/2025: Software Patents Squashed, Stock Markets Wobble Over Slop Uncertainties
techrights.org·1d
👐Open Source Software
Flag this post
Loading...Loading more...