Using TLA+ to Model Cascading Failures (2019)

https://medium.com/software-safety/using-tla-to-model-cascading-failures-5d1ebc5e4c4f

1•Tomte•2m ago•0 comments

First Visible Aurora Spotted over Mars by NASA Rover

https://www.nytimes.com/2025/05/14/science/mars-aurora-northern-lights.html

1•reaperducer•3m ago•0 comments

Microsoft hasn't bowed to Trump – and the company is thriving

https://www.computerworld.com/article/3983406/microsoft-hasnt-bowed-to-trump-and-the-company-is-thriving.html

1•dxs•3m ago•0 comments

Ask HN: If AI makes human labor worthless, what happens next?

2•maxcomperatore•8m ago•0 comments

Wikiciv is the wiki manual for building civilization from scratch

https://wikiciv.org/index.php/Main_Page

2•Tomte•9m ago•0 comments

The future of LLMs is open source, Salesforce's Benioff says

https://www.theregister.com/2025/05/14/future_of_llms_is_open/

1•rntn•13m ago•1 comments

When It Comes to AI Policy, Congress Shouldn't Cut States Off at the Knees

https://garymarcus.substack.com/p/when-it-comes-to-ai-policy-congress

2•nis0s•14m ago•0 comments

An Open Letter to Brian Chesky

https://docs.google.com/document/d/1JtTsNOq00m8Poj2aMeukvKjyWlK6m9lFk9C7O0LUi3I/mobilebasic

2•dyarosla•15m ago•0 comments

Databricks Acquired Neon

https://neon.tech/blog/neon-and-databricks

1•gearnode•19m ago•0 comments

Rogue communication devices found in Chinese solar power inverters

https://tech.yahoo.com/cybersecurity/articles/ghost-machine-rogue-communication-devices-050547857.html

5•WaitWaitWha•19m ago•0 comments

DMV Filter: Find Real ID Appointments in CA

https://dmvfilter.com

3•eiiot•20m ago•0 comments

California's Retro Video Game Modding Scene

https://www.comstocksmag.com/web-only/inside-californias-retro-video-game-modding-scene

1•rbanffy•20m ago•0 comments

David Hilbert's radio address (2014)

https://old.maa.org/press/periodicals/convergence/david-hilberts-radio-address

5•anigbrowl•24m ago•0 comments

LLM inference economics from first principles

https://www.tensoreconomics.com/p/llm-inference-economics-from-first

2•nkko•26m ago•0 comments

Blumenthal, Blackburn, Thune & Schumer Introduce the Kids Online Safety Act

https://www.blumenthal.senate.gov/newsroom/press/release/blumenthal-blackburn-thune-and-schumer-introduce-the-kids-online-safety-act

1•Improvement•27m ago•0 comments

Laser-Induced Graphene from Commercial Inks and Dyes

https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.202412167

2•PaulHoule•28m ago•0 comments

Consequences of the Moosbauer-Poole Algorithms

https://arxiv.org/abs/2505.05896

1•rbanffy•29m ago•0 comments

The Vibes

https://taoofmac.com/space/blog/2025/05/13/2230

1•swah•29m ago•0 comments

Are the means of computation even seizable?

https://pluralistic.net/2025/05/14/pregnable/#checkm8

2•rbanffy•30m ago•0 comments

They want to climb Everest in a week using an anesthetic gas.

https://www.cnn.com/2025/05/13/travel/climb-everest-one-week-xenon-intl

2•bookofjoe•32m ago•1 comments

Show HN: Family Folder – Help your family remember everything, organise anything

https://www.familyfolder.com

2•tonystaunton•32m ago•0 comments

Predictions of AI progress hinge on two questions nobody has convincing answers

https://voltairesviceroy.substack.com/p/predictions-of-ai-progress-hinge

1•paulpauper•33m ago•0 comments

How to Make a Tribe

https://www.mikesblog.net/p/how-to-make-a-tribe

1•paulpauper•34m ago•0 comments

