How to Use OpenAI ChatGPT with Chrome and MacOS Extensions
Explore ChatGPT extensions for Chrome and macOS, learning installation, chat saving, and sharing features. Discover AI-powered conversations and enhance your browsing experience.
Too Clever by HALf: Running NES Code on Apple IIgs
Explore porting NES game code to Apple IIgs using a Hardware Abstraction Layer. Learn design, implementation, and live conversion of NES homebrew to IIgs application.
What's New in ORCA/C - Recent Features and Future Plans
Explore new features in ORCA/C for Apple IIGS, including updated C standards, enhanced error-checking, and future development plans. Improve your IIGS programming skills with practical examples.
Enhancing an 8-Bit Classic Game with the Ensoniq Chip
Explore updating classic Apple II games with Ensoniq chip for improved sound, using a 1982 game as an example. Learn methods and potential applications.
Apple II Emulator in TypeScript and React - Development Journey
Explore the journey of creating an Apple II emulator using TypeScript and React, including challenges faced, community collaboration, and future development plans.
Heap Size Adjustment with CPU Control
Explore automatic heap sizing in JVM garbage collection, trading memory for computation based on CPU utilization. Learn about implementation in ZGC and its impact on performance and energy.
A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
Explore a tool for creating platform-independent bots in open-source projects, enhancing automation and community interaction through a Domain-Specific Language.
Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions
Explore automatic synthesis of program specifications using Spyro, a tool that generates precise L-properties based on user queries and domain-specific languages, applicable in various programming contexts.
Reference Capabilities for Flexible Memory Management
Explore Verona's innovative approach to memory management using isolated regions and reference capabilities, enabling predictable and controlled memory use in concurrent programming.
Mutually Iso-Recursive Subtyping - OOPSLA 2023
Explore mutually iso-recursive subtyping, addressing challenges in type recursion for programming languages. Gain insights into efficient type checking and subtyping for intermediate code representations.
Type-Safe Dynamic Placement with First-Class Placed Values
Explore type-safe dynamic placement in distributed systems using first-class placed values. Learn about Dyno, a language enabling static reasoning with dynamic placement flexibility.
Validating IoT Devices with Rate-Based Session Types
Explore a novel framework for implementing and validating rate-based message passing systems in IoT domains using session types, ensuring rate error freedom and type preservation.
Towards Tagless Interpretation of Stratified System F
Explore the design of an intrinsically typed, tagless interpreter for stratified System F in Agda, focusing on advanced type theory concepts and implementation strategies.
A Dependently Typed Language with Dynamic Equality
Explore a novel dependently typed language with dynamic equality, addressing usability issues in type systems and providing clearer error messages through runtime equality checking.
Major ChatGPT Upgrade - Canvas AI Features Hands-On
Explore OpenAI's ChatGPT upgrade featuring the 'Canvas' interface. Discover enhanced UI, seamless collaboration for writing and coding, and productivity-boosting capabilities in this hands-on demonstration.
Powerful Machine Learning at Your Fingertips - ElixirConf EU 2023
Explore efficient numerical computation and Neural Networks in Elixir using Nx, Axon, and Bumblebee. Learn to implement powerful machine learning models with minimal code.
Little Things and Big Things - Lessons for Building Large Systems
Explore essential lessons for designing large-scale systems, covering crucial rules, buffer management, distributed system challenges, and effective strategies for maintaining system stability and performance.
Tackling Technical Debt at Adobe: A Story from Frame.io - Scaling for Enterprise Software Development
Discover strategies for managing technical debt, improving scalability, and integrating enterprise software. Learn from Frame.io's experience transitioning post-Adobe acquisition and enhancing their Elixir codebase.
Zero Trust RabbitMQ with HashiCorp Vault
Implement Zero Trust security for RabbitMQ using HashiCorp Vault. Learn to manage access, ensure data confidentiality, and simplify cryptography for secure messaging in a demo-driven exploration.
Barrel: A Decentralized Data Platform for Data Control
Explore a decentralized data platform for controlling and filtering data across sites using P2P networks, HTTP, and web technologies. Learn about open-source libraries in the Erlang ecosystem.
The Unbearable Weight of Glue - Tackling Complexity in Software Development
Explore how type-safe functional programming exposes and tackles glue code complexity, with insights from Elm community projects and interactive audience participation.