Blogging for the Tech Professional
Elevate your tech career through strategic blogging. Learn to attract employers, guide interviews, and boost your professional profile.
How to Use Gold Leaf Two Ways for Cake Decorating
Elevate cake designs with edible gold leaf techniques. Learn to apply loose and transfer types for a luxurious, professional finish on your baked creations.
Technical Speaking about C++ - Panel Discussion 2023
Gain insights on submitting, preparing, and delivering C++ talks from industry experts Phil Nash, Inbal Levi, and Jens Weller.
Modeling Preferences in Language Contact
Explore language contact dynamics through mathematical modeling, focusing on preference-based interactions and their impact on linguistic evolution.
Master Thesis - Asymmetric Language Shift in Bilingual Communities
Explore asymmetric language shift dynamics in bilingual communities through advanced modeling and analysis techniques.
Anarcho-transhumanist Biohacking with Nerves - The Tamagotchi in my Hands
Explore anarcho-transhumanist biohacking through a unique lens: embedding Clippy on a chip in the body, challenging centralized data control and reimagining virtual assistants.
Let's Talk About Grant Applications - Mastering the Art of Proposal Writing
Unlock the secrets of successful grant proposal writing with insights from early-career and senior researchers, and a funding body leader.
Grant Applications: How to Stand Out
Uncover strategies to craft compelling grant proposals, from presenting groundbreaking ideas to building an outstanding track record. Learn to excel in interviews and stand out in the competitive world of research funding.
Why Artists Lose Their Voice
Explore the reasons artists may lose their authentic voice and learn strategies to maintain creative integrity in this insightful discussion with writer and filmmaker Brandon Loran Maxwell.
Deciding Asynchronous Hyperproperties for Recursive Programs
Explore a novel logic for asynchronous hyperproperties, enhancing model checking for recursive programs. Gain insights into temporal logic, automata theory, and pushdown systems.
Orthologic with Axioms - Proof Theory and Algorithms
Explore orthologic with axioms, its proof theory, and algorithms. Discover generalized ortholattice reasoning and its applications in verification condition simplification and normalization.
Interpolation and Quantifiers in Ortholattices
Explore quantifiers and interpolation in orthologic, examining proof systems, quantifier elimination, and efficient interpolant computation for verification algorithms.
How to Find the Right Rhythm for Your Software Composition - Lambda Days 2023
Discover techniques for composing effective software documentation, blog posts, and presentations tailored to your audience's needs, enhancing product adoption and support.
Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023
Explore complete first-order reasoning for functional program properties, uncovering theoretical foundations of verification tools and explaining their efficacy, limitations, and user assistance role.
Logic and Decidability in Programming Languages - Session Preview II
Explore logic and decidability in programming languages. Gain insights into theories of arithmetic, linear real rings, and state machines. Discover new minimization algorithms and their applications.
Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
Explore static polymorphism in Slang for transpiling Smalltalk VM objects to C functions. Learn about challenges, benefits, and future enhancements in VM development.
Finding Infinite Counter-Models in Deductive Verification
Explore innovative techniques for finding infinite counter-models in deductive verification, enhancing automated solvers' capabilities and providing valuable insights for verification failures.
Creating a Head-to-Head Action Game Using VidHD Text Modes
Explore game development using VidHD text modes for Apple II. Learn about Xslinger HD, challenges in assembly language, and innovative uses of retro hardware for modern game creation.
Digital Eclipse: Game History and Interactive Documentaries
Explore groundbreaking Apple II game history through an innovative interactive documentary, blending video, gameplay, audio, and archival materials.
Apple III Arcade: Vertical Scrollers - Design and Implementation
Explore Apple ///'s smooth scrolling for retro game development. Learn 6502 assembly, memory management, and graphics techniques to create vertical scrolling games.
India: From Indus Valley to the Present - A Journey of a Great Power
Explore India's journey from ancient civilization to global power, examining its historical contributions, challenges, and modern influence on the world stage.