Search

70 results for "leanprover-community"

Sort by:

I thought downsizing would be hard for our family of 4. It ended up changing our lives for the better.

The author's family moved from Texas to Colorado and downsized their home. Courtesy of Vivaciously Chelsea I moved my family from a 3,300-square-foot house to 1,200 square feet of living space. The mo...

4dBusiness InsiderlifestyleImpact

How startups can 'break through the noise' and grab attention, according to a marketer-turned-VC

Lindsay Kaplan is a former marketing executive and cofounder of Chief, a networking company for women. Courtesy of Lindsay Kaplan Attention is a hot commodity in the age of social media overload &mdas...

12hBusiness InsiderTechnologyImpact

My nonprofit celebrates birthdays for families who can't afford them. In 14 years, I've never grown tired of seeing their joy.

Paige Chenault Lohoefer founded The Birthday Project in 2012 Courtesy of This be Grace Paige Chenault Lohoefer is the founder of the nonprofit The Birthday Party Project. The organization celebrates k...

Jan 13Business InsidersocietyImpact

Show HN: Mastra 1.0, open-source JavaScript agent framework from the Gatsby devs

Hi HN, we're Sam, Shane, and Abhi. Almost a year ago, we first shared Mastra here ( https://news.ycombinator.com/item?id=43103073 ). It’s kind of fun looking back since we were only a few months into ...

1dHacker NewsTechnologyImpact

Alexis Ohanian was asked if he misses anything about leading Reddit. He summed it up in 3 words.

Alexis Ohanian said he doesn't miss Reddit. Amal Alhasan/Getty Images for Fortune Media Reddit's cofounder, Alexis Ohanian, said he does not miss being in leadership at the company. He conducted an &#...

2dBusiness InsiderTechnologyImpact

Amazon MMO New World Has Just a Year to Live, Rust Dev Offers to Buy It

Amazon has announced that its MMO, New World, will be officially taken offline from all platforms on January 31, 2027. The game is now delisted, which means it is no longer available for purchase. You...

5dIGNTechnologyImpact

Armed Robbers Steal $100,000 of Pokémon Card Merchandise, Hold Customers at Gunpoint

A Pokémon card store in Manhatten has become the latest target for thieves looking to steal merchandise featuring the lucrative pocket monsters — and this time, customers were held at gunpoint. Speaki...

5dIGNcrimeImpact

Show HN: What if your menu bar was a keyboard-controlled command center?

Hey Hacker News The ones that know me here know that I am a productivity geek. After DockFlow to manage my Dock and ExtraDock, which gives me more space to manage my apps and files, I decided to tackl...

4dHacker NewsTechnologyImpact

Show HN: Gambit, an open-source agent harness for building reliable AI agents

Hey HN! Wanted to show our open source agent harness called Gambit. If you’re not familiar, agent harnesses are sort of like an operating system for an agent... they handle tool calling, planning, con...

6dHacker NewsTechnologyImpact

I visited 29 states last year. If I had to pick a new place to live, it would be this stunning coastal destination.

After visiting 29 states last year, I would choose to move to Maine. Emily Pogue My husband and I spent most of last year traveling around the United States . We spent time in 29 different states, but...

Jan 13Business Insiderlifestyle

Ryanair just escalated its feud with Elon Musk to new heights

Ryanair CEO Michael O'Leary at Wednesday's press conference. Brian Lawless/PA Images via Getty Images Ryanair is escalating its feud with Elon Musk by hand-delivering an airline ticket. CEO Michael O'...

17hBusiness Insidereconomics

I'm still working in the medical field at 83. My husband doesn't need me at home staring at him all day — I want to be productive.

Barbara Ford, 83, works in the medical field. Laura Thompson for BI This as-told-to essay is based on a conversation with Barbara Ford, an 83-year-old registered nurse and patient advocate for a healt...

6dBusiness InsiderHealthImpact

Avatar Superfans Are Calling on Each Other to See Fire and Ash Multiple Times in the Theater to Help Boost Its Box Office — but Not Everyone Is on Board With the Idea

As Avatar: Fire and Ash rumbles on at the box office and it becomes increasingly clear that James Cameron’s sci-fi epic won’t come close to matching the enormous amount of money Avatar 1 and 2 made, s...

1dIGNEntertainmentImpact

Palantir CEO Alex Karp says humanities jobs are doomed in the age of AI: 'Hopefully you have some other skill'

Alex Karp, CEO of Palantir, said vocational skills will be in high demand in the AI era. Fabrice COFFRINI / AFP via Getty Images Alex Karp, the CEO and cofounder of Palantir, doesn't have a technical ...

1dBusiness InsiderTechnologyImpact

Buckle up: Partiful is the new Tinder

Partiful A new way to flirt just dropped. Partiful wants you to shoot your shot in the RSVPs. The party invite app recently launched a tool called "Crush" that lets people match with mutuals. ...

6dBusiness InsiderTechnologyImpact

Anthropic says its buzzy new Claude Cowork tool was mostly built by AI — in less than 2 weeks

Anthropic's Claude Cowork AI tool, which has launched as a research preview this week. Anthropic Anthropic employees used Claude to build Cowork, its new agentic tool launched this week. The AI startu...

Jan 13Business InsiderTechnologyImpact

My husband has spent years preparing for early retirement. I've been doing the opposite.

