Tag
The author reflects on his journey from manually typing code on a vintage Macintosh to embracing AI-powered code completion tools like Copilot and Claude, concluding that while the AI industry is problematic, the technology itself can be useful.
Humanly is a configurable writing platform that records the writing process to provide traceable evidence of human-AI collaboration, with features like sealed certificates and anomaly detection.
This paper investigates why some developers experience significant coding productivity improvements from AI assistance while others see little to no benefit, exploring factors that may explain the variance.
A developer reflects on the trade-off between using AI to write code faster versus understanding the code deeply, and questions how to balance AI assistance with genuine learning.
This research paper investigates how AI advice reduces people's willingness to express uncertainty, even when the advice is wrong and accuracy is incentivized, altering metacognitive thresholds.
A blog post detailing the author's experience using LLMs to configure MikroTik networking equipment, including tips and best practices.
Android Studio Quail 2 is now stable, introducing parallel AI agent chats, integrated LeakCanary memory leak detection with 5x faster profiling, and Gemini-powered crash fixes.
This paper presents a case study where a mathematician directed an AI to formalize the mean-field derivation of the Vlasov equation in the Lean proof assistant, framing the process as a strategy game. The formalization was completed in about a month, with the AI executing proofs under human guidance.
A 16-year-old shares how using vibecoding (AI-assisted coding) helped them overcome struggles in junior year and successfully publish their first app on the App Store.
The author revives his custom bytecode VM (UVM) and builds a Clang backend by parsing textual LLVM IR with AI assistance, successfully porting Doom to the VM.
In a personal essay, Craig Mod describes his obsession with building custom software using Claude Code, culminating in a custom accounting system that handles his complex financial needs across multiple countries and currencies.
Matt Pocock argues that the decision to read code during code review is not binary but a spectrum, listing seven levels of engagement from reading every line to letting models handle everything.
Reflection on whether using AI tools like ChatGPT and Claude genuinely builds skills or erodes baseline abilities due to over-reliance on shortcuts, comparing the phenomenon to calculators and search engines.
The author shares their experience using local AI models for real-world coding tasks.
A developer outlines three main prep activities in software development (discuss, research, prototype) and asks why AI's usefulness in these wasn't obvious sooner.
The author shares how they transformed AI from a search engine into a team member, enabling them to develop four products simultaneously.
The paper introduces the Paper Assistant Tool (PAT), an agentic AI framework for deep scientific review that uses inference scaling to identify mathematical errors and other flaws, achieving a 34% improvement in recall over zero-shot methods. Pilot deployments at STOC and ICML demonstrate its ability to catch critical errors before submission, easing the burden on human referees.
This whitepaper from OpenAI presents practical strategies for using Codex as a persistent workspace to maintain context, manage complex workflows, and sustain progress across long-running projects by breaking goals into verifiable steps.
This article explains how to build a knowledge graph in Obsidian using Claude as an AI engine to find connections, arguing that note-taking systems become more valuable over time when notes are linked, rather than isolated.
The author reflects on how Claude has surpassed them in creative guidance and reasoning, catching them out with better judgment and understanding.