56,966 blogs · [ { "id": "01a0875b-18a9-71f1-b610-6ece9bb1b8eb", "title": "Why you can’t fire your engineering team just yet", "url": "https://bytesauna.com/post/difficulty?source=email", "published_at": "2026-04-27T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece9b4fe938", "title": "AI Enables You To Do What You Already Can Do", "url": "https://bytesauna.com/post/the-expertise-echo?source=email", "published_at": "2026-04-13T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece9ab8b198", "title": "The vision of combating model hallucinations with formal verification", "url": "https://bytesauna.com/post/formal_verification?source=email", "published_at": "2026-03-16T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece9a2c5e12", "title": "Execution over inspiration", "url": "https://bytesauna.com/post/routines?source=email", "published_at": "2026-01-26T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece9a0e4cab", "title": "The synthesist", "url": "https://bytesauna.com/post/the-synthesist?source=email", "published_at": "2026-01-19T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece99ec871f", "title": "Where 2025’s agentic AI hype fell short", "url": "https://bytesauna.com/post/2025-ai-hype?source=email", "published_at": "2026-01-12T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece99619746", "title": "Language is the new UI", "url": "https://bytesauna.com/post/language-user-interface?source=email", "published_at": "2026-01-05T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece98d2a63a", "title": "On insight debt", "url": "https://bytesauna.com/post/insight-debt?source=email", "published_at": "2025-12-29T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece98140f5e", "title": "What is creativity?", "url": "https://bytesauna.com/post/creativity?source=email", "published_at": "2025-12-22T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece97dc0d86", "title": "Understanding mathematics through Lean", "url": "https://bytesauna.com/post/proofs-as-types?source=email", "published_at": "2025-12-15T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece97bee9ee", "title": "Microservices should form a polytree", "url": "https://bytesauna.com/post/microservices?source=email", "published_at": "2025-12-08T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece97282a09", "title": "Do the thinking models actually think?", "url": "https://bytesauna.com/post/consciousness?source=email", "published_at": "2025-12-01T00:00:00+00:00" }, { "id": "01a0875b-18a9-71f1-b610-6ece966311d7", "title": "No free lunch in vibe coding", "url": "https://bytesauna.com/post/prompting?source=email", "published_at": "2025-11-24T00:00:00+00:00" }, { "id": "01a0875b-18a8-712c-a4d6-7a2d15e296b2", "title": "My favorite math problem", "url": "https://bytesauna.com/post/my-favorite-math-problem?source=email", "published_at": "2025-11-17T00:00:00+00:00" }, { "id": "01a0875b-18a8-712c-a4d6-7a2d1545b7ab", "title": "LLMs are steroids for your Dunning-Kruger", "url": "https://bytesauna.com/post/dunning-kruger?source=email", "published_at": "2025-11-10T00:00:00+00:00" }, { "id": "01a0875b-18a8-712c-a4d6-7a2d14de69b2", "title": "I love boring business ideas", "url": "https://bytesauna.com/post/i-love-boring-business-ideas?source=email", "published_at": "2025-11-03T00:00:00+00:00" }, { "id": "01a0875b-18a8-712c-a4d6-7a2d148c4139", "title": "AI can code, but it can't build software", "url": "https://bytesauna.com/post/coding-vs-software-engineering?source=email", "published_at": "2025-10-27T00:00:00+00:00" }, { "id": "01a0875b-18a8-712c-a4d6-7a2d13edbf22", "title": "Don't Let an AI Ruin Your Voice", "url": "https://bytesauna.com/post/a-case-against-ai-content?source=email", "published_at": "2025-10-21T00:00:00+00:00" } ] posts Claim your blog

Back to bytesauna.com

Blog · corpus.blog/blogs/bytesauna.com/posts

bytesauna.com

bytesauna.com

2026

Why you can’t fire your engineering team just yet original ↗

27 Apr 2026

AI Enables You To Do What You Already Can Do original ↗

13 Apr 2026

The vision of combating model hallucinations with formal verification original ↗

16 Mar 2026

Execution over inspiration original ↗

26 Jan 2026

The synthesist original ↗

19 Jan 2026

Where 2025’s agentic AI hype fell short original ↗

12 Jan 2026

Language is the new UI original ↗

5 Jan 2026

2025

On insight debt original ↗

29 Dec 2025

What is creativity?original ↗

22 Dec 2025

Understanding mathematics through Lean original ↗

15 Dec 2025

Microservices should form a polytree original ↗

8 Dec 2025

Do the thinking models actually think?original ↗

1 Dec 2025

No free lunch in vibe coding original ↗

24 Nov 2025

My favorite math problem original ↗

17 Nov 2025

LLMs are steroids for your Dunning-Kruger original ↗

10 Nov 2025

I love boring business ideas original ↗

3 Nov 2025

AI can code, but it can't build software original ↗

27 Oct 2025

Don't Let an AI Ruin Your Voice original ↗

21 Oct 2025