Free scatter plot maker online
radarchart.net·3h·
Discuss: Hacker News
🧠Automated Reasoning
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·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👁️System Observability
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·3d·
Discuss: Lobsters, Hacker News, r/hardware, r/programming
🐫Embedded OCaml
Jakub and Szymon
blog.samaltman.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
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·1d·
Discuss: Hacker News
👁️System Observability
Dressing Up by Harvey C. Mansfield
juandavidcampolargo.com·2d·
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
Rust's Enterprise Breakthrough Year
rust-trends.com·3d·
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·18h·
Discuss: Hacker News
👁️System Observability
6 ways to use NotebookLM to master any subject
blog.google·3d·
Discuss: Hacker News
✓Automated Theorem Proving
KRAFT: A Knowledge Graph-Based Framework for Automated Map Conflation
arxiv.org·4d
🐫OCaml
Causal evidence of racial and institutional biases in accessing paywalled articles and scientific data
arxiv.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
UrbanTwin: High-Fidelity Synthetic Replicas of Roadside Lidar Datasets
arxiv.org·3d
🐫OCaml
Explained, yet misunderstood: How AI Literacy shapes HR Managers' interpretation of User Interfaces in Recruiting Recommender Systems
arxiv.org·3d
🛡️seL4
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.io·2d
🔄Reproducible Builds
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·3d
🐫Embedded OCaml