postreads.co beta

The Connection

Published on July 8, 2025 10:53 AM GMTI. ~ Fifteen years ago.I lean down carefully to examine the fresh track in the soft sand of the clearing. Two thick crescents...

Borderlands 4 certainly looks like it's taking its story more seriously: 'We wanted to go back to this sense of dread about the villain of our game'

There's some fun cyberpunk DNA coursing through this thing.

Marvel Rivals' most exciting change in Season 3 is removing the need to grind the game every single day

Playing for the fun of it, rather than to tick off a challenge each time you log in? Revolutionary.

Crucial's new SSD was already our favorite budget PCIe 5.0 drive and then Prime Day happened, making it less than $100 at Amazon

A Gen5 drive with "the price to finally make that compelling argument that if you're not on a 5.0 drive for your OS, you really ought to be."

Subversion via Focal Points: Investigating Collusion in LLM Monitoring

Published on July 8, 2025 10:15 AM GMTI released a new paper on collusion and Schelling coordination between language models: “Subversion via Focal Points: Investigating Collusion in LLM Monitoring”.Abstract:“We evaluate...

Soshi

Your AI social media manager for X Discussion | Link

Parsagon

AI to track and analyze public policy Discussion | Link

Turn your wall into the ultimate PC gaming display with these Prime Day Valerion projector deals

Meta bets big on AI while Lovable reaches $2 billion valuation: AI news roundup

It’s all go at Meta and MS unveils a medical diagnostic tool – our roundup of the AI news stories that grabbed our attention in the past week. Meta bets...

How to get the Amber Mutation in Grow a Garden

Make more money thanks to this new mutation.

How to Use LlamaIndex.TS to Orchestrate MCP Servers

In this post, we’ll demonstrate how to orchestrate Model Context Protocol (MCP) servers in a real-world TypeScript application. We’re using the [Azure AI Travel Agents] project as our base, focusing...

What Functional Programmers Can Learn from Sequent Calculus

This article highlights five key insights from the 𝜆𝜇𝜇˜-calculus, particularly the treatment of evaluation contexts as first-class and the restored symmetry between data and codata in sequent calculus. These features...

OFZA Appoints Amir Tabch as CEO to Lead Next Phase of Regulated Growth

OFZA, the UAE-born, regulator-aligned cryptocurrency exchange, has appointed Amir Tabch as Chief Executive Officer to lead OFZA through its next stage of growth and market activation. A seasoned executive with...

The future doesn’t care

It doesn’t care whether you’re excited or filled with trepidation. It arrives, regardless. What an opportunity. Or a threat. Up to us.

Micro Machines 1 and 2 Twin Turbo GBC prototypes

More prototypes added to the Games That Weren't archive, where today we're adding a series of Micro Machines 1 and 2 Twin Turbo prototypes for the Nintendo Color Game Boy....

How Typing Rules and Type Soundness Work in Core and Fun Programming Languages

This article explains the typing rules and type soundness of Core and Fun, covering the roles of producers, consumers, codata, and recursive definitions. It presents progress and preservation theorems for...

Vapi CLI

The best DX for building voice AI Discussion | Link

Why Type Soundness Matters in Functional Programming Languages

This article outlines the typing rules for two minimal languages, Fun and Core, focusing on type soundness, control flow constructs, and the translation of typeability between them. It also explores...

Eight lessons from eight years as a cloud product manager

“We need this feature to support enterprise customers,” the sales engineer insisted during our weekly triage call. “A major competitor is threatening to take the deal.” I looked at the...

UK looking to revamp defense laws as undersea cable sabotage and cyber attacks create 'gray zone threats'

When an eel bites the line and you're all out of time, that's a moray. I Can't help with the gray zone threats, though.