newest
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