AI is predicted to bring formal verification tools like Dafny and Verus into mainstream use, aided by LLMs making them more accessible.
A critique of AI and procedural generation in video games, arguing they create soulless, repetitive content instead of meaningful experiences.
A retrospective on ChatGPT's third anniversary, covering its surprising launch, initial internal skepticism, and unprecedented growth to 800 million users.
Martin Fowler discusses the latest Thoughtworks Technology Radar, AI's impact on programming, and his recent tech talks in Europe.
A developer with AiDHD discusses the challenges of focus and feature creep when building MVPs with AI, emphasizing the need for discipline.
Analysis of Amazon's recent 14,000 layoffs, exploring whether AI or economic factors are the primary cause behind the job cuts.
A guide on using Python, AI, and LLMs like LangGraph to detect code vulnerabilities, including workflow design and cost considerations.
An analysis of whether AI has replaced human software developers, arguing that AI currently augments rather than replaces developers.
An introduction to reasoning in Large Language Models, covering concepts like chain-of-thought and methods to improve LLM reasoning abilities.
The article explores how the writing process of AI models can inspire humans to overcome writer's block by adopting a less perfectionist approach.
A CTO's experiment integrating AI with blockchain to create 'purpose bound money', challenging the idea that the two technologies are incompatible.
Explores methods for using and finetuning pretrained large language models, including feature-based approaches and parameter updates.
How to use GitHub Copilot to interact with and query Azure documentation hosted in a public repository for up-to-date technical information.
A beginner-friendly guide to using HuggingFace's Transformers and Diffusers libraries for practical AI applications, including image generation.
An AI-generated, alliterative rewrite of Genesis 1 where every word starts with the letter 'A', created using GPT-4.
A developer argues that AI will augment, not replace, front-end developers, addressing fears about the future of the profession.
Argues that AI image generation won't replace human artists, using information theory to explain their unique creative value.
A transcript of Elon Musk's controversial on-stage appearance with Dave Chappelle, correcting media reports about the crowd's reaction.
Explores using DALL·E 2 AI to generate symbolic and spiritual art, with tips on prompts like 'religious art' for creative results.
Explains four levels of customer targeting, from no segmentation to advanced recommendation systems, and their business applications.
