41554 blogs · [ { "id": "01a08732-b223-7092-804e-972d106c71a1", "title": "Rigour by Design: What AI-Powered Software Construction Should Look Like", "url": "https://avishek.net/2026/08/24/rigour-by-design.html", "published_at": "2026-08-23T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d1099d254", "title": "A Statute as a Runnable Logic Program: Field Notes from Climbing the Spec Ladder", "url": "https://avishek.net/2026/08/24/a-statute-as-a-runnable-logic-program.html", "published_at": "2026-08-23T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d11430fec", "title": "Harnessing LLMs with Deterministic Program Analysis for Legacy Code", "url": "https://avishek.net/2026/05/21/harnessing-llms-with-deterministic-program-analysis.html", "published_at": "2026-05-20T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d11b74a16", "title": "Against Enclosure: Software Architecture as a Political Act", "url": "https://avishek.net/2026/05/17/against-enclosure-software-architecture-as-political-act.html", "published_at": "2026-05-16T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d12af3ee3", "title": "Engineering Log: An AI Harness for RedDragon", "url": "https://avishek.net/2026/04/16/engineering-log-reddragon-testing-harness.html", "published_at": "2026-04-15T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d131e96d6", "title": "Engineering Log: Testing agentic coding workflows via Large Refactorings", "url": "https://avishek.net/2026/03/24/testing-agentic-development-systems-gsd-v2.html", "published_at": "2026-03-23T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d13432f81", "title": "Engineering Log: Anatomy of a Refactoring Using AI", "url": "https://avishek.net/2026/03/13/anatomy-of-a-refactoring-using-ai.html", "published_at": "2026-03-12T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d1430d048", "title": "Engineering Log: Building Non-Trivial Systems with an AI Coding Assistant", "url": "https://avishek.net/2026/03/12/experiences-building-with-coding-assistant.html", "published_at": "2026-03-11T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d143cf251", "title": "RedDragon: A Deterministic Compiler Pipeline with LLM-Assisted Repair for Analysing Incomplete Code and Unknown Languages", "url": "https://avishek.net/2026/03/01/designing-reddragon-multi-language-code-analysis.html", "published_at": "2026-02-28T18:30:00+00:00" }, { "id": "01a08732-b223-7092-804e-972d15042f28", "title": "Building a simple Virtual Machine in Prolog", "url": "https://avishek.net/2025/07/03/building-vm-in-prolog.html", "published_at": "2025-07-02T18:30:00+00:00" } ] posts Claim your blog

Back to avishek.net

Blog · corpus.blog/blogs/avishek.net/posts

avishek.net

avishek.net

2026

Rigour by Design: What AI-Powered Software Construction Should Look Like original ↗

23 Aug 2026

A Statute as a Runnable Logic Program: Field Notes from Climbing the Spec Ladder original ↗

23 Aug 2026

Harnessing LLMs with Deterministic Program Analysis for Legacy Code original ↗

20 May 2026

Against Enclosure: Software Architecture as a Political Act original ↗

16 May 2026

Engineering Log: An AI Harness for RedDragon original ↗

15 Apr 2026

Engineering Log: Testing agentic coding workflows via Large Refactorings original ↗

23 Mar 2026

Engineering Log: Anatomy of a Refactoring Using AI original ↗

12 Mar 2026

Engineering Log: Building Non-Trivial Systems with an AI Coding Assistant original ↗

11 Mar 2026

RedDragon: A Deterministic Compiler Pipeline with LLM-Assisted Repair for Analysing Incomplete Code and Unknown Languages original ↗

28 Feb 2026

2025

Building a simple Virtual Machine in Prolog original ↗

2 Jul 2025