Skip to content

#Coding

0 today

Nov 13

Friday

Nov 12

Thursday

Nov 11

Wednesday
  1. Gemini 4 Carbon is now available

    Today, we’re making Gemini 4 Carbon available to developers, enterprises, scientists, and consumers. Carbon is our strongest model with frontier performance in cybersecurity capabilities and long-horizon agentic workflows across complex knowledge work, software engineering, and scientific reasoning.

Nov 10

Tuesday
  1. Introducing Claude Fable 5.2 on AWS

    Claude Fable 5.2 and Claude Mythos 5.2 are now available on Amazon Bedrock and Claude Platform on AWS. Learn what's new in both models, why Fable 5.2 matters for your technical workloads, and how to get started building with it on Amazon Bedrock.

Nov 7

Saturday

Nov 6

Friday
  1. Formally verifying agent-written full-stack web apps with PDD Kit

    AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical.

Nov 5

Thursday

Nov 4

Wednesday

Nov 3

Tuesday

Oct 31

Saturday
  1. Preview web apps live as your coding agent builds them with Amazon Bedrock AgentCore runtime

    Amazon Bedrock AgentCore Session endpoints give each runtime session an authenticated URL that forwards any HTTP method, path, and WebSocket connection to the ports you allow. In this post, you deploy a coding agent that keeps a Vite website running in its session, then watch the live site update in your browser as the agent edits files.

Oct 30

Friday
  1. Build a repeatable PHP-to-Java migration engine with Kiro

    Turn a PHP-to-Java migration from a one-time leap of faith into a measurable, repeatable process with Kiro. This post walks through a reusable engine: a mechanical discovery scanner and an eight-phase, parity-first workflow that treats the original PHP application as the specification and verifies the Java port with a parity harness.

Oct 29

Thursday

Oct 27

Tuesday

Oct 22

Thursday

Oct 21

Wednesday

Oct 20

Tuesday

Oct 17

Saturday

Oct 16

Friday

Oct 14

Wednesday

Oct 13

Tuesday

Oct 10

Saturday

Oct 9

Friday