Dyalog Version 20.0 - Generics in C# and APL - Part 2
Explore generics in C# and their potential implementation in APL, covering key concepts, practical examples, and future possibilities for seamless integration.
quAPL - A Quantum Computing Library in APL
Explore quantum computing concepts and programming using APL, from basic qubits to advanced algorithms, with practical demonstrations and insights into this emerging technology.
Text Processing in APL - Data-Parallel and Idiomatic Parsing Techniques
Explore APL's capabilities for text processing, parsing, and handling text-oriented applications. Learn data-parallel parsing techniques and their advantages over traditional methods.
Semi-Globals and Multi-Threading - Challenges in Legacy Code Adaptation
Explore challenges and solutions in evolving a single-threaded application with global variables into a multi-threaded client-server system, focusing on SimCorp Sofia's journey.
How Profilers Can Help Navigate Type Migration
Explore strategies for guiding migratory typing using profiling tools, focusing on deep types to eliminate costly boundaries between typed and untyped components in code refactoring.
Melocoton - A Program Logic for Verified Interoperability Between OCaml and C
Explore Melocoton, a groundbreaking program logic for verifying interactions between OCaml and C components through OCaml's foreign function interface, featuring a formal semantics and Coq mechanization.
Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Explore a novel methodology for sampling datasets to train neural network-based program surrogates, focusing on complexity-guided sampling for improved accuracy in real-world applications.
Simple Reference Immutability for System F-sub
Explore reference immutability in hybrid languages, focusing on interactions with higher-order functions, polymorphism, and subtyping in System F-sub. Gain insights into taming mutation in modern programming paradigms.
Scheduling Array Operations for GPU and Distributed Computing
Explore array operation scheduling for optimized execution across hardware. Learn about static scheduling, type theory, and parallelization for GPUs and distributed computing.
Automated Testing and Continuous Integration in APL Development
Explore automated testing and continuous integration in APL development using free tools, from basic function testing to GitHub Actions for automatic test runs on commits.
Report on Co-dfns: Current State, Developments, and Future Outlook - Dyalog '22
Explore the latest developments in Co-dfns, a high-performance compiler for parallel dfns, and its impact on the computing landscape. Learn about its benefits and future prospects.
Revisiting ⎕SH and ⎕CMD - Exploring Limitations and New System Functions
Explore limitations of ⎕SH/⎕CMD and discover a new system function for enhanced shell command execution in APL, offering greater control over input/output redirections.
Challenges with Hardware-Software Co-design for Sparse Machine Learning on Dataflow Architectures
Explore challenges in hardware-software co-design for sparse machine learning, focusing on tensor algebra accelerators and real-world applications.
Synthesis II - Session Preview for POPL 2023
Explore advanced program synthesis techniques and their applications in software development, presented by expert Nate Foster at POPL 2023.
Automatic Differentiation - Session Preview at POPL 2023
Explore automatic differentiation techniques and their applications in programming languages, presented by expert Sasa Misailovic at POPL 2023.
Probabilistic Inference - Session Preview at POPL 2023
Explore probabilistic inference concepts with expert Alexandra Silva in this POPL 2023 session preview, enhancing accessibility of advanced programming language topics.
An Introduction to the Workspace - Secrets of the Interpreter
Explore APL workspace internals, memory management, and optimization techniques to enhance application performance and efficiency.
Aliasing Limits on Translating C to Safe Rust
Explore limitations and improvements in translating C to safe Rust, focusing on pointer conversion challenges and proposing methods to enhance translation effectiveness.
ChatGPT Examples for Programming, InfoSec, and Fuzzing
Explore ChatGPT's versatility in programming, security, and daily tasks. Learn to create fuzzers, analyze code, find vulnerabilities, and leverage AI for various applications.
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.