Show HN: Fuzzy Matching in Excel: A Solution for Mac Users
getflookup.com·2d·
Discuss: Hacker News
🍎Apple
Scaling asyncio on Free-Threaded Python
labs.quansight.org·2d·
👁️System Observability
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·2d·
Discuss: Hacker News
🧠Automated Reasoning
New benchmark shows ChatGPT and Gemini favor challengers over legacy brands
aivojournal.org·18h·
Discuss: Hacker News
👁️System Observability
Dressing Up by Harvey C. Mansfield
juandavidcampolargo.com·2d·
Discuss: Hacker News
➡️Category Theory
ggplot2 4.0.0 Is Released
tidyverse.org·11h·
Discuss: Hacker News
➡️Category Theory
Why accessibility might be AI’s biggest breakthrough
arstechnica.com·2d·
Discuss: Hacker News
Automated Theorem Proving
A Humble Blog Post
nvegater.com·4d·
Discuss: Hacker News
💎Refinement Types
It’s time to work different.
brilliantcrank.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Rust's Enterprise Breakthrough Year
rust-trends.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Daily Crypto Trading Tournaments (Fake Funds, Real Prizes)
news.ycombinator.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
AI saw a significant spike in growth in Q2 2025
news.ycombinator.com·10h·
Discuss: Hacker News
👁️System Observability
6 ways to use NotebookLM to master any subject
blog.google·3d·
Discuss: Hacker News
Automated Theorem Proving
Hyperbolic Large Language Models
arxiv.org·2d
📚Automata Learning
LLM Chat Scraper – AI Share URL Extractor
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
KRAFT: A Knowledge Graph-Based Framework for Automated Map Conflation
arxiv.org·3d
🐫OCaml
UrbanTwin: High-Fidelity Synthetic Replicas of Roadside Lidar Datasets
arxiv.org·2d
🐫OCaml
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.io·2d
🔄Reproducible Builds