Nature vs. Nurture vs. Putting in the Work

https://dendwrite.substack.com/p/nature-vs-nurture-vs-putting-in-the

1•paulpauper•34m ago•0 comments

Vorarbeiter is here

https://docs.flathub.org/blog/vorarbeiter-is-here

1•speckx•34m ago•0 comments

McEliece standardization: Looking at what's happening, and analyzing rationales

https://blog.cr.yp.to/20250423-mceliece.html

1•1vuio0pswjnm7•34m ago•0 comments

Ask HN: What's your Windows game development environment?

1•kruuuder•37m ago•0 comments

When Open Source Isn't: How OpenRewrite Lost Its Way

https://medium.com/@jonathan.leitschuh/when-open-source-isnt-how-openrewrite-lost-its-way-642053be287d

Using TLA+ to Model Cascading Failures (2019)

First Visible Aurora Spotted over Mars by NASA Rover

Microsoft hasn't bowed to Trump – and the company is thriving

Ask HN: If AI makes human labor worthless, what happens next?

Wikiciv is the wiki manual for building civilization from scratch

The future of LLMs is open source, Salesforce's Benioff says

When It Comes to AI Policy, Congress Shouldn't Cut States Off at the Knees

An Open Letter to Brian Chesky

Databricks Acquired Neon

Rogue communication devices found in Chinese solar power inverters

DMV Filter: Find Real ID Appointments in CA

California's Retro Video Game Modding Scene

David Hilbert's radio address (2014)

LLM inference economics from first principles

Blumenthal, Blackburn, Thune & Schumer Introduce the Kids Online Safety Act

Laser-Induced Graphene from Commercial Inks and Dyes

Consequences of the Moosbauer-Poole Algorithms

The Vibes

Are the means of computation even seizable?

They want to climb Everest in a week using an anesthetic gas.

Show HN: Family Folder – Help your family remember everything, organise anything

Predictions of AI progress hinge on two questions nobody has convincing answers

How to Make a Tribe

Nature vs. Nurture vs. Putting in the Work

Vorarbeiter is here

McEliece standardization: Looking at what's happening, and analyzing rationales

Ask HN: What's your Windows game development environment?

When Open Source Isn't: How OpenRewrite Lost Its Way

Show HN: PicNow – realtime AI image generator

UTC is Enough for Everyone, Right? (2018)

CSS Attr() Gets an Upgrade

Comments

Using TLA+ to Model Cascading Failures (2019)

First Visible Aurora Spotted over Mars by NASA Rover

Microsoft hasn't bowed to Trump – and the company is thriving

Ask HN: If AI makes human labor worthless, what happens next?

Wikiciv is the wiki manual for building civilization from scratch

The future of LLMs is open source, Salesforce's Benioff says

When It Comes to AI Policy, Congress Shouldn't Cut States Off at the Knees

An Open Letter to Brian Chesky

Databricks Acquired Neon

Rogue communication devices found in Chinese solar power inverters

DMV Filter: Find Real ID Appointments in CA

California's Retro Video Game Modding Scene

David Hilbert's radio address (2014)

LLM inference economics from first principles

Blumenthal, Blackburn, Thune & Schumer Introduce the Kids Online Safety Act

Laser-Induced Graphene from Commercial Inks and Dyes

Consequences of the Moosbauer-Poole Algorithms

The Vibes

Are the means of computation even seizable?

They want to climb Everest in a week using an anesthetic gas.

Show HN: Family Folder – Help your family remember everything, organise anything

Predictions of AI progress hinge on two questions nobody has convincing answers

How to Make a Tribe

Nature vs. Nurture vs. Putting in the Work

Vorarbeiter is here

McEliece standardization: Looking at what's happening, and analyzing rationales

Ask HN: What's your Windows game development environment?

When Open Source Isn't: How OpenRewrite Lost Its Way

Show HN: PicNow – realtime AI image generator

UTC is Enough for Everyone, Right? (2018)