frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Google-DeepMind/formal-conjectures repository: formalized conjectures

https://github.com/google-deepmind/formal-conjectures
1•isaacfrond•5h ago

JSAR: Browser engine designed for the spatial Web

https://github.com/M-CreativeLab/jsar-runtime
1•yorkie•39s ago•1 comments

Tracking Down the Original Photo from the End of 'The Shining'

https://twitter.com/AricToler/status/1908610058318991581
1•Bogdanp•1m ago•0 comments

Muon g-2 announces most precise measurement of the magnetic anomaly of the muon

https://news.fnal.gov/2025/06/muon-g-2-most-precise-measurement-of-muon-magnetic-anomaly/
1•gmays•1m ago•0 comments

OpenAI weighs "nuclear option" of antitrust complaint against Microsoft

https://arstechnica.com/ai/2025/06/openai-weighs-nuclear-option-of-antitrust-complaint-against-microsoft/
2•amendegree•3m ago•0 comments

MicroEvals – Easily run vibe checks against models

https://artificialanalysis.ai/microevals
1•Gcam•4m ago•0 comments

Show HN: RauGen AI Math Solver, Concept Explainer, and More

https://raugen.com/ai-tools/math-solver
1•raugen•4m ago•0 comments

Extend raises $17M to build a document processing cloud

https://www.extend.ai/resources/series-a
1•kbyatnal•6m ago•0 comments

Meta Expands AI Video Ads to Attract Small Marketers

https://gazeon.site/meta-expands-ai-video-ads-to-attract-small-marketers/
1•eligrid•6m ago•0 comments

Why uptime monitoring isn't enough for your website

https://govigilant.io/articles/why-uptime-monitoring-isnt-enough-for-your-website
1•DutchBytes•6m ago•1 comments

New York City mayoral candidate Brad Lander arrested at immigration court

https://www.theguardian.com/us-news/2025/jun/17/brad-lander-arrested-new-york-city-comptroller
3•gizzlon•7m ago•0 comments

Israel's Futile Air War

https://www.foreignaffairs.com/iran/israels-futile-air-war
3•hackandthink•10m ago•0 comments

Show HN: Handy – Free open-source speech-to-text app written in Rust

https://handy.computer/
1•sipjca•10m ago•0 comments

Astronomers Just Solved the Mystery of the Universe's Missing Matter

https://gizmodo.com/astronomers-just-solved-the-mystery-of-the-universes-missing-matter-2000616320
1•guerrilla•10m ago•0 comments

Quori: A custom Chromium browser with passphrase verification and security logs

https://github.com/LENT4869/Quori
1•LENT4869•11m ago•1 comments

André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award

https://www.acm.org/media-center/2025/june/eckert-mauchly-award-2025
1•baruchel•14m ago•0 comments

Stage-Based Growth Tactics for B2B SaaS: 1 to 500 Customers (2025 Guide)

https://guptadeepak.com/the-founders-survival-guide-to-b2b-saas-growth/
1•guptadeepak•14m ago•1 comments

I Cloned 2k Hacker News Users to Predict Viral Posts

https://every.to/also-true-for-humans/i-cloned-2-000-hacker-news-users-to-predict-viral-posts
1•virtual_rf•16m ago•0 comments

Solar Stocks Plummetted Today

1•DaveZale•16m ago•0 comments

Show HN: Tenr – Chemistry-first dating that actually makes sense

https://www.tenr.co/
1•ryantrw•17m ago•0 comments

Show HN: PMDb – Public Movie Database

https://pmdb.dev/
2•darkotodoric•17m ago•1 comments

Google Translate has gotten so much worse

https://old.reddit.com/r/languagelearning/comments/1l6v2v8/google_translate_has_gotten_so_much_worse/
2•mgh2•18m ago•0 comments

Implementing the Browser Tool for Sketch.dev

https://sketch.dev/blog/browser-tool
1•philzdev•18m ago•0 comments

Next-gen AI demands smarter cooling tech. How AWS delivered in just 11 months

https://www.aboutamazon.com/news/aws/aws-liquid-cooling-data-centers
1•hochmartinez•19m ago•0 comments

Ban Autonomous Systems

https://alexschroeder.ch/view/2025-06-16-ban-asn
1•dredmorbius•19m ago•0 comments

Israeli Startup 'Redefines' Plant-Based Meat with 90% Less Saturated Fat

https://www.greenqueen.com.hk/redefine-meat-burger-beef-mince-nutrition-facts-saturated-fat-protein/
1•hochmartinez•21m ago•0 comments

Why utils are bad, an example

https://swizec.com/blog/why-utils-are-bad-an-example/
1•Tomte•25m ago•0 comments

Show HN: analogatique – static gallery generator written in Rust

https://github.com/un1970ix/analogatique
1•un1970ix•26m ago•0 comments

An evaluation of LLMs for generating movie reviews

https://arxiv.org/abs/2506.00312
1•PaulHoule•26m ago•0 comments

The emotional disconnect between loving and eating animals, science explains

https://vegoutmag.com/news/dna-the-emotional-disconnect-between-loving-animals-and-eating-them-explained-by-science/
1•hochmartinez•27m ago•0 comments

Psychogenic fever: how psychological stress affects body temperature

https://pmc.ncbi.nlm.nih.gov/articles/PMC4843908/
1•bfoks•27m ago•0 comments