OlmoEarth AI Platform Released to Expand Access to Planetary Data and Insights
spacedaily.comยท23hยท
Discuss: Hacker News
๐ŸŽฒProbabilistic Programming
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.comยท3dยท
Discuss: Hacker News
๐Ÿ”„Category Theory
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท6dยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Flag this post
Benchmarking the Most Reliable Document Parsing API
tensorlake.aiยท2dยท
Discuss: Hacker News
๐Ÿ“Text Editors
Flag this post
Thoughts on bug bounty programs
blog.birbpara.deยท21h
๐Ÿ”Static Analysis
Flag this post
Top Browser-Based Python Online Compiler Sites in 2025
dev.toยท23hยท
Discuss: DEV
๐Ÿ“Lisp
Flag this post
Guidance pls:)
reddit.comยท1hยท
Discuss: r/embedded
๐ŸงฉTheorem Proving
Flag this post
Everything You Need to Know to Start Your Way as a Programmer
dev.toยท3dยท
Discuss: DEV
๐ŸงฎProgramming Language 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
AI Memory Needs Ontology, Not Just Better Graphs or Vectors
reddit.comยท1dยท
Discuss: r/LLM
๐Ÿ”„Category Theory
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
paperium.netยท2dยท
Discuss: DEV
๐Ÿ”ขMathematical Logic
Flag this post
[R] WavJEPA: Semantic learning unlocks robust audio foundation models for raw waveforms
reddit.comยท1dยท
๐ŸŽฒProbabilistic Programming
Flag this post
Reading Between the Lines: The One-Sided Conversation Problem
arxiv.orgยท3d
๐Ÿ”ขMathematical Logic
Flag this post
Tortoise and Hare Guidance: Accelerating Diffusion Model Inference with Multirate Integration
arxiv.orgยท2d
๐ŸŽฒProbabilistic Programming
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.orgยท4d
โš–๏ธLogic Programming
Flag this post
OmniVinci: Enhancing Architecture and Data for Omni-Modal Understanding LLM
dev.toยท13hยท
Discuss: DEV
๐Ÿ”ขMathematical Logic
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
Towards Aligning Multimodal LLMs with Human Experts: A Focus on Parent-Child Interaction
arxiv.orgยท2d
๐ŸงฎProgramming Language Theory
Flag this post