Planet2

Subscribe to Planet2’s news feed.

Click on “Follow” and decide if you want to get news from Planet2 via RSS, as email newsletter, via mobile or on your personal news page.

Subscription to Planet2 comes without risk as you can unsubscribe instantly at any time.

You can also filter the feed to your needs via topics and keywords so that you only receive the news from Planet2 which you are really interested in. Click on the blue “Filter” button below to get started.

Title: Planet2

Is this your feed? Claim it!

Publisher: Unclaimed!

Message frequency: 0.57 / day

Message History

Mark Jason Dominus: "Steph Curry: fluke or breakthrough” ten years later1 day

(Previously)

Flukes and Breakthroughs

In the NBA 2015–16 season, Steph Curry set the all-time single-season record for three-point field goals, 402, completely crushing the old record of 286. Curry's record still stands.

Read full story

Tweag I/O: Five years of Cardano smart-contract audits: a retrospective5 days

At Tweag, we have been auditing Cardano smart contracts since 2021. We started out reviewing contracts mostly by hand, but it did not take long before we began building tooling to make our audits more efficient and systematic — most notably cooked-validators, which we have mai...

Read full story

in Code: LLMs Will Cheese Your Types: Fighting Back in Haskell6 days

Sooo yes it’s true, I’ve been integrating LLMs and agentic coding tools in my Haskell coding since the beginning of this year for a lot of my projects, both personal and professional. I do all of my programming in Haskell, a language with a very expressive type system that encourages “type-driven development”.

Working with LLMs on writing Haskell is a very unique exper...

Read full story