Antithesis
PulseAugur coverage of Antithesis — every cluster mentioning Antithesis across labs, papers, and developer communities, ranked by signal.
4 day(s) with sentiment data
-
Software correctness and supply chain security discussed with engineer Sean Allen
Sean Allen, a distinguished engineer at Antithesis, discussed software correctness and supply chain security in a recent interview. He highlighted the benefits of strongly-typed languages like those in the ML family for…
-
Scaling Slack and GitHub: Insights from Engineer Maude Lemaire
Maude Lemaire, a principal engineer with experience at Slack and GitHub, discussed the challenges of scaling large software products. She shared insights on how Slack managed its growing user base and implemented strate…
-
AI startups aim to make formal software verification practical and essential
A new wave of startups is leveraging generative AI to make formal software verification, a complex mathematical process for proving code bug-free, more practical and essential. Companies like &Truth, founded by Stanford…
-
Engineering management rules revised, middle management path uncertain
Will Larson, CTO of Imprint and author of several books on engineering leadership, discussed the evolving landscape of engineering management. He noted a shift away from practices common in the low-interest-rate era tow…
-
Microservices expert Sam Newman discusses resilient systems and AI's impact
Sam Newman, author of "Building Microservices," discussed his views on microservices as an architecture of last resort in a recent episode of The Pragmatic Engineer podcast. He shared insights into common adoption pitfa…
-
OpenAI's Codex Engineer Discusses Rust CLI, Google's Pre-ChatGPT Project
Tibo Sottiaux, a key engineer behind OpenAI's Codex and current head of its Core Products & Platform, discussed the development and evolution of the AI coding assistant. He highlighted the decision to build the Codex CL…
-
The Pragmatic Engineer Newsletter Marks Five Years of Growth
The Pragmatic Engineer newsletter is celebrating its five-year anniversary, having grown from a niche publication about software engineering to a widely-read platform with over 1.1 million readers and tens of thousands …
-
Casey Muratori champions software performance amid industry neglect
Casey Muratori, a programmer and game developer known for Handmade Hero and his Substack 'Computer, Enhance.', argues that software performance is critically important but widely ignored by the industry. In a podcast di…
-
Hedge Funds Targeted in AI-Powered Cyberattack Wave
A sophisticated wave of cyberattacks has targeted major hedge funds, including Point72 Asset Management, Millennium Management, Two Sigma, and Citadel. Attackers employed voice phishing (vishing) techniques to trick emp…
-
Pragmatic Engineer AMA covers AI, career growth, and editorial policy
In a special "ask me anything" episode of The Pragmatic Engineer podcast, host Erik Dietrich discusses the software industry, AI, career growth, and the business model of his publication. He reveals that the COVID-19 pa…
-
Software Engineering Pioneer Kent Beck Re-examines AI's Impact
Kent Beck, a pivotal figure in software engineering known for creating Extreme Programming and co-authoring the Agile Manifesto, is re-evaluating his foundational ideas in the context of artificial intelligence. In a re…
-
NeetCode creator shares insights on tech interviews and career growth
Navdeep Singh, known as NeetCode, shared insights from his journey in tech interviews and building his platform. He discussed his experiences at Amazon and Google, highlighting how his independent work style at Google l…
-
CI/CD Expert Robert Erez Advocates Roll Forward and Feature Flags
Robert Erez, a principal engineer at Octopus Deploy, discussed CI/CD and software delivery practices on The Pragmatic Engineer podcast. Key insights included prioritizing "roll forward" over rollbacks for stateful syste…
-
Kelsey Hightower shares career insights on tech, Kubernetes, and AI
Kelsey Hightower, a prominent figure in modern infrastructure, shared insights from his three-decade career in a recent podcast episode. He detailed his journey from a self-taught technician to a Google Distinguished En…
-
AI research proposes treating model weights as a generative modality
A new position paper proposes treating neural network checkpoints as a primary data modality for generative AI. The authors argue that synthesizing models in weight space can match fine-tuning performance at a fraction …
-
Programming legend Anders Hejlsberg on language design and AI
Anders Hejlsberg, a renowned programming language designer, discussed his career and insights on language development in a recent interview. He highlighted the importance of integrated developer tools, citing the succes…