Prompt caching for cheaper LLM tokens(ngrok.com)

268 points by samwho 10 months ago | 67 comments

Zed's Pricing Has Changed: LLM Usage Is Now Token-Based(zed.dev)

156 points by meetpateltech 1 year ago | 148 comments

Shiba Inu cloud credentials leaked on a public repository (2022)(blog.pingsafe.com)

23 points by dsr12 3 years ago | 1 comments

Using the FDAP Architecture to Build InfluxDB 3.0: Flight, DataFusion, Arrow(influxdata.com)

19 points by treesciencebot 3 years ago | 4 comments

How Dactyl Works(dactyl.dev)

60 points by anorak27 1 month ago | 12 comments

Fair Work Commission condemns 'plain wrong' AI legal advice(abc.net.au)

48 points by martyvis 1 month ago | 20 comments

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

Anthropic surpasses OpenAI to become most valuable AI startup(qazinform.com)

361 points by Bolat14 4 months ago | 368 comments

Kazinform news article reporting that Anthropic surpassed OpenAI in valuation after a new funding round, approaching $1 trillion.

We're Missing a Key Reason Why Americans Hate AI(derekthompson.org)

11 points by abe94 24 days ago | 8 comments

A paid Substack essay by Derek Thompson arguing the AI buildout has raised costs rather than delivering cheap abundance, fueling American hostility to AI.

AI is just unauthorised plagiarism at a bigger scale(axelk.ee)

665 points by speckx 5 months ago | 542 comments

A personal blog post arguing that AI companies train on authors' work without consent or compensation, amounting to plagiarism at scale.

The current hype around autonomous agents, and what actually works in production(utkarshkanwat.com)

356 points by Dachande663 1 year ago | 204 comments

Blog post by Utkarsh Kanwat arguing that the hype around fully autonomous AI agents is unrealistic and describing what actually works in production agent systems.