newest
Lea – An agent backbone for mathematician-led formalization
1 pointsposted 5 hours ago
by JohnHammersleyVoluntary attention regulates acute immune responses in humans
2 pointsposted 5 hours ago
by daoboyFearless_SIMD v0.7: 64-bit integers, improved generics, SSE2, and upcoming v1.0
1 pointsposted 5 hours ago
by signa11The challenge of AI value after deployment
2 pointsposted 5 hours ago
by stichersThe cost to retire comfortably around the world
4 pointsposted 5 hours ago
by teleforceA 3D-printed C7 extension adapter for wall chargers
1 pointsposted 5 hours ago
by oxplotAI Software Development – What Does the Data Say?
1 pointsposted 5 hours ago
by GeneralMaximusBackgroundcanvas: One-stop free online image background editor
1 pointsposted 5 hours ago
by chgxueOmnimount – Read/write ext4 and NTFS on macOS, no kernel extensions
1 pointsposted 5 hours ago
by ramdoorAmethyst Vein – A cross-platform, open-source SwiftData replacement
1 pointsposted 5 hours ago
by miakoringHong Kong Large Dataset – Real Estate RV
2 pointsposted 5 hours ago
by realsirjoeBruno raises $3M to keep building their API Client
3 pointsposted 5 hours ago
by arlemiShow HN: SharpSkill, we gamified a free training platform for tech interviews
2 pointsposted 5 hours ago
by EnjoyooorPi coding agent: config folder is out of place on Linux
24 pointsposted 5 hours ago
by joooschaPakistani Judges Give Their Verdict on JudgeGPT
1 pointsposted 6 hours ago
by nithsshReplayHouse – Turn ClickHouse into a reinforcement learning replay buffer
3 pointsposted 6 hours ago
by GeorgeMacShow HN: Mdv – preview, share, verify and fix Markdown from your terminal
2 pointsposted 6 hours ago
by Igor_WiwiShow HN: Selvum – a password manager designed to outlive its developer
2 pointsposted 6 hours ago
by selvumSurvivorship Bias in Money: Why Every Success Story Is a Lie of Omission
3 pointsposted 6 hours ago
by 01-_-I built TikTok, but instead of videos you scroll through cool GitHub repos
2 pointsposted 6 hours ago
by laurentiuradAre Microsoft's AI plans being held back by a shortage of chips?
3 pointsposted 6 hours ago
by colinbBest IPTV Services in 2026: Top Providers Reviewed
1 pointsposted 6 hours ago
by bansiwebixGit.sr.ht is being disrupted by aggressive LLM crawlers
3 pointsposted 6 hours ago
by WhyNotHugoHow to copy equations from ChatGPT to word without losing formatting [video]
2 pointsposted 6 hours ago
by quysala123There Is Still No Silver Bullet
1 pointsposted 6 hours ago
by signa11Susan Kare: Designing Icons and Graphics for the Original Mac [video]
1 pointsposted 6 hours ago
by toshBuild a solar generation forecast dashboard in Python
2 pointsposted 6 hours ago
by Thunder_rumbles