The Tokio/Rayon Trap and Why Async/Await Fails Concurrency(pmbanugo.me)

80 points by LAC-Tech 3 months ago | 50 comments

Zeroserve: A zero-config web server you can script with eBPF(su3.io)

253 points by losfair 4 months ago | 58 comments

OpenTelemetry Tracing in < 200 lines of code(jeremymorrell.dev)

213 points by masterj 2 years ago | 28 comments

Atuin Desktop: Runbooks That Run – Now Open Source(blog.atuin.sh)

222 points by digdugdirk 1 year ago | 68 comments

NixOS is more complicated than you think but OpenCode fixed it(grigio.org)

13 points by grigio 3 months ago | 2 comments

What Google Translate can tell us about vibecoding(ingrids.space)

255 points by todsacerdoti 1 year ago | 150 comments

Anthropic taps IPO lawyers as it races OpenAI to go public(ft.com)

346 points by GeorgeWoff25 10 months ago | 275 comments

News report that Anthropic has hired IPO lawyers and is preparing for a potential 2026 public listing as it competes with OpenAI.

Transcribe.cpp(workshop.cjpais.com)

696 points by sebjones 3 months ago | 144 comments

Project page announcing transcribe.cpp, a ggml-based speech transcription library supporting recent models, from the author of the Handy speech-to-text app.

Sycophancy in GPT-4o(openai.com)

523 points by dsr12 1 year ago | 413 comments

OpenAI blog post explaining why a GPT-4o update made ChatGPT overly sycophantic, why it was rolled back, and what changes OpenAI is making.

GPT‑5.3‑Codex‑Spark(openai.com)

870 points by meetpateltech 8 months ago | 373 comments

OpenAI announcement introducing GPT-5.3-Codex-Spark, an ultra-fast model for real-time coding in Codex.

The internet discovers TLA+. Now what?(reasonable.io)

97 points by matt_d 29 days ago | 48 comments

A Reasonable blog post introducing TLA+ and discussing how temporal specifications, proof systems, and AI agents can combine to produce specified, verified software.

Teaching ChatGPT to speak my son’s invented language(szopa.medium.com)

387 points by szopa 3 years ago | 156 comments

A Medium post by Ryszard Szopa describing how he taught ChatGPT to speak and translate a constructed language invented by his son.