captionTKKTK Ashley Archambault My parents died before they could retire, which has made me value the present day over the future. My husband, on the other hand, has been saving since high school and ...

2dBusiness Insiderlifestyle

Arc Raiders Update Targets Infamous Stella Montis Glitch – But Some Say ‘Rats’ Are Still in the Walls

Developer Embark Studios says Arc Raiders update 1.12.0 patched some infamous out-of-bounds exploits – but players say "rats" still live in the walls of Stella Montis. Community lead Ossen took to the...

1dIGNTechnology

I thought I needed to hit a magic number to retire comfortably. Getting laid off at 58 changed my thinking.

The author was laid off at age 58. Courtesy of the author Getting laid off at 58 forced me to confront what retiring comfortably really means. Chasing a "magic number" for retirement kept me w...

1dBusiness InsidereconomicsImpact

I left California for Austin and have no regrets. Moving to Texas is one of the best things I've done.

Rick Havacko. Courtesy of Rick Havacko Rick Havacko moved from Orange County to Austin for the affordability and a lifestyle change. He chose Dripping Springs for its rural charm, lower costs, and vib...

Jan 14Business InsiderlifestyleImpact

←2 / 4→

Search

I thought downsizing would be hard for our family of 4. It ended up changing our lives for the better.

How startups can 'break through the noise' and grab attention, according to a marketer-turned-VC

My nonprofit celebrates birthdays for families who can't afford them. In 14 years, I've never grown tired of seeing their joy.

Show HN: Mastra 1.0, open-source JavaScript agent framework from the Gatsby devs

Alexis Ohanian was asked if he misses anything about leading Reddit. He summed it up in 3 words.

Amazon MMO New World Has Just a Year to Live, Rust Dev Offers to Buy It

Armed Robbers Steal $100,000 of Pokémon Card Merchandise, Hold Customers at Gunpoint

Show HN: What if your menu bar was a keyboard-controlled command center?

Show HN: Gambit, an open-source agent harness for building reliable AI agents

I visited 29 states last year. If I had to pick a new place to live, it would be this stunning coastal destination.

Ryanair just escalated its feud with Elon Musk to new heights

I'm still working in the medical field at 83. My husband doesn't need me at home staring at him all day &mdash; I want to be productive.

Avatar Superfans Are Calling on Each Other to See Fire and Ash Multiple Times in the Theater to Help Boost Its Box Office — but Not Everyone Is on Board With the Idea

Palantir CEO Alex Karp says humanities jobs are doomed in the age of AI: 'Hopefully you have some other skill'

Buckle up: Partiful is the new Tinder

Anthropic says its buzzy new Claude Cowork tool was mostly built by AI &mdash; in less than 2 weeks

My husband has spent years preparing for early retirement. I've been doing the opposite.

Arc Raiders Update Targets Infamous Stella Montis Glitch – But Some Say ‘Rats’ Are Still in the Walls

I thought I needed to hit a magic number to retire comfortably. Getting laid off at 58 changed my thinking.

I left California for Austin and have no regrets. Moving to Texas is one of the best things I've done.

Search

I thought downsizing would be hard for our family of 4. It ended up changing our lives for the better.

How startups can 'break through the noise' and grab attention, according to a marketer-turned-VC

My nonprofit celebrates birthdays for families who can't afford them. In 14 years, I've never grown tired of seeing their joy.

Show HN: Mastra 1.0, open-source JavaScript agent framework from the Gatsby devs

Alexis Ohanian was asked if he misses anything about leading Reddit. He summed it up in 3 words.

Amazon MMO New World Has Just a Year to Live, Rust Dev Offers to Buy It

Armed Robbers Steal $100,000 of Pokémon Card Merchandise, Hold Customers at Gunpoint

Show HN: What if your menu bar was a keyboard-controlled command center?

Show HN: Gambit, an open-source agent harness for building reliable AI agents

I visited 29 states last year. If I had to pick a new place to live, it would be this stunning coastal destination.

Ryanair just escalated its feud with Elon Musk to new heights

I'm still working in the medical field at 83. My husband doesn't need me at home staring at him all day &mdash; I want to be productive.

Avatar Superfans Are Calling on Each Other to See Fire and Ash Multiple Times in the Theater to Help Boost Its Box Office — but Not Everyone Is on Board With the Idea

Palantir CEO Alex Karp says humanities jobs are doomed in the age of AI: 'Hopefully you have some other skill'

Buckle up: Partiful is the new Tinder

Anthropic says its buzzy new Claude Cowork tool was mostly built by AI &mdash; in less than 2 weeks

My husband has spent years preparing for early retirement. I've been doing the opposite.

Arc Raiders Update Targets Infamous Stella Montis Glitch – But Some Say ‘Rats’ Are Still in the Walls

I thought I needed to hit a magic number to retire comfortably. Getting laid off at 58 changed my thinking.

I left California for Austin and have no regrets. Moving to Texas is one of the best things I've done.

I'm still working in the medical field at 83. My husband doesn't need me at home staring at him all day — I want to be productive.

Anthropic says its buzzy new Claude Cowork tool was mostly built by AI — in less than 2 weeks

I'm still working in the medical field at 83. My husband doesn't need me at home staring at him all day — I want to be productive.

Anthropic says its buzzy new Claude Cowork tool was mostly built by AI — in less than 2 weeks