Dafny Test Generation - Automated Testing for Verified Programs
Explore automated testing of Dafny programs with DTest. Learn to generate system-level tests, identify dead code, and ensure verified properties hold at runtime, enhancing confidence in code execution.
Explicit Refinement Types - A Type Theory with Embedded Proofs
Explore λert, a type theory with explicit proof refinement types. Learn about its soundness, denotational semantics, and formalization in Lean 4.
The Essence of Reactivity
Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.
Symbolic Execution with Separating Decision Diagrams
Explore symbolic execution techniques using Separating Decision Diagrams in this advanced computer science talk by Josh Berdine.
Reasoning via Semantic Transformations
Explore semantic transformations in reasoning processes, examining their role and impact on logical analysis and problem-solving techniques.
Using Python to Build Applications for Language Learning
Explore Python's potential for creating innovative language learning applications, focusing on key techniques and practical implementation strategies.
Level Up Your Technical Career by Writing
Enhance your technical career through effective writing skills. Learn strategies to leverage writing for professional growth and advancement.
Athens to Algorithms: Zeno as a Tech Leader
Explore Stoic philosophy's application to tech leadership, focusing on rational decision-making, responsibility, stress management, and continuous improvement.
Technical Documentation: How to Write Better and Why It Matters
Discover structured techniques for crafting effective technical documentation, enhancing your skills and understanding its importance in software development.
Leading Through Turbulence
Discover strategies for effective leadership during turbulent times, focusing on calmness, empathy, and team empowerment.
From Boom Times to a Downturn: Making the Switch as a Leader
Learn strategies for effective leadership during economic downturns, focusing on maximizing team performance and personal growth in challenging times.
Accessibility Testing for User-Facing Applications
Explore accessibility testing for user-facing applications, enhancing product quality and social awareness in development teams.
Librarian's Guide to Documentation
Leverage librarian skills to create and maintain effective internal documentation. Foster a culture of documentation excellence for improved technical decision-making.
Leading a Distributed Team Out of a War Zone: Lessons in Resilience and Adaptability
Discover strategies for leading distributed teams through adversity, fostering resilience, and maintaining productivity in challenging circumstances.
Think Like a Journalist: Make Better Decisions When You Don't Have All the Information
Discover techniques for swift decision-making under pressure, evaluating unexpected challenges, and adapting leadership styles to various situations, inspired by journalistic practices.
Ethics in the Age of AI
Explore AI ethics through historical context, examine modern technological harms, and learn mitigation strategies for product teams in the age of artificial intelligence.
Ethics in the Age of AI: Strategies for Mitigation and Their Historical Context
Explore AI ethics, historical tech parallels, and mitigation strategies for modern product teams to address potential harms and ensure responsible AI development.
Comparison of Papers by Native and Non-Native English Speakers in Physics
Explore linguistic differences in physics papers by native and non-native English speakers, achieving 84% classification accuracy and enhancing scientific communication.
Two Simple Rules to Reach 2000 ELO Rating in Chess
Master two fundamental chess principles to consistently find the best moves in middlegame positions, spot powerful attacking moves, and accelerate your progress towards a 2000 ELO rating.
Trust and Loyalty of AI-Based Decisions
Explore the critical aspects of trust and loyalty in AI decision-making processes, examining their implications and challenges.
Training and Using a Large Language Model to Write Theatrical Performances
Explore AI-assisted creative writing for theater, covering LLM training, data preprocessing, and collaborative script generation. Learn about challenges and techniques in NLP for theatrical performances.