frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Formal Conjectures: Contribute your favorite conjecture

https://leanprover.zulipchat.com/#narrow/channel/113486-announce/topic/Formal.20Conjectures/with/520935379
2•firsching•1d ago

New AI Company Launches Model That Tracks IP Rights; Hollywood Agency Advising

https://variety.com/2025/tv/news/incantor-launches-ai-model-ip-rights-copyright-1236429326/
1•SLHamlet•39s ago•0 comments

New genomic techniques in organic production: Considerations for EU regulation

https://www.cell.com/cell-reports-sustainability/fulltext/S2949-7906(25)00101-6
1•PaulHoule•1m ago•0 comments

Premature closure and the role of Senior Engineer in the world of AI

https://www.shayon.dev/post/2025/163/premature-closure-and-the-role-of-senior-engineer-in-the-world-of-ai/
1•shayonj•1m ago•0 comments

Cloud Repatriation Is Getting Complicated

https://www.lastweekinaws.com/blog/cloud-repatriation-is-getting-complicated/
1•crescit_eundo•2m ago•0 comments

Ask HN: Cloud Infrastructure or Software Engineering

1•Anonxxx•2m ago•0 comments

Why Wittgenstein Was Right About Silence

https://www.theatlantic.com/ideas/archive/2025/06/how-wittgenstein-can-make-you-happier/683039/
2•rhubarbcustard•5m ago•0 comments

Show HN: Tooka – A rule-based CLI tool to organize files with YAML

https://tooka.deno.dev
1•Benji377•6m ago•0 comments

Google extends employee buyout offers in push to raise AI spending

https://www.wsj.com/tech/ai/google-expands-buyout-program-in-push-to-ramp-up-ai-spending-0a27e866
2•layer8•7m ago•1 comments

Raku's "Core"

https://gist.github.com/raiph/849a4a9d8875542fb86df2b2eda89296
2•thunderbong•8m ago•0 comments

I hated writing SQL so I built Tome

https://www.tomedb.dev/
1•joshkotrous•8m ago•1 comments

How Much Do TikTok Influencers Make? (2025 Data)

https://explodingtopics.com/blog/tiktok-earning-stats
2•mooreds•9m ago•0 comments

South Korea Lab Makes Bird Flu 100% Lethal in Mammals

https://virologyj.biomedcentral.com/articles/10.1186/s12985-025-02811-w
2•greenavocado•9m ago•0 comments

Life After Lifestyle (2022)

https://subpixel.space/entries/life-after-lifestyle/
2•mooreds•9m ago•0 comments

House Tax and Spending Bill Continues Income Tax Carveout for Credit Unions

https://taxfoundation.org/blog/credit-union-bank-income-taxes/
1•mooreds•9m ago•0 comments

Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix

https://netflixtechblog.com/uda-unified-data-architecture-6a6aee261d8d
3•bertails•13m ago•0 comments

Show HN: Open sourcing my developer portfolio

https://github.com/iamk3nnyt/kennyt.me
2•itsk3nny•14m ago•0 comments

First-of-its-kind technology helps man with ALS speak in real time

https://medicalxpress.com/news/2025-06-kind-technology-als-real.html
1•gmays•15m ago•0 comments

Beyond Mocks Messing with Our Preconceptions of Testing – Elixir Forum

https://elixirforum.com/t/beyond-mocks-messing-with-our-preconceptions-of-testing/71256
1•amalinovic•16m ago•0 comments

HP reveals $24,999 hardware created just for Google Beam

https://www.theverge.com/news/684859/hp-dimension-google-beam-3d-video-communication
2•bookofjoe•18m ago•0 comments

"But" vs. "Yes, But"

https://www.astralcodexten.com/p/but-vs-yes-but
1•feross•18m ago•0 comments

Neovim and LSP Servers Working with Docker-Based Development

https://naildrivin5.com/blog/2025/06/12/neovim-and-lsp-servers-working-with-docker-based-development.html
1•unripe_syntax•18m ago•0 comments

How technology is helping Union Pacific help truckers, rail shippers

https://www.freightwaves.com/news/how-technology-is-helping-union-pacific-help-truckersand-rail-shippers
1•crescit_eundo•19m ago•0 comments

Show HN: Guardient – An API to block fake users (temp emails, VPNs, burner phone

https://guardient.me/
1•mhzn•22m ago•0 comments

Tape, glass, and molecules – the future of archival storage/

https://www.theregister.com/2025/06/12/archival_storage_feature/
1•rntn•22m ago•0 comments

Ask HN: Is anyone doing intelligent tiering for logs?

2•didro•24m ago•0 comments

UCSF Advances AI in Research Through Cross-Disciplinary Collaboration

https://medschool.ucsf.edu/news/ucsf-advances-ai-research-through-cross-disciplinary-collaboration
1•mathattack•24m ago•0 comments

What Will It Take to Translate AI Research into Clinical Advances?

https://magazine.hms.harvard.edu/articles/what-will-it-take-translate-ai-research-clinical-advances
1•mathattack•24m ago•0 comments

MCP in 15min

https://supabase.manatee.work/storage/v1/object/public/videos/1e35e730-0c1c-445a-a3fe-e216796b861c.mp4
2•_josh_meyer_•25m ago•1 comments

Continuous AI from GitHub Next

https://githubnext.com/projects/continuous-ai/
1•azhenley•27m ago•0 comments

Ask HN: Has Google started hacking up the free Gemini?

1•johnnyApplePRNG•29m ago•0 comments