Using TLA+ to Model Cascading Failures (2019)

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

1•Tomte•57s 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•1m 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•2m ago•0 comments

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

2•maxcomperatore•7m ago•0 comments

Wikiciv is the wiki manual for building civilization from scratch

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

2•Tomte•8m 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•12m 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•12m ago•0 comments

An Open Letter to Brian Chesky

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

2•dyarosla•14m ago•0 comments

Databricks Acquired Neon

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

1•gearnode•18m 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•18m ago•0 comments

DMV Filter: Find Real ID Appointments in CA

https://dmvfilter.com

3•eiiot•19m 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•19m ago•0 comments

David Hilbert's radio address (2014)

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

5•anigbrowl•23m ago•0 comments

LLM inference economics from first principles

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

2•nkko•25m 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•26m ago•0 comments

Laser-Induced Graphene from Commercial Inks and Dyes

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

2•PaulHoule•27m ago•0 comments

Consequences of the Moosbauer-Poole Algorithms

https://arxiv.org/abs/2505.05896

1•rbanffy•28m ago•0 comments

The Vibes

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

1•swah•28m ago•0 comments

Are the means of computation even seizable?

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

2•rbanffy•29m 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•31m ago•1 comments

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

https://www.familyfolder.com

2•tonystaunton•31m 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•32m ago•0 comments

How to Make a Tribe

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

1•paulpauper•32m 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•33m ago•0 comments

Vorarbeiter is here

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

1•speckx•33m ago•0 comments

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

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

1•1vuio0pswjnm7•33m ago•0 comments

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

1•kruuuder•36m 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)

Tokenized Apollo Credit Fund Makes DeFi Debut with Levered-Yield Strategy

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)