frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

https://github.com/p-org/P
2•ot•1d ago

Comments

evanjrowley•1d ago
Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593

How the little-known 'dark roof' lobby may be making US cities hotter

https://www.theguardian.com/environment/2025/jun/01/dark-roof-lobby
1•ndsipa_pomu•1m ago•0 comments

Show HN: A platform for SaaS to offer user cashback and improve retention

https://www.byteback.pro/
1•orangeAvocad0•1m ago•0 comments

Show HN: AI Agent that lives on your website

https://www.virtuans.ai/
1•rab657•3m ago•0 comments

I Stopped Writing Commit Messages

https://zach.codes/p/never-write-commit-messages-again
2•zackify•5m ago•0 comments

On Ultra-Processed Content

https://calnewport.com/on-ultra-processed-content/
1•hansmayer•6m ago•0 comments

Show HN: Multiprocessed Experience Replay Pool for Reinforcement Learning

https://github.com/NoteDance/Pool
1•NoteDance•7m ago•0 comments

'I See No Future': Sherpas Leave the Job They Made Famous (2023)

https://www.nytimes.com/2023/05/07/world/asia/sherpas-everest.html
1•bookofjoe•7m ago•1 comments

We Migrated 30 Kubernetes Clusters to Terraform

https://medium.com/learnings-from-the-paas/how-we-migrated-30-kubernetes-clusters-to-terraform-cd2b1cef8b84
1•todsacerdoti•8m ago•1 comments

Why Big Tech Is Quietly Avoiding Rust in 2025

https://medium.com/@tanishaav20/why-big-tech-is-quietly-avoiding-rust-in-2025-e5afbc401094
2•ricecat•9m ago•0 comments

PSG(Soccer / Football) gave us a Business masterclass [video]

https://www.youtube.com/watch?v=rz9hbBzCR4U
1•riley-i•10m ago•0 comments

Space Forge raises $30M Series A to make chip materials in space

https://techcrunch.com/2025/05/31/space-forge-raises-30m-series-a-to-make-chip-materials-in-space/
2•severusdd•13m ago•0 comments

"If Anyone Builds It, Everyone Dies"

https://scottaaronson.blog/?p=8901
2•nsoonhui•16m ago•2 comments

Battle of Athens (1946)

https://en.wikipedia.org/wiki/Battle_of_Athens_(1946)
1•lifeisstillgood•19m ago•0 comments

For the love of God, stop calling your AI a co-worker

https://techcrunch.com/2025/06/01/for-the-love-of-god-stop-calling-your-ai-a-co-worker/
3•Sourabhsss1•24m ago•0 comments

Show HN: FLOX – C++ framework for building trading systems

https://github.com/eeiaao/flox
2•eeiaao•24m ago•0 comments

Ask HN: What do people think Jony Ive is building with OpenAI?

1•retube•24m ago•3 comments

Self-Host Like a Pro: Dokku, Hetzner and Cloudflare

https://catalins.tech/selfhost-with-dokku-hetzner-cloudflare/
2•taubek•24m ago•0 comments

Intel: Stumbling in the Spotlight

https://www.abortretry.fail/p/intel-stumbling-in-the-spotlight
1•rbanffy•25m ago•0 comments

Petabyte-Class E2 SSDs Poised to Disrupt Warm Data Storage – Storagereview.com

https://www.storagereview.com/news/e2-ssd-form-factor
1•rbanffy•26m ago•0 comments

SteamOS falls to lowest adoption level in years

https://www.neowin.net/news/steamos-falls-to-lowest-adoption-level-in-years-as-steam-on-linux-use-rises/
1•bundie•28m ago•0 comments

A tour of upcoming RFCs for the Hare programming language

https://harelang.org/blog/2025-06-02-planned-breaking-changes/
1•todsacerdoti•28m ago•0 comments

Created Chatbot with my professional data for recruiters who want to hire me

https://chinmay-muse-react.lovable.app/
1•cjaha22•29m ago•0 comments

'Blue Danube' waltz beamed at Voyager 1

https://www.theregister.com/2025/06/02/waltz_into_space_project/
1•samizdis•32m ago•0 comments

Selecting a Model Based on Stripe Conversion

https://cookbook.openai.com/examples/stripe_model_eval/selecting_a_model_based_on_stripe_conversion
1•tosh•33m ago•0 comments

The UI Revolution: How JSON Blueprints and Shared Workers Power Next-Gen AI UI

https://tobiasuhlig.medium.com/the-ui-revolution-how-json-blueprints-shared-workers-power-next-gen-ai-interfaces-60a2bf0fc1dc
1•Capstanlqc•37m ago•0 comments

What It takes to build an SaaS

https://tanvirbhachu.dev/blog/the-ai-saas-dream-is-a-lie
2•TimTan•37m ago•0 comments

Whatever Happened to Cheap EReaders?

https://shkspr.mobi/blog/2025/05/whatever-happened-to-cheap-ereaders/
29•blenderob•42m ago•20 comments

Business Insider recommended nonexistent books to staff as it leans into AI

https://www.semafor.com/article/06/01/2025/business-insider-recommended-nonexistent-books-to-staff-as-it-leans-into-ai
4•thm•44m ago•0 comments

A robotic arm made from human tissue

https://english.elpais.com/science-tech/2025-05-30/a-robotic-arm-made-from-human-tissue-science-advances-toward-living-muscle-prosthetics.html
1•belter•45m ago•0 comments

We Built an AI Data Team with Pydantic AI

https://pydantic.dev/articles/building-data-team-with-pydanticai
1•mritchie712•46m ago•0 comments