To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.orgยท5hยท
Discuss: Hacker News
๐Ÿค–llm
Flag this post
Looking to sell an escrow payment system I built
app.lockva.comยท11hยท
๐ŸŒIndieWeb
Flag this post
Top Ruby on Rails Hosting Providers for Your Apps in 2025
railscarma.comยท11hยท
Discuss: Hacker News
๐ŸŒIndieWeb
Flag this post
ChatGPT prompts apparently appeared in Google Search Console
heise.deยท1d
๐Ÿ•ธsmall web
Flag this post
Show HN: Kumi โ€“ a portable, declarative, functional core for business logic
kumi-play-web.fly.devยท5dยท
Discuss: Hacker News
๐Ÿค—Hugging Face
Flag this post
GNU Coreutils 9.9 Released with Stability Fixes
linuxiac.comยท5h
๐Ÿ“กRSS
Flag this post
AiDHD: Reflecting on 6 Months Vibing
josh.ingยท3dยท
Discuss: Hacker News
๐ŸŒIndieWeb
Flag this post
Vibing Negative
theblackwall.ukยท4d
๐ŸŒIndieWeb
Flag this post
๐Ÿ’ฅ Get to the Chopper! A Beginner's Guide to ArnoldC
dev.toยท17hยท
Discuss: DEV
๐Ÿค—Hugging Face
Flag this post
Show HN: AI Photo Cleaner iOS app (on-device processing)
news.ycombinator.comยท1hยท
Discuss: Hacker News
๐Ÿง deep learning
Flag this post
Parameter-Efficient Conditioning for Material Generalization in Graph-Based Simulators
arxiv.orgยท15h
๐Ÿ”ฅPyTorch
Flag this post
Canonical's Secure Starlark in Go
github.comยท3dยท
Discuss: Hacker News
๐Ÿ“Markdown
Flag this post
Headless Adventures: From CMS to Frontend Without Losing Your Mind (4)
dev.toยท3dยท
Discuss: DEV
๐ŸŒIndieWeb
Flag this post
A benchmark multimodal oro-dental dataset for large vision-language models
arxiv.orgยท15h
๐Ÿค—Hugging Face
Flag this post
I built a full Notion alternative using Obsidian plugins
xda-developers.comยท1d
๐Ÿ“กRSS
Flag this post
SoilX: Calibration-Free Comprehensive Soil Sensing Through Contrastive Cross-Component Learning
arxiv.orgยท15h
๐Ÿ“Šdata science
Flag this post
SASS: The CSS Preprocessor That Survived the Apocalypse
en.andros.devยท5hยท
๐Ÿ“Markdown
Flag this post
Bengals' Joe Burrow cleared to practice: What it means for his potential return
nytimes.comยท1h
๐Ÿค—Hugging Face
Flag this post
Language Models Model Language
paperium.netยท1dยท
Discuss: DEV
๐Ÿ“Šdata science
Flag this post
Speeding up all builds at Amazon by 40% with the help of Rust
dev.toยท10hยท
Discuss: DEV
๐Ÿ“Markdown
Flag this post