frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/
1•tzury•1h ago

Comments

unhandyandy•1m ago
Probably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.

The Bee That Everyone Wants to Save

https://naturalist.bearblog.dev/the-bee-that-everyone-wants-to-save/
1•nivethan•21s ago•0 comments

Average gas price poised to hit $4 a gallon

https://www.consumeraffairs.com/news/average-gas-price-poised-to-hit-4-a-gallon-032426.html
1•geox•1m ago•0 comments

Porting Go's io package to C

https://antonz.org/porting-go-io/
1•ashvardanian•2m ago•0 comments

A Cat Left Paw Prints on the Pages of This Medieval Manuscript

https://www.smithsonianmag.com/smart-news/a-cat-left-paw-prints-on-the-pages-of-this-medieval-man...
1•jruohonen•3m ago•0 comments

Meta and YouTube Lose Landmark Social Media Trial

https://www.wsj.com/tech/meta-and-youtube-lose-landmark-social-media-trial-33e4c5cb
1•jaredwiener•3m ago•0 comments

Google Voice suddenly requires an ID to text

https://old.reddit.com/r/Googlevoice/comments/1s3ha6h/suddenly_asks_for_my_id_to_send_a_text/
1•cft•4m ago•0 comments

ARC-AGI-3 Leaderboard

https://arcprize.org/leaderboard
1•yusufozkan•4m ago•0 comments

The AI Depression

http://charleshughsmith.blogspot.com/2026/03/the-ai-depression.html
1•speckx•5m ago•0 comments

Meta and YouTube Found Negligent in Landmark Social Media Addiction Case

https://www.nytimes.com/2026/03/25/technology/social-media-trial-verdict.html
6•mrjaeger•6m ago•0 comments

Should I Iron This Shirt?

https://weirdtools.xyz/should-i-iron-this-shirt/
1•kadirmalak•6m ago•0 comments

Google is expanding to neutral atom quantum computing

https://blog.google/innovation-and-ai/technology/research/neutral-atom-quantum-computers/
1•ernesto95•7m ago•0 comments

Long-Form Comes to Bridgy Fed

https://blog.anew.social/long-form-comes-to-bridgy-fed/
1•Kye•7m ago•0 comments

Show HN: Τ³-Bench is out – can agents handle complex docs and live calls?

2•victorbarres•9m ago•0 comments

Apple Can Create Smaller On-Device AI Models from Google's Gemini

https://www.macrumors.com/2026/03/25/apple-google-gemini-distill-models/
3•thm•10m ago•1 comments

Show HN: AI Chat that dynamically assembles UI over time

https://beta.kailaido.com/
1•terryr518•10m ago•0 comments

Unthinkingness, Conspiracies, and What to Do About Them [audio]

https://www.preposterousuniverse.com/podcast/2025/10/27/333-gordon-pennycook-on-unthinkingness-co...
1•BiraIgnacio•11m ago•1 comments

Is Creativity a Young Person's Game?

https://thereader.mitpress.mit.edu/is-creativity-a-young-persons-game/
1•ilamont•11m ago•0 comments

A rare active volcano on Mars may be causing the whole planet to spin faster

https://www.livescience.com/space/mars/a-rare-active-volcano-on-mars-may-be-causing-the-whole-pla...
1•Brajeshwar•12m ago•0 comments

UK iPhone users face over-18 age check to use services after update

https://www.theguardian.com/technology/2026/mar/25/apple-iphone-users-face-over-18-age-check-to-u...
3•chrisjj•12m ago•0 comments

Show HN: Open-source agentic commerce marketplace

https://marketplace.openship.org
1•theturtletalks•12m ago•0 comments

Sunset of Bitbucket Issues and Wikis

https://community.atlassian.com/forums/Bitbucket-articles/Announcing-sunset-of-Bitbucket-Issues-a...
1•eslaught•15m ago•0 comments

My 'Oh My OpenCode' Setup

https://blog.vfiles.no/posts/my-oh-my-opencode-setup/
1•DiFronzo•15m ago•0 comments

A motion graphics library in ~100 lines

https://skeary.me/blog/motion
1•philocalyst•15m ago•0 comments

Android Sets New Record for Mobile Web Performance

https://blog.chromium.org/2026/03/android-sets-new-record-for-mobile-web.html
1•HieronymusBosch•15m ago•0 comments

We tried Modal, Cloudflare Containers, and Sprites, then built our own

https://camelai.com/blog/we-tried-every-container-service-then-built-our-own
1•illiana•17m ago•0 comments

Yo – A programming language blending C, Lisp, JavaScript, Rust, Zig, Koka, etc.

https://github.com/shd101wyy/Yo
1•shd101wyy•18m ago•0 comments

How AI Is Creeping into the New York Times

https://www.theatlantic.com/culture/2026/03/how-ai-creeping-new-york-times/686528/
1•JumpCrisscross•18m ago•0 comments

American AI Jobs Risk Index

https://digitalplanet.tufts.edu/ai-and-the-emerging-geography-of-american-job-risk-page/
1•littlexsparkee•19m ago•0 comments

You Computer Geeks Are All the Same

https://www.louiechristie.com/blog/2021/02/19/you-computer-geeks-are-all-the-same/
1•louiechristie•19m ago•0 comments

Show HN: 82.2M startup alternative for Product Demos

1•gapostolov•20m ago•0 comments