uk: Комп'ютерні науки

description: In this presentation Sebastian shares project experience gained over nearly 2 years of the Oniro project development in the area of product research & development. He starts with the initial assumptions and various criteria that team members intended to apply to the work done. It was a very interesting experience to apply a product-driven approach to highly-paced open-source projects nowadays. Thus, the great effort was put in order to receive maximum value from products intended to deliver to the market. Ettore is an Embedded Linux Developer, and joins to share the partner experience as he is part of the Hardware Enablement Team for SECO. In this talk, Sebastian is going to present a few product management principles, how they were applied to the project and what lessons were learnt in this process. The talk is filled with a few open source projects (e.g. GitLab, OpenProject and others) and how they were applied to the tasks we were faced with. Work package structures and workflows applied were also described to supplement the presentation. To conclude, Ettore joins the talk as representative of one of the Oniro Project partners, SECO, describing how was the experience in the last year, as an Internet of Things Hardware manufacturer.

uk: вхід без авторизації

name: Oniro - an open-source starter for fast-paced IoT environments: A retrospect on an open-source project development


Alex Mikheev

type: Person

cs: Informatika

de: Informatik

fi: tietojenkäsittelytiede

uk: Комп'ютерні науки

en: Computer Science

fr: Informatique

da: Datalogi

es: Ciencias de la Computación

nl: Informatica

cs: Technické vědy

de: Ingenieurwissenschaften

fi: tekniikka

uk: Інженерія

en: Engineering Sciences

fr: Ingénierie

da: Ingeniørvidenskab

es: Ingeniería

nl: Engineering

description: Everyday lots of people have to deal with agreements, contracts, budget plans, and other similar documents. In this regard, an ability to automate work with such files seems appealing. With this understanding in mind, ONLYOFFICE has been working on Smart Forms intended for optimization of file creation and collaboration in any document flow. In our presentation, we’ll tell you about the newly introduced ONLYOFFICE Forms, new formats (DOCXF and OFORM) built with the purpose of creating standardized document templates and working with them through specifically designed interface elements in ONLYOFFICE Docs. Presentation milestones: - What's the difference between ONLYOFFICE Forms and Content Controls - OFORM and DOCXF - How Smart Forms work in ONLYOFFICE - Form sharing - Data protection in forms - Creating and filling PDF files in ONLYOFFICE Docs - Using ONLYOFFICE Forms in your infrastructure (e.g. Nextcloud, Alfresco, Redmine, etc.) - Roadmap for smart form development

TIB AV-Portal

type: Service

type: WebContent

type: MediaObject

@language: en

cs: přihlášení není vyžadováno

de: keine Anmeldung erforderlich

uk: вхід без авторизації

en: no login required

nl: geen login vereist

name: Introducing ONLYOFFICE Forms for paperwork automation and smart collaboration

FOSDEM VZW

type: Organization

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


Debian Conference Infrastructure

uk: Комп'ютерні науки

description: DebConf has been online for two years using a combination of our in-person infrastructure and new tools. This talk will describe both setups and what has been done to bring DebConf online.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: In this session, I will share our experiences from the 6 online Ansible Contributor Summits that we have held through 2020-2021. While the virtual platform gave us more flexibility in many ways (such as having 3 events in a year instead of the usual 1), it definitely presented many new challenges as well. From pre-event marketing to technologies used during the summits, post-event surveys + feedback that feed into the next event, it's a continuous cycle of trials, errors, and improvements. There is also a major shift towards using open source tools and workflows for the summits, at the request of some community memebers as well as the desire within our team. I'll share what fell short and what thrived, and how the changes impacted not just conference management for our team, but also how the Ansible community received these events. Because at the end of the day, these conferences are for the community contributors and participants!

uk: вхід без авторизації

name: Lessons from 6 Virtual Ansible Contributor Summits: a.k.a. I don't know how to come up with a fancy title, I just tell it like it is.


FOSDEM Conference Infrastructure

uk: Комп'ютерні науки

description: A technical overview of how the FOSDEM conference is run: the tools we use, the tools we wrote, and the processes we use; both for the in-person version of the conference as well as the online one of which we're doing our second edition this year.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Introduction and welcome to the dev room

uk: вхід без авторизації

name: Welcome to the Conference Organisation Dev Room


Run a conference with pgeu-system

uk: Комп'ютерні науки

description: The pgeu-system is an integrated system for managing conferences. Originally developed for Postgresql Europe's own conferences, the system has grown into a generic system for managing events, visitors, speakers, sponsors, and volunteers. It integrates the functions such as call-for-papers, managing schedules, invoicing, accounting, and more. In this talk we will do a whirlwind tour of the tool, from the context of the foss-north conference.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: When you want to see your community grow, running a local event is a great idea. Luckily, many FOSS projects have been down this path, so you won't need to start from scratch. This talk covers the process of running a successful community event, from finding great folks to plan with -- to follow-up for the next event. When you love your community, you want to see it grow and become stronger. And if you are also lucky enough to have a little extra time and enthusiasm? Well, then it might be time to run an event. Many FOSS projects have been down this path, so you won't need to start from scratch. This talk will cover: - Setting the scope for your event - How to find folks to work with - Creating a plan for success - Making sure attendees have a great time Once you have a solid plan in place, running a community event can be very rewarding. Attendees will walk away with a sense of where to start and a strategy for finding the resources they'll need to put on an inspiring community event.

uk: вхід без авторизації

name: FOSS Events Primer: Get Out There and Run One!


uk: Комп'ютерні науки

description: In light of the pandemic, the foss-north conference has gone virtual since 2020. In this presentation we will discuss our live streaming and video recording setup built around OBS, Jitsi and Kdenlive. The talk will discuss what software we are running, how and some behind the scenes info about how we run the live events, as well as how we edit and distribute the recordings post event.

uk: вхід без авторизації

name: Streaming and Edit Conference Videos with OBS, Jitsi and kdenlive


uk: Комп'ютерні науки

description: Nowadays everyone can run an event (meetup, hackathon, etc), but sometimes we struggle in selecting the right tool to organize it in an effective way. What tools are out there that can help us run any type of event and have impact?. We will do an overview about options, limitations and resources you will need to make a great event. If you are lost trying to choose the right tool for your first online event, this talk is for you. And if you think you know everything about tools and ways to engage with your audience, you will be welcomed as well, since we will discuss about these things and more.

uk: вхід без авторизації

name: Free tools that help you run online events in an effective way


uk: Комп'ютерні науки

description: Fed up with managing your host OS for your docker environment? Try booting your containers directly from a light-weight initramfs! Flash a USB pendrive with the kernel and initramfs, or netboot it locally or from the internet, configure it from the kernel command line. Bonus: It also supports syncing volumes with S3-compatible cloud storages, making provisioning and back-ups a breeze! Containers have been an effective way to share reproducible environments for services, CI pipelines, or even user applications. In the high availability world, orchestration can then be used to run multiple instances of the same service. However, if your goal is to run these containers on your local machines, you would first need to provision them with an operating system capable of connecting to the internet, and then downloading, extracting, and running the containers. This operating system would then need to be kept up to date across all your machines which is error-prone and can lead to subtle differences in the run environment which may impact your services. In order to lower this maintenance cost and improve the reproducibility of the run environment, it would be best if we could drop this Operating System and directly boot the containers you want to run. With newer versions of podman, it is even painless to run systemd as the entrypoint, so why not create an initramfs that would perform the simple duty of connecting to the internet, and download a "root" container which can be shared between all the machines? If the size could be kept reasonable, both the kernel and initramfs could then be downloaded at boot time via iPXE either locally via PXE or from the internet. This is with this line of reasoning that we started working on a new project called boot2container which would receive its configuration via the kernel command line and construct a pipeline of containers. Additionally, we added support for volumes, optionally synced with any S3-compatible cloud storages. This project was then used in a bare-metal CI, both for the test machines and the gateways connecting them to the outside world. There, boot2container helps to provide the much-needed reproducibility of the test environment while also making it extremely easy to replicate this infrastructure in multiple locations to maximize availability.

uk: вхід без авторизації

name: Boot2container: An initramfs for reproducible infrastructures: Who needs host OSes for containers anyway?


uk: Комп'ютерні науки

description: WebAssembly is a portable binary instruction format that was originally created with the browser as the main execution runtime. However, during the last years, WebAssembly is finding its way also outside of the browser because of the many benefits it provides like portability, security and flexibility. We think WebAssembly can be leveraged by Kubernetes in many ways. This short session will focus on how WebAssembly can be used to write Kubernetes admission policies. We will show an open source Kubernetes Dynamic admission controller that uses policies written in WebAssembly to validate and mutate the requests made against the Kubernetes API server.

uk: вхід без авторизації

name: Extending Kubernetes with WebAssembly: Making Kubernetes Dynamic Admission Control even more Dynamic Using WebAssembly


CentOS Stream: stable and continuous

uk: Комп'ютерні науки

description: CentOS Stream was introduced in September 2019. In December 2020 it made news, raised a lot of questions and created long hand-wavy discussions and confusing arguments. During 2021 CentOS Stream 9 finally has found its place in the RHEL 9 development process. And now, in early 2022, we can take a good look at how it actually works. This talk is focused on the development process of the CentOS Stream distribution. We are going to talk about bootstrap, package updates, continuous integration, testing and contribution. We welcome distribution developers, but also users which are interested to know what's hidden under the hood of a typical enterprise-level system.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Default community distributions are running in the same issues for special architectures. Every Linux distribution has got mostly separate maintainers and hardware distributors are handling these communities really often disconnected. That has been identified also for the architecture s390x. Therefore, openSUSE, Fedora and Debian have established together with IBM a Linux Distributions Working Group for a better collaboration together and with the goal to receive better support. In this presentation you should receive an overview about a good collaboration between Linux distributions and what you can achieve together with such a Working Group.

uk: вхід без авторизації

name: Collaboration instead of Competition: The Linux Distributions Working Group at the Open Mainframe Project


uk: Комп'ютерні науки

description: Flatcar Container Linux is a fully open source, minimal-footprint, secure by default and always up-to-date Linux distribution for running containers at scale. It is shipped as an image and does not include any package management. OS binaries and libraries reside on a read-only partition. This talk will briefly introduce Flatcar’s core concepts before diving into a detailed discussion on modifying, testing, and vending your own OS images using the SDK. This talk will discuss building, modifying, and testing Flatcar Container Linux OS images. It will introduce the innerworks of the OS image building process and will enable the audience to craft their own images. While running (release-)tests will also be briefly covered the focus is on modifying and building. Target audience are engineers and tinkerers interested in OS building and in vending immutable OS images that fit their own needs. Flatcar Container Linux is a minimal Linux distribution optimised for running containers at scale. It ships OS images – both for installation and update – and lacks a package manager. Binaries in the OS partition (at “/usr”) are immutable after installation. Therefore, modifying the OS to suit one’s needs can be challenging, and deeper changes to the OS will require vending one’s own images. After a brief intro to Flatcar’s Gentoo roots, build process, and SDK, this talk will dive into understanding sources and repository structure, running builds, smoke-testing custom images, and running full-blown release tests. We will include a number of pre-recorded CLI demos in the talk to aid understanding. The talk will close with an outlook of how to bring your custom images to production.

uk: вхід без авторизації

name: Modding the Immutable – how to extend Flatcar, an immutable image-based OS


uk: Комп'ютерні науки

description: Maintaining a Linux distribution in a consistent and secure manner is challenging. Maintaining a one-to-one clone, can be even more challenging. Rocky Linux maintains a number of in-house tools to aid in this process and makes it as transparent and auditable as possible. Rocky Linux is aiming to be an exact RHEL clone. When the project first started out, the landscape of tools to automate imports and orchestrate builds across package types were not widespread. First challenge to tackle was imports and patches. Srpmproc was introduced to facilitate upstream imports with consistent automated patching. Distrobuild was later introduced as a meta-orchestration layer for already existing build tools within the EL ecosystem. We're now introducing Peridot, the next generation cloud-native build and release tools for RPM distributions.

uk: вхід без авторизації

name: Build and release tools tailored to building, releasing and maintaining Linux distributions and forks


Automatic CPU and NUMA pinning

uk: Комп'ютерні науки

description: In FOSDEM 2019 we presented the addition of high-performance virtual machines in oVirt. With this new VM type, parts of the VM configuration were changed to improve the performance of workloads it runs. In particular, it was useful for CPU-intensive workloads, such as SAP HANA. However, better performance came at the expense of usability. Users were still expected to set various things manually, like CPU and NUMA pinning and hugepages. In this talk, I will guide you through our journey of simplifying and automating the settings of high performance VMs in oVirt. We'll see the evolution of the changes, the challenges we faced, where we are today and what's more to come in oVirt 4.5.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: We present DIDKit, a toolkit for Verifiable Credentials and Decentralized Identifiers, implemented in Rust. This includes an introduction to Verifiable Credentials ("VCs"), a W3C Recommendation; to Decentralized Identifiers ("DIDs"), a Proposed W3C Recommendation; and to the signing formats used with these: JSON Web Signatures (JWS) and Linked Data Proofs. Charles Lehner will demo using DIDKit to issue, present and verify verifiable credentials using DIDs based on cryptographic keypairs. Charles is joined by Juan Caballero (@bumblefudge) for the Q&A.

uk: вхід без авторизації

name: Verifiable Credentials and Decentralized Identifiers with DIDKit


uk: Комп'ютерні науки

description: qbe is an optimizing compiler backend which consumes programs in a simple intermediate language, optimizes them, and emits assembly for x86_64, aarch64, or riscv64, aiming to achieve "70% of the performance" of advanced compilers like LLVM in "10% of the code". This talk will briefly introduce qbe and its intermediate language, explain how it works and what it's capable of, and go over some sample programs which can be written in it.

uk: вхід без авторизації

name: Introduction to qbe: A lightweight compiler backend


uk: Комп'ютерні науки

description: While money is helpful in open source projects, hands-on contributions are probably more valuable to the long term health and sustainability of the project. In the Mautic project, we wanted to establish a partners programme which would allow us to highlight to our community the organisations who were both financially supporting the project as a sponsor, and were actively contributing to the project. Here's how we did it. In this session I’ll outline how we came up with a way to make the financial element equitable for partners around the world, and the steps we took toward ensuring that organisations couldn’t just buy their way to partner status. We’ll dig into thorny topics like determining what we mean by contributions, how we recognise non-code contributions alongside code contributions, and the tooling that underpins it all. I’ll also explain how we’ve built our partners portal to incentivise active contributions from the organisations, and some of the improvements that we’re thinking of making in the future.

uk: вхід без авторизації

name: IMPLEMENTING AN INCENTIVISED PARTNERS PROGRAM IN MAUTIC


uk: Комп'ютерні науки

description: It has been an exciting year in the open-source database industry, with more choice, more cloud, and key changes in the industry. We will dive into the key developments over 2021, including the most important open-source database software releases in general, the significance of cloud-native solutions in a multi-vendor multi-cloud world, the new criticality of security challenges, and the evolution of the open-source software industry.

uk: вхід без авторизації

name: State of Open Source Databases: A discussion on the changes, trends, and database technologies that are going to impact your business in the next 12-18 months.


uk: Комп'ютерні науки

description: Security design is an very important step in the software development. In order to meet the principle of least privilege, developers make rules for applications based on data flow and control flow of processes, such as SELinux and AppArmor. This step can be automated with secPaver. With the permission description of application, secPaver can generate security policy for different security mechanisms. By this way, security design can be simplified, and developers do not need to know many details about security mechanisms. secPaver is a policy development tool that supports multiple security mechanisms. It aims to help users implement end-to-end security policy development, including visible policy design, iterative development, and policy release. It provides functions such as policy configuration, automatic generation, running test, missing rule gathering, and policy package export. secPaver shields security mechanism details and abstracts unified policy configuration file definitions and operation interfaces for different security mechanisms, improving policy development efficiency and reducing learning costs for developers.

uk: вхід без авторизації

name: secPaver: Security Policy Development Tool


Alire 2022 Update

uk: Комп'ютерні науки

description: At FOSDEM 2020 we presented the first version of Alire, the package manager for the Ada Open Source ecosystem. Two years later, the tools and its ecosystem have evolved, in some instances based on the feedback received at FOSDEM. So we want to give you an update on the new features and improvements, including: - Pin system: intended to help with the development and use of WIP crates. - Crate configuration: that enables static code generation before compilation. - Toolchains: that enable easy installation of [cross-]compiler and builder versions. - Auto GPR with: for automatic “with”ing of dependencies. - Etc. We will also have a look at the ecosystem of crates available in the Alire community index.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Ada 2022 is around the corner with many goodies in the form of new features and featurettes. Arguably small syntax sugar additions combine for the programmer's comfort, like for example user-defined literals and container aggregates, that allow natural initialization of user-defined containers with the same expressions used for basic arrays since the beginnings of Ada. In this talk, I discuss how these features allow the initialization of a container data type for heterogeneous values (a-la JSON) without the need of crutch functions (like the usual "+"). Such an structure could be used for compiled-in definitions but, more ambitiously, a relatively simple parser for a strict subset of Ada could leverage this data structure for natural-looking (to the Ada programmer) configuration files. Such configuration files could be useful for tools that are strictly Ada-oriented, written by and for Ada programmers.

uk: вхід без авторизації

name: Use (and Abuse?) of Ada 2022 Features in Designing a JSON-like Data Structure


Overview of Ada GUI

uk: Комп'ютерні науки

description: This presentation will introduce the participants to Ada GUI, an Ada-oriented GUI, its philosophy and use, and differences from typical GUI frameworks. Several examples will be presented and some aspects of how the concepts presented are implemented will be discussed. Outline: - I. Introduction - II. Traditional GUI Frameworks - III. Ada GUI philosophy and concepts - IV. Examples - V. Implementation - VI. Summary

uk: вхід без авторизації


Getting Started with AdaWebPack

uk: Комп'ютерні науки

description: Have been tired from JavaScript in Web development? Do you want to write both client and server sides in Ada? Are you looking for modern user interface for you application? Try to use AdaWebPack and run your Ada code in the web browser! The presentation introduces AdaWebPack - Ada compiler to WebAssembly, customized Run-Time library and Web API binding. It explains the overall architecture of the pack and includes a short get started demo.

uk: вхід без авторизації


Implementing a Build Manager in Ada

uk: Комп'ютерні науки

description: Having used Jenkins with more than 30 projects during 8 years, it was time to switch to another build manager. Written in Ada, Porion is a new build manager intended to replace Jenkins by providing more security, safety and performance. The presentation describes the complexity of designing a build manager. It highlights some security issues that apply to a build manager and its implementation. It explains the overall architecture that was chosen and the reason of the choice. Finally it presents the Ada generation tools that have been used in this project.

uk: вхід без авторизації


Closing of the Ada DevRoom

uk: Комп'ютерні науки

description: After this short closing event, a room will be open for anybody to join and just talk about anything.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: An overview of the main features of the Ada language, with special emphasis on those features that make it especially attractive for free software development. Ada is a feature-rich language, but what really makes Ada stand-out is that the features are nicely integrated towards serving the goals of software engineering. If you prefer to spend your time on designing elegant solutions rather than on low-level debugging, if you think that software should not fail, if you like to build programs from readily available components that you can trust, you should really consider Ada.

uk: вхід без авторизації

name: Introduction to Ada for Beginning and Experienced Programmers


Introduction to the Ada DevRoom

uk: Комп'ютерні науки

description: Welcome to the Ada Developer Room at FOSDEM 2020, which is organized in cooperation with Ada-Europe and Ada-Belgium. This year marks the first edition on which the devroom takes place on an online format. For that reason, this presentation will explain how does it work and how can the public use the systems provided by FOSDEM and interact with the speakers. We will also introduce the Ada-Europe and Ada-Belgium organisations. This small introduction also serves as a test to make sure the systems are working as expected and that any questions that may take place from the public can be answered.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: In 2020 I started live streaming the development of a turn-based strategy game. At that time I had little idea about Ada, programming or game development (nothing has changed about that to this day). But by September 2020 it had taken the early form of a Civilization clone. After more than a year of development, it has become almost a real game with its own features. And now I'm going to talk a little bit about some experiences and weirdnesses with game development in Ada.

uk: вхід без авторизації

name: Ada Looks Good, Now Program a Game Without Knowing Anything


The Ada Numerics Model

uk: Комп'ютерні науки

description: The requirements for Ada numerics were to provide portable arithmetics without unacceptable performance cost. This talk shows how this was achieved by interval arithmetics without requiring a particular implementation model, like IEEE arithmetics.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Ada can be difficult to approach due to using a different vernacular to most other languages, and also having many unfamiliar structures and ways of doing things. This is an overview of the Ada language by someone who is new to the language, for programmers from other languages, kept as neutral and objective as possible. See how syntax falls into four categories and the language allows you to opt into features. Learn how Ada fits together at a high level, with an emphasis on the ways Ada differs, using code samples from open source Ada projects. About a year ago, I still thought Ada looked like COBOL. Since then, I've spent a long time trying to understand the language as a whole, since it's different from many others that I've used. This talk isn't to sell you on the language, but instead to provide a general overview of how the language works. This will complement Jean-Pierre Rosen's "Introduction to Ada for Beginning and Experienced Programmers" talk. If you haven't watched his talk yet, I recommend you do so after this one. If you have watched his talk, this should provide a different perspective to help you understand Ada better.

uk: вхід без авторизації

name: The Outsider's Guide to Ada: Lessons from Learning Ada in 2021


uk: Комп'ютерні науки

description: As a programming language, Ada offers a number of features that require runtime support, e.g. exception propagation or concurrency (tasks, protected objects). The GNAT compiler implements this support in its runtime library, which comes in a number of different flavors, with more or less capability. The GNAT light runtime library is a version of the runtime library targeted at embedded platforms and certification, with an Operating System or without it (baremetal). It contains around 180 units focused mostly on I/O, numerics, text manipulation, memory operations. Variants of the GNAT light runtime library have been certified for use at the highest levels of criticality in several industrial domains: avionics (DO-178), space (ECSS-E-ST40C), railway (EN 50128), automotive (ISO-26262). Details vary across certification regimes, but the common approach to certification used today is based on written requirements traced to corresponding tests, supported by test coverage analysis. Despite this strict certification process, some bugs were found in the past in the code. An ongoing project at AdaCore is applying formal proof with SPARK to the light runtime units, in order to prove their correctness: that the code is free of runtime errors, and that it satisfies its functional specifications. So far, 30 units (out of 180) have been proved, and a few bugs fixed along the way (including a security vulnerability). In this talk, I will describe the approach followed, what was achieved, and what we expect to achieve.

uk: вхід без авторизації

name: Proving the Correctness of GNAT Light Runtime Library


uk: Комп'ютерні науки

description: The objective is to demonstrate the making of Ada software available to Python and Julia programmers using GPRbuild. GPRbuild is the project manager of the GNAT toolchain. This talk will first present a self-contained small example to illustrate the making of shared object files from Ada software, so the software can be used in Python and Julia. The second part of the talk concerns the application to PHCpack, a free and open source software package to solve polynomial systems by homotopy continuation methods, written mainly in Ada, and available at github.

uk: вхід без авторизації

name: Exporting Ada Software to Python and Julia: Applying GPRbuild to make shared object files


uk: Комп'ютерні науки

description: SPARKNaCl is a new, verified and fast reefrence implementation of the NaCl API, based on the TweetNaCl distribution. It has a fully automated, complete and sound proof of type-safety and several key correctness properties. In addition, the code is fast - out-performing TweetNaCl on an Ed25519 Sign operation by a factor of 3 at all optimization levels. This talk will cover how "Proof Driven Optimization" can result in code that is both correct and fast on bare-metal embedded targets. TweetNaCl is a compact reference implementation of the NaCl API. It was initially constructed to show that an entire crypto library could fit into "100 tweets", but has since been re-used in some critical applications, such as the WireGuard VPN. There are no comments in the code at all, and all assurance rests on a single brief academic paper, and the formidable reputation of the authors. Can we do better? Can we produce a reference implementation which is amenable to automatic verification and yet is competitive with TweetNaCl in terms of performance and code size? This talk presents SPARKNaCl - a complete re-implementation of TweetNaCl in SPARK, which comes with a fully automated proof of type-safety, memory-safety and a number of key correctness properties. Having established a solid foundation, we went on to compare the performance and code size of SPARKNaCl against the original C implementation. Various transformations and optimizations have been applied that result in SPARKNaCl out-performing TweetNaCl on a bare-metal 32-bit RISC-V machine for a single Ed25519 "Sign" operation, while retaining automation and completeness of the proof. Furthermore, SPARKNaCl is freely available under the 3-clause BSD licence. This talk will present an overview of the results from both the proof work and performance analysis of SPARKNaCl.

uk: вхід без авторизації

name: SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl


uk: Комп'ютерні науки

description: SweetAda is a lightweight development framework whose purpose is the implementation of Ada-based software systems.

uk: вхід без авторизації

name: SweetAda: A Lightweight Development Framework for the Implementation of Ada-based Software Systems


uk: Комп'ютерні науки

description: One important use of dependency information is for the identification and discovery of vulnerabilities. The presentations present diverse interesting projects and approaches. We want to understand if the current approaches address the needs of cybersecurity efforts, how they compare to threats beyond dependency vulnerabilities, and how they can be combined, extended, and learn from each other.

uk: вхід без авторизації

name: Panel 2: Dependencies for Vulnerability Discovery and Tracking


uk: Комп'ютерні науки

description: CodeReady Containers runs an OpenShift cluster on a laptop or workstation using virtualization. It's written in go, and uses KVM, HyperV or HyperKit depending on the OS it's running on. External network access is done through gVisor's userland TCP/IP stack which the virtual machine uses over virtio-vsock. This talk will start with a short presentation of what CodeReady Containers is, explain why it needs a userland TCP/IP stack, but its main focus will be around virtio vsock, how to use it from go, and the differences to expect on the different hypervisors.

uk: вхід без авторизації

name: Cross-platform/cross-hypervisor virtio vsock use in go: Usermode networking in CodeReady Containers


uk: Комп'ютерні науки

description: Open Source virtualization is almost 20 years old. Obviously, things have evolved a lot in that time: the public cloud, new CPU architectures, new storage technologies, and more. What about the real, on-the-ground usage? Sysadmins, Ops and Devops are not leveraging virtualization the same way today as they did before. But what really changed? In what direction is it evolving? Is on-premise open source virtualization still relevant today? Through our own journey as engineers of an open source virtualization platform, we'll give you an inside look into what our users are requesting from us, and what we did to modernize our virtualization stack based on the Xen hypervisor.

uk: вхід без авторизації

name: DevOps, Cloud Native, DPUs: beyond the buzzwords: The future and evolution of on-prem open source virtualization platforms


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Hardware-accelerated graphics in secure multi-tenant environments: What is the current status, and what is blocking it?


Introducing OKD Virtualization

uk: Комп'ютерні науки

description: OKD Virtualization is the community project bringing traditional virtualization technology into OKD. Meet the OKD Virtualization community and learn about it! OKD Virtualization is the community project bringing traditional virtualization technology into OKD. It’s built on top of the KubeVirt project and the Hyperconverged Cluster Operator project. HCO ensures a single installable unit for Kubevirt and its sibling components leveraging the operator framework to provide the easiest way of installing and maintaining this additional control plane. This bundle will ship additional tools required to do traditional virtualization tasks like uploading disk images, host network configuration, local storage provisioning, and other functionality which is not covered by the core KubeVirt. On top of this a user interface embedded within the OKD Console is provided for managing the lifecycle of the Virtual Machines. Virtual Machines from other virtualization systems can be imported into OKD Virtualization leveraging the Konveyor Forklift project. Meet the OKD Virtualization community and learn about it! After this session you will Know what KubeVirt is Know what HCO (Hyper Converged Cluster Operator) is and how it relates to KubeVirt How the OKD UI is presenting VMs A rough idea of the featureset of what this setup provides Seen a demo, and knowledge of how to set this up yourself.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: It has been well established that the integrity of critical systems must be rooted in the launch. Early works such as the Xoar architecture demonstrated the need for virtualized environments to begin with a lightweight, restricted bootstrap from which isolation of PCI management could be established. Since that time, knowledge of real IOMMU implementations and how to leverage them for system integrity has evolved. In this presentation, the new Hyperlaunch capability for starting hypervisors will be presented with a short discussion of the Xen implementation. The talk will progress to a discussion of how Hyperlaunch is connected with TrenchBoot (Linux Secure Launch) and Mandatory Access Control communication fabrics. With a focus on how it enables dedicated PCI management constructs that can provide secure and trustworthy isolation for PCI devices, with the potential for CXL devices. The talk will close with an open discussion on how hypervisors might unify around a common approach for IOMMU management.

uk: вхід без авторизації

name: Isolating PCI/CXL Devices: It All Starts with System Launch


uk: Комп'ютерні науки

description: As the number of VMs per node gets larger, using more powerful nodes (i.e. with more CPUs and RAM), the scalability of Kubevirt's control plane becomes a bottleneck, slowing down the VMI creation process. This talk will cover the motivations and concepts around general benchmarking of the KubeVirt control plane, as well as explaining the journey to running a density test with hundreds of VMs per node. Kubevirt's performance and scalability are determined by several factors. As the number of VMs per node gets larger, using more powerful nodes (i.e. with more CPUs and RAM), the scalability of Kubevirt's control plane becomes a bottleneck, slowing down the VMI creation process. This talk will cover the motivations and concepts around general benchmarking of the KubeVirt control plane, as well as explaining the journey to running a density test with hundreds of VMs per node. In addition, I'll provide some performance metrics comparing VM build time in various scenarios. Participants will have a high-level knowledge of the on-going KubeVirt's sig-scale community performance assessment and the single-node scalability characteristics of KubeVirt.

uk: вхід без авторизації

name: KubeVirt scale test by creating 400 VMIs on a single node


uk: Комп'ютерні науки

description: Design and implementation of dynamic network attachment for Kubernetes pods and KubeVirt VMs. Immutable infrastructure is the law of the land in the cloud native landscape, promising benefits to software architectures run in Kubernetes. … except sometimes the rules must be broken to achieve certain use cases; take for instance the dynamic attachment of L2 networks to a running VM: to hotplug an interface into the VM running in a pod, you first need to hotplug that interface into the pod. This feature is particularly of interest (required, actually) to enable scenarios where the workload (VM) cannot tolerate a restart, or when the workload is created prior to the network. When thinking about strategies for tackling this problem, we faced a recurring question when trying to come up with a modular design to provide this functionality: "should the changes be located in KubeVirt, and thus solve this issue for Virtual Machines, or should we take the longer path and address this issue also for pods ?" We chose the latter, which unlocks dynamic network attachment for pods, thus also benefiting the Kubernetes community. This talk will provide the audience with a basic understanding of KubeVirt, CNI, and Multus, and then propose a design to add (or remove) network interfaces from running pods (and virtual machines), along with the changes required in Multus and KubeVirt to make it happen. It will also factor in a community perspective, explaining how we pitched and got both the Multus and KubeVirt communities involved in a working arrangement to deliver this functionality.

uk: вхід без авторизації

name: Network interface hotplug for Kubernetes


uk: Комп'ютерні науки

description: Most Linux distributions are not designed to support desktop virtualization, and GPU vendors have failed to agree on a common way to let virtual machines access 3D capabilities (SR-IOV; vfio-pci; vfio-mdev or virtio-gpu...). The result is that it is still complicated to create fast and responsive virtual machines locally. Phyllome OS is a Fedora Remix based on Fedora Server which attempts to make it easier to run virtual machines locally on computers that support hardware-assisted virtualization, using mostly paravirtualization (aka virtio-devices). It currently relies on existing technologies (libvirt; KVM/QEMU; virt-manager; GNOME Shell; etc), but will eventually implement its own virtual machine manager, package the cloud hypervisor as an alternative to QEMU, and use filesystem-level encryption to protect virtual machines disks. The main idea behind this OS is to treat the host, Phyllome OS, as a read-only system, i.e. as a mere appliance to host virtual machines. The presentation will give a demonstration of Phyllome OS in its current state. Despite steady progress, especially on the KVM/QEMU front, desktop virtualization today still leaves much to be desired when it comes to usability. For most users, it is still complicated to create virtual machines with advanced media capabilities, including 3D acceleration. 3D-accelerated guests are a must-have nowadays and most desktop environments leverage it to provide a smooth user experience. Existing approaches attempting to grant 3D capabilities to virtual machines are not straightforward, sometimes incompatible and often require trade-offs between usability, performance and security. As a result, a successful implementation on a single host typically requires careful considerations and is often hardware-dependent. For instance, passing through real hardware to a virtual machine using vfio-pci is only possible if the piece of hardware is well-isolated in a single IOMMU group. Paravirtualization, on the other hand, and especially virtio-gpu, promises to be hardware-independent but is not (yet?) supported by all modern guest operating systems. What if an operating system was designed to provide the best experience regardless of the guest operating system in use?

uk: вхід без авторизації

name: Phyllome OS: A friendly virtualization-focused Linux distribution


uk: Комп'ютерні науки

description: oVirt is an open source virtualization solution based on kvm, QEMU and libvirt. Trusted Platform Module (TPM) device support, which brings new security capabilities that modern operating systems utilize or even require, was added to oVirt recently. In theory, adding TPM support should be as easy as just adding a TPM device to the virtual machine libvirt XML. But features built on top of a lower-level virtualization platform are not always as easy to implement as they may initially seem to be. This talk will present the challenges experienced when adding TPM support to oVirt. The talk will explain that a supposedly complete feature support in libvirt/QEMU may still require challenging design considerations. What can be used easily in a simple virtual machine running on a desktop computer may not be enough to get the things working well and reliably in a virtual machine management running across many hosts. Some of the challenges experienced with TPM support have been sorted out while other ones still wait for a good solution. Although focusing on TPM, the lessons presented in this talk can apply to a wide range of features. Whatever we work on, we cannot be just passive consumers of features but we must look for the right ways of using them and be proactive in avoiding pitfalls.

uk: вхід без авторизації

name: The story of adding TPM support to oVirt


uk: Комп'ютерні науки

description: This talk presents ToroV, a novel open-source technology that combines virtualization and containerization to enable the execution of users’ applications in a safer and improved manner. In ToroV, applications run as Virtual Machines without the need of an OS, unikernel nor device-model. ToroV combines a minimalist Virtual Machine Monitor and a virtualized guest program communicating through POSIX APIs. When the guest application requires to open or write a file, it just invokes the VMM using hypercalls. The VMM intercepts those hypercalls, processes the request, and returns to the guest. The sysadmin defines the ACL (Access Control List) of authorized hypercall per virtualized guest application. This allows the user to control the host’s surface that is exposed to the guest. In this talk, we propose to present the ToroV architecture together with several ongoing experiments. For example, the minimalist VMM allows us to boot up a VM in KVM in less than 6 ms. Also, we show how we debug guest applications by simply using GDB and the KVM API for debugging. During the talk, we discuss the main differences with unikernels and containers and how ToroV gets the best of both worlds. Also, we present the main differences with gVisor, which is a similar project from Google.

uk: вхід без авторизації

name: ToroV, a kernel in user-space, or sort of


Tracing KubeVirt traffic with Istio

uk: Комп'ютерні науки

description: Software development has been gradually shifting from monolithic to distributed containerized applications. Such applications are composed of components referred to as micro services. With the increasing number of micro services, it becomes increasingly difficult to understand how all the components communicate. This is where Istio service mesh comes into play. Istio allows developers to manage and monitor network traffic between micro services and by providing features like mutual TLS, request retries or request circuit breaking. Vendoring these features from Istio helps keeping micro services focused on the actual application logic as they don't need to be implemented by the micro services. The IT industry has broadly adopted this architecture, but there are still plenty of legacy workloads running in virtual machines, which can't easily take the advantage of the features provided by service mesh. At least not until recently when KubeVirt introduced support for Istio service mesh. Attendees of this talk gain insight into the concept of the Istio sidecar proxy. A short demonstration showing typical use case of Istio service mesh -- canary deployment -- is presented. Next, this talk explains subtle differences of network traffic routing between regular Kubernetes pods and containerized KubeVirt virtual machines, leading to the challenges that these differences pose for traffic proxying. Finally, the changes necessary to support Istio for KubeVirt virtual machines are explained and the resulting functionality presented using the same scenario, but with the workload running in virtual machines instead of Kubernetes Pods. The takeaway of this talk is understanding of routing concepts behind Istio proxy sidecar with regular Kubernetes pods as well as with containerized KubeVirt virtual machines. Audience will have a chance to observe typical use case of Istio with both pods and virtual machines and get insight into the necessary changes that made this possible.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: The VIRTIO standard defines I/O devices that are commonly used in virtual machines today. The last version of the standard was released in 2019 and much has changed since then. This presentation covers new devices and features in the upcoming VIRTIO 1.2 standard. There are 9 new device types: fs, rpmb, iommu, sound, mem, i2c, scmi, gpio, and pmem. We will look at the functionality offered by these devices and their status in Linux. This presentation is aimed at users of virtualization who may be interested in new virtual devices that are becoming available in Linux, QEMU, etc. It may also be of interest to driver and virtual machine monitor developers who are considering implementing new devices.

uk: вхід без авторизації

name: What's coming in VIRTIO 1.2: New virtual I/O devices and features


uk: Комп'ютерні науки

description: Earthstar is a specification and Javascript library for building online tools you can truly call your own. By being light, simple, and cheap, bicycles confer huge amounts agency to their users. 'Web3' doesn't have a lot of bicycles. Instead it's got a lot of hyperloops: slick, complex, expensive, and with very little application. What can we learn from bicycles when we design new tools for the web? Earthstar occupies a relatively unexplored band of the contemporary web3 spectrum: ephemerality, lightness, offline-ness, malleability, and serving groups of people who already know each other. This project was funded through the NGI Assure Fund, a fund established by NLnet with financial support from the European Commission's Next Generation Internet programme, under the aegis of DG Communications Networks, Content and Technology under grant agreement No 957073. Applications are still open, you can apply today.

uk: вхід без авторизації

name: Earthstar: The merits of being a bicycle when everything else is a hyperloop.


uk: Комп'ютерні науки

description: A quick tour on using Hyper Hyper Space datatypes to create fully distributed structures for collaborative applications. We'll start with a simple last-writer-wins JSON object, to complex structures like a moderated chat room and a simple ledger. Then we'll open them inside a web browser, using plain javascript, and show how the web can be used as a platform for truly peer-to-peer applications. The Hyper Hyper Space library offers two things: A data modeling language, that presents building blocks to create and compose CRDT-like operational datatypes, that are backed by a Merkle-DAG. A synchronization protocol for Hyper Hyper Space datatypes, with an implementation that works both in-browser (through WebRTC & IndexedDB) and NodeJS. In this talk we'll focus on how to use the modeling language, and see in practice how to use the created objects inside a web browser using JavaScript.

uk: вхід без авторизації

name: Hyper Hyper Space: In-browser p2p applications: A quick tour on using the browser as a p2p node


uk: Комп'ютерні науки

description: This is an overview of IPFS integrations across various platforms, devices and network transports - including browser integrations, video demos of IPFS apps on a native web3-based OS on Pixel 3, IPFS content loaded into various XR devices like Oculus Quest and HTC Vive Flow, and mobile-to-mobile IPFS apps via Bluetooth LE.

uk: вхід без авторизації

name: Edges Are Infrastructure: IPFS Everywhere for a More Resilient Future: Adventures in IPFS support across Bluetooth, mobile devices, XR and more!


uk: Комп'ютерні науки

description: libp2p is a universal, cross-platform, multi-language, modular peer-to-peer networking library powering multiple large-scale networks, for example IPFS, Ethereum 2, Filecoin or Polkadot. We will discuss the current state of the project, eyeball the various language implementations, take a look at the many live networks running on top of libp2p today and finally cover the project roadmap for the years to come.

uk: вхід без авторизації

name: State of libp2p: Status quo and future roadmap of the peer-to-peer networking library libp2p.


uk: Комп'ютерні науки

description: Peergos gives users total control over their data. That means: Where it is, Who can see it, Who can't see it. Used as a global file system, Peergos provides a private space where you can store, share and view your media and documents. Individual content can be shared outside peergos via secret links and whole static sites can be hosted via a gateway. Used as an application platform, Peergos provides productivity tools like a calendar, todo/project boards and document viewer/editors. In the near future users will be able to add their own applications using the same secure application protocol. Used as a communication platform, Peergos provides a social media feed, group chat and an email bridge. Peergos is open source and self-hostable. This talk with introduce Peergos. It will expand on the project's goals, its architecture and some of the technical details. It will provide a walkthrough of the current functionality and a sneak-peak of what the future may hold.

uk: вхід без авторизації

name: Peergos - Combining peer-to-peer connectivity, end-to-end encryption and fine grained access control to build a secure and privacy focused self-certifying web protocol


uk: Комп'ютерні науки

description: A playground for group self-awareness (awhereness?) on holochain Groups, especially remote collaborative groups, often lack contextual information about collaborators that makes working together harder. Co-locating oneself across a number of spaces in the context of a group (or groups) provides an important avenue for improving both sense-making and working together. Where provides a generalized grammar for creating shared maps for groups to see the emergent "whereness" of each other, as well as the grammatics to self-evolve these spaces and how to represent "location" in them.

uk: вхід без авторизації

name: Collabortive group self-awareness with Where, a Holochain app: A demo of how distributed ledger tech can up-regulate group capacity.


uk: Комп'ютерні науки

description: Wikipedia and Wikimedia Commons are a treasure trove of free information about a lot of topics! Wikipedia alone contains over 50 million articles in almost 300 languages. We're building a new, fun way to explore this content: "The Everything Exhibition" is an open-source generator that creates interactive, virtual 3D exhibitions on arbitrary topics, which you can explore in the browser! It has a multiplayer mode, so you can visit the exhibitions in groups. And, other than in a real museum, you can scribble on everything! In this talk, we want to introduce you to how the generator works, and show you our current progress. We're using the 3D rendering engine three.js, and defined a simple datastructure for describing the exhibition content, to make the generator arbitrarily extendable. We'll go into which algorithms we tried for creating the room layouts, share what we learned in our playtest sessions, and talk about what's next.

uk: вхід без авторизації

name: Generating virtual 3D exhibitions from Wikipedia: Let's dive into some rabbit holes with The Everything Exhibition!


uk: Комп'ютерні науки

description: C% (from "C with mods") is an experimental meta-programming language that aims to make coding in C more efficient and fun! Together with cmod, the reference pre-processor/code generator (written using C% itself), this project enables the C programmer with generic meta-programming constructs such as: parameterized verbatim code snippets, mapping code to static data tables (in TSV or JSON format), multi-pass code evaluation (allowing meta-meta-programming), compile-time command execution (allowing code generation from any other software/language), etc. as well as C-specific constructs such as: function types, named parameters, selection over strings and structs, etc. The C% standard library provides convenience constructs for inclusion in C programs.

uk: вхід без авторизації

name: C meta-programming for the masses with C%: cmod


uk: Комп'ютерні науки

description: A desktop thermometer that displays relative humidity is useful, but it does not provide continuous monitoring. In comes the Raspberry Pi: it is small, inexpensive, and has many sensor options, including temperature and relative humidity. It can collect data around the clock, do some alerting, and forward data for analysis. Originally it was a project to practice Python and learn Elasticsearch, but ended up with using syslog-ng between the two. Along the way, I also learned how to regulate humidity in my room. In my talk, I plan to cover the following topics: - collecting environmental data on the Rasbperry Pi using Python - configuring Elasticsearch to work around a syslog-ng limitation - configuring syslog-ng to forward the collected data to Elasticsearch / OpenSearch - take a look at the graphs in Kibana and learn how to keep humidity low in your room

uk: вхід без авторизації

name: Measuring and analyzing humidity data using Python, syslog-ng and Elasticsearch


uk: Комп'ютерні науки

description: Jupyter notebook is a tool that allows Data Scientist to analyse dataset. However, it is not easy to create a custom user interface integrated in an existing application.

uk: вхід без авторизації

name: Jupyter for React.js developers: React.js components to build your custom data product with Jupyter


uk: Комп'ютерні науки

description: NetOTA is a new repository protocol designed for the IoT ecosystem. It sits between global app-stores and single-URL update links, offering practical features without sacrificing simplicity.

uk: вхід без авторизації

name: NetOTA: Quick introduction to IoT centric package archive


uk: Комп'ютерні науки

description: The creation of a positioning system has use cases for indoor, outdoor and even small-scale deployments. These solutions often use a broad range of technologies and algorithms that each have their advantages as well as limitations. Existing open source positioning solutions often offer a complete package for indoor navigation or asset tracking that allows developers to set up a specific application with minimal effort. However, these positioning solutions offer little room for developers to customise them. OpenHPS is an open source hybrid positioning framework for creating a positioning system without being bound to a specific technology or a set of algorithms. Developers are free to choose the data they want to use, from where they want to obtain this data, how to process the data and finally how to use the outcome of the positioning system. In this presentation we will present the modularity and ecosystem around the OpenHPS framework, some technical aspects as well as the current state of the project. A localisation system often has use cases such as tracking employees or navigating people at a conference. When looking at the problem in a more broader perspective the use cases often span way beyond the tracking and navigation of people. Whether it is a use case where pawns need to be tracked on chessboard or a robot needs to navigate itself outside and through multiple buildings, different approaches need to be used.

uk: вхід без авторизації

name: Rapid Prototyping of a Positioning System: Using the OpenHPS Framework


uk: Комп'ютерні науки

description: Project re-isearch is a novel multimodal search and retrieval engine using mathematical models and algorithms different from the all-too-common inverted index. The design allows it to have, in practice, effectively no limits on the frequency of words, term length, number of fields or complexity of structured data and support even overlap--- where fields or structures cross other's boundaries (common examples are quotes, line/sentences, biblical verse, annotations). Its model enables a completely flexible unit of retrieval and modes of search. Developed using a highly portable C++ subset to be RAM efficient, the engine provides also bindings to a number of other languages such as Python, Tcl, Java etc.

uk: вхід без авторизації

name: A lightning intro to re-Isearch: re-Isearch, the 27 year old new kid on the search block


Tracking your time with Timewarrior

uk: Комп'ютерні науки

description: Time tracking is a task many people have to deal with. Be it for writing bills for your client, creating time reports for your company, or simply because you are curious what you are doing with your time all day. Timewarrior is a tool that lets you track your time easily from the command line – it does its job then gets out of your way. The presentation wants to give you an overview of what Timewarrior can do for you (and what not), and how you can adapt Timewarrior to your needs. The talk is aimed at new users, but everyone is welcome to join the Q&A session afterwards.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: While the coronavirus pandemic continues to send shockwaves throughout almost all industries, it’s important for developers to nurture their communities in a well-efficient way and prepare them for the future. The overwhelmed communication systems, improving remote culture, and fostering community coordination are the three main areas on which we need to focus on. It is important to recognize that community development is an organic process, the listed steps (not in order) are to be considered on how we empower people, communities, and the industries around us: Learn about the community Listen to community members Bring people together to develop a shared vision Assess community assets and resources, needs and issues Help community members to recognize and articulate areas of concern and their causes Establish a 'vehicle for change’ Develop an action plan Implement an action plan Evaluate the results of actions Reflect and regroup. People want to live in resilient and healthy communities. Well-being and positive mental health start here. Further mental health services need to consider how they harness the assets and strengths of communities in developing approaches that empower people in their recovery journeys.

uk: вхід без авторизації

name: Strengthening Developer Communities in Unprecedented times


uk: Комп'ютерні науки

description: Recognizing community members is one of the most enjoyable activities for community managers. It is a great opportunity to thank people for their work and highlight their contributions to the rest of the community. However, we need to evaluate if we’re truly being inclusive with our community recognitions. For example, when discussing contributors, we still see a lot of emphasis on the volume of contributions on project repositories (i.e., code) that some may find intimidating. This focus on code is partly because contributions on tools like GitHub and GitLab are easier to measure and quantify. On the other hand, it can be more challenging to measure (or even notice) how much a community member is helping others on platforms like Discord, Matrix, Slack, etc. When someone helps a newcomer by answering a quick question in chat, it’s easy to miss that among other discussion threads. Even though it can be more challenging to quantify non-code contributions, it’s crucial to look beyond repositories to see how people are helping to improve our communities. In addition to contributions in chat-like platforms, this can include sharing their use cases, participating in meetups, providing honest feedback in 1-on-1 conversations, etc. Looking across a broad spectrum of contributions will help ensure that we recognize everyone regardless of their background, interests, and skillset. Also, not everyone is comfortable with public recognition. Some may feel uncomfortable being in the spotlight or even think what they have done is not significant enough (sometimes I see this with contributors from underrepresented groups). In these instances, it is important to find ways to let them know that the community appreciates their work without putting them in an awkward position. In this talk, Ray will share his experience identifying different contributions, community recognition examples (both good and bad), and feedback he received on community recognition programs. There will also be a discussion on how inclusive recognition is vital for strengthening the sense of belonging in the community.

uk: вхід без авторизації

name: Are we being inclusive with our community recognitions?


uk: Комп'ютерні науки

description: LibreOffice was announced in 2010. After 10 years, it was necessary to review and update the strategy based on the evolution of the office suite market, to improve the sustainability model. Enterprises are not supporting the project as much as individual users. Over time, this can represent a threat for the sustainability of the project. We have changed our strategy to educate enterprises about the right approach to FOSS, by giving back to ensure the long term sustainability of the LibreOffice project. LibreOffice was announced in 2010 to relaunch innovation of the already stagnant OpenOffice project. After 10 years of growth, it was necessary to review and update the strategy based on the evolution of the office suite market, to improve the sustainability model. In fact, enterprises - although deploying LibreOffice to save money over proprietary solutions - are not supporting the project as much as individual users. Over time, this can represent a threat for the sustainability, as development can be slowed down. We have therefore changed our strategy to educate enterprises about the right approach to FOSS, by giving back in one of the many available ways: purchase the LTS version from the ecosystem, fund the development of a specific feature, pay for the solution of a bug or a regression, and so on. The right approach from enterprises would ensure the long term sustainability of the LibreOffice project, and the evolution of the Open Document Format (ODF) ISO standard file format for true interoperability.

uk: вхід без авторизації

name: Making a Community Managed FOSS Project Sustainable: Strategies and tactics


uk: Комп'ютерні науки

description: The European Union is working with great energy on new rules for digital markets, targetting first of all the big global Internet platforms. Building on the global impact of the GDPR, efforts like the Digital Services Act, the Digital Markets Act, the AI Regulation, the Data Governance Act and the GAIA-X initiative attempt to restrain the superpowers of the big American and Chinese companies and promote rights and opportunities for Europeans, restoring the EU's ability to control its own slice of the Internet and reducing the dependency on foreign products and services. Open source is one of the strategic tools for this objective, and open source projects and companies could be benefited by these changes. Watch the talk to learn what is happening! The talk will start by recollecting how we started up with an open, interoperable Internet that allowed everyone to cooperate and deploy new content and services, and ended up with a concentration of money and power of unseen scale in the history of mankind. Technical and market developments are centralizing the Internet more and more into the hands of a few companies, very concentrated in terms of geography, jurisdiction, ownership and views of the world. We will discuss how the EU plans to counter these trends, what the various regulations and projects are, and how they would work. We will then focus on how open source in Europe could be impacted by the new rules. Some of the provisions are particularly in line with an open, distributed Internet architecture, mandating the adoption of open standards and interoperability and preventing dominant players from advantaging their own applications and services over independent ones. Social media, instant messaging and mobile apps are three sectors that could be particularly affected. In the end, the talk aims to create awareness in the European open source community around the changing regulatory scenario, so that we are ready for it.

uk: вхід без авторизації

name: European digital sovereignty and open source: How Europe is regulating big tech and what's in it for FLOSS


uk: Комп'ютерні науки

description: Network Automation has evolved a lot on the last years, adopting a lot of the practices from SDLC (Software Development Life Cycle) but with the intrinsic constraint of networking services. In this talk you will learn about which are the challenges and common use cases around network automation, for instance: configuration management, user-driven workflows, infrastructure as Code (for hybrid and multi clouds) or close-loop automation using Telemetry. You will realise how a lot of open source projects are coming together to provide solutions to the previous challenges from different angles and how you could connect them together to start building a network automation strategy that could transform your network with lower OPEX, improved reliability and security, and increased innovation.

uk: вхід без авторизації

name: Open Source Network Automation in 2022: How to build a Network Automation strategy around Open Source tooling


uk: Комп'ютерні науки

description: Time has come to rewrite our system software in Rust and leave the pitfalls of C behind. This also includes basics such as filesystem support. I took on the challenge to implement NTFS, the primary filesystem used by Windows, in a Rust crate that is equally usable from the firmware level up to user-mode. While Rust has been conquering the system software landscape for the past few years, there are next to no examples for implementing filesystems. Likewise, NTFS only has a single major open-source implementation known as ntfs-3g, and it was developed in C over a decade ago. This talk will cover my motivation for targeting NTFS and various use cases for such a Rust crate. I will introduce you to the internals of the NTFS filesystem, how they influenced the crate's design, and how Rust's features can be leveraged to create a safe and maintainable implementation. My talk will cover the current implementation, but also the necessary iterations until I got there. Finally, we will also deal with the current limitations of the Rust ecosystem and possible future improvements to the crate. You will see that Rust has many advantages for implementing filesystems, and I hope to see more such crates in the future.

uk: вхід без авторизації

name: Implementing the NTFS filesystem in Rust: Reusable code from firmware level up to user-mode


uk: Комп'ютерні науки

description: REST, the architecture underlying the web's protocols, has proven its benefits in creating a globe-spanning, decentralized information network. However, REST is showing its age - it was designed when surveillance capitalism, identity theft, information warfare, and other threats were largely hypothetical concerns. Unavoidably, REST leaves many of these issues unaddressed. Best practices fill some gaps, but may not be universally adopted. The Interpeer Project has been awarded a grant from the Internet Society Foundation for research and development into a next generation architecture that addresses current and future Internet user needs. Such an architecture needs to embrace the strengths of REST, incorporate known best practices, but ideally make worst practices impossible. This talk presents the issues with REST in some detail and lays out proposed solution sketches. The ideal is to invite participation, however. The 'net needs a wide range of view points to be fixed. In 2000, Roy Fielding published his dissertation on Representational State Transfer. Fielding had been actively working on the HTTP standards, which were guiding by informal design principles that REST formalizes. The talk will revisit this architectural style to disambiguate it from how the REST term has become applied since. Much as software freedoms exist, we need to address "internet user freedoms", and their relationship to human rights. Existing internet technology must be evaluated in this light, in how it supports or hinders human rights. In this presentation, architectural properties and constraints in the REST architectural style will be analyzed, with regards to the previous discussion as well as technical requirements. We will explore additional properties, and their effect on the architectural style. The talk will also provide background on concrete work already done or underway on this and adjacent topics. Finally, we'd like to briefly introduce the non-profit organization created to support work on this project. If we are to create a better digital world, we'll need patience and all the help we can get.

uk: вхід без авторизації

name: On the Far Side of REST: An Architecture for a Future Internet


uk: Комп'ютерні науки

description: The Jitsi project was founded almost 20 years ago, under a different name and just for academic purposes. Almost 20 years later, the project could not be in a better shape! It has gone through a name change and several acquisitions by large corporations, while remaining current in the industry and innovating all along. This presentation will take a trip down memory lane and see where Jitsi came from, how it has managed to stick around for so long, and what the future holds.

uk: вхід без авторизації

name: Jitsi: 20 years of Real Time Communications: How the Jitsi project has adapted and remained current in the RTC industry for almost 20 years


uk: Комп'ютерні науки

description: Our mobile devices have various apps that need updates from various servers at various intervals. Each app connecting to its own server on its own schedule, perhaps using inefficient technologies, can cause a lot of battery drain. Push Notification services are systems that can route all the important updates our devices need - whether they're instant message, VoIP, or social updates - into one shared channel. Unfortunately, the status quo in push notification services rely on centralized, proprietary services hosted by a third party. UnifiedPush is a set of free and open source specifications that allow you to get push notifications while picking your own hosting provider. This presentation goes over the history of UnifiedPush, current state of the project and architecture, and what the future goals of UnifiedPush are. It also discusses push notifications on Linux phones.

uk: вхід без авторизації

name: UnifiedPush: A FOSS cross-platform push notifications protocol


WebRTC broadcasting with WHIP

uk: Комп'ютерні науки

description: The broadcasting industry has for years been dominated by a specific set of technologies (RTMP, HLS, etc.) that, while effective, suffer from high latencies and so are not always a good option. The IETF has started to look into WebRTC for that, starting from ingestion using the WHIP protocol. This presentation will introduce WHIP, some existing implementations, and how this could be expanded to distribute streams to a wide audience via WebRTC as well. The broadcasting industry has for years been dominated by a well known and specific set of technologies (RTMP, HLS, etc.). These solutions do work and are widely deployed, taking advantage of CDNs for distributing streams to a potentially very large audience in an effective way. That said, they do suffer from some limitations, the stronger one being a high latency that cannot really be reduced, if not slightly. Considering there are scenarios where a very low latency may be desired, WebRTC has started to gain some traction, due to its real-time nature that, although originally conceived for conversational scenarios, has actually often used for streaming purposes as well. When it comes to broadcasting, there are two main aspects to take into account: ingestion (providing a stream to broadcast) and distribution (feeding the stream to an audience). The IETF has started addressing ingestion in the WISH Working Group, with a draft describing the WHIP protocol. This presentation will introduce what WHIP is, its requirements, and how it's supposed to work, plus some details on existing implementations. It will then move to some considerations on how distribution could be handled via WebRTC as well, possibly at scale, using the open source Janus WebRTC Server as a reference implementation.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Sudo is used by millions to control and log administrator access to systems, but using only the default configuration, there are plenty of blind spots. Using the latest features in sudo lets you watch some functions that previously were blind spots and you can also control access to them. There were several minor and major changes since the 1.9.0 release that I discussed in my previous FOSDEM talks. Here are the four major new features allowing you see your blind spots: - instead of giving full shell access, you can fine-tune the working directory and chroot settings - JSON-formatted logs give you more details on events and are easier to act on - relays in sudo_logsrvd make session recording collection more secure and reliable - you can log and control sub-commands executed by the command that is run through sudo Previously, there were quite a few situations where you had to give users full shell access through sudo. Typical examples are when you run a command from a given directory, or run commands in a chroot environment. You can now configure the working directory or the chroot directory and give access only to the command the user really needs. Logging is one of the main roles of sudo, to see who did what on the system. Using JSON-formatted log messages gives you even more information about events. Also, structured logs are easier to act on. Setting up alerting for suspicious events is much easier when you have a single parser to configure for any kind of sudo logs. You can collect sudo logs not only by local syslog, but also by using sudo_logsrvd, the same application used to collect session recordings. Speaking of session recordings: instead of using a single central server, you can now have multiple levels of sudo_logsrvd relays between the client and the final destination. This allows session collection even if the central server is unavailable, providing you with additional security. It also makes your network configuration simpler. Finally, you can log sub-commands executed from the command issued through sudo. You can see commands started from a shell. No more unnoticed shell access from text editors. And, best of all: you can also intercept sub-commands.

uk: вхід без авторизації

name: Sudo: Watch and control your blind spots


Secure Communication with Tls

uk: Комп'ютерні науки

description: Tls/ssl forms the backbone of secure digital communication. This presentation covers the details about the tls protocol and its use of lower-level cryptographic methods. There is also an extensive section about the creation and use of digital certificates for authentication, with examples from web servers and Postgres.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Eighteen years into my career, I decided to pivot and move from infrastructure-related work to the world of application security. If there’s one thing I’ve learned in the three years of working in application security is that it’s a funny business. Our entire business model is based on pointing out the mistakes of other programmers. In this talk, I want to shoot myself in the foot and share some concepts that could help eliminate a lot of those mistakes, and reduce my job to snuffing out the more interesting mistakes.

uk: вхід без авторизації

name: What I wish I knew about security when I started programming


Future Postgres Challenges

uk: Комп'ютерні науки

description: Postgres has been a vibrant project for decades, and probably will be popular for decades to come. However, as with any complex endeavor, challenges are always lurking. This talk explores the many project, competitive, and technical challenges in the future that could derail its success. By exploring these challenges, we will be better able to avoid them.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: As the most popular open source relational database in the world, PostgreSQL keeps attracting the significant attention it deserves. With the ever increasing data storage and query requirements, new challenges are brought forward for horizontal elastic expansion and security of the PostgreSQL database. How to provide existing PostgreSQL databases with incremental capabilities such as data sharding, data encryption and other functions is of great concern to many PostgreSQL users. This session will focus on introducing how to empower PostgreSQL thanks to the ecosystem provided by Apache ShardingSphere - an open source distributed database, plus an ecosystem users and developers need for their database to provide a customized and cloud-native experience. ShardingSphere doesn't quite fit into the usual industry mold of a simple distributed database middleware solution. ShardingSphere recreates the distributed pluggable system, enabling actual user implementation scenarios to thrive and contributing valuable solutions to the community and the database industry. The aim of ShardingSphere is the Database Plus concept. Database Plus sets out to build a standard layer and an ecosystem layer above the fragmented database's basic services. A unified and standardized database usage specification provides for upper-level applications, and the challenges faced by businesses due to underlying databases fragmentation get minimized as much as possible. To link databases and applications, it uses traffic and data rendering and parsing. It provides users with enhanced core features, such as a distributed database, data security, database gateway, and stress testing. ShardingSphere uses a pluggable kernel architecture for Database Plus. That means there's modularity, which provides flexibility for the user. Demos and notable use cases in production environments that are from the Asia equivalents of FAANG (Facebook, Amazon etc.) will be used to introduce the use and implementation of these functions for PostgreSQL databases.

uk: вхід без авторизації

name: PostgreSQL Distributed & Secure Database Ecosystem Building


Slow things down to make them go faster

uk: Комп'ютерні науки

description: It's easy to get misled into overconfidence based on the performance of powerful servers, given today's monster core counts and RAM sizes. However, the reality of high concurrency usage is often disappointing, with less throughput than one would expect. Because of its internals and its multi-process architecture, PostgreSQL is very particular about how it likes to deal with high concurrency and in some cases it can slow down to the point where it looks like it's not performing as it should. In this talk we'll take a look at potential pitfalls when you throw a lot of work at your database. Specifically, very high concurrency and resource contention can cause problems with lock waits in Postgres. Very high transaction rates can also cause problems of a different nature. Finally, we will be looking at ways to mitigate these by examining our queries and connection parameters, leveraging connection pooling and replication, or adapting the workload.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Optimization problems are everywhere, from deciding which clothes to pack in our luggage (aka the knapsack problem), to selecting the tasks that will be worked during a sprint. Trying to solve these type of problems by hand is a tedious task often resulting in sub-optimal decisions. In this talk, we'll understand how PostgreSQL recursive queries can help. Starting from the proper problem definition, we'll then explore how to build queries that call themselves recursively, what are the risks associated with this approach and safeguards we can set to optimise performances. Finally we'll demonstrate how two new features released in PostgreSQL 14 enable an easier handling of the recursive statements.

uk: вхід без авторизації

name: Solving the knapsack problem with recursive queries and PostgreSQL


uk: Комп'ютерні науки

description: This talk is for those who are new to PostgreSQL or those who just started, or all the others that want to hear a personal story: When I started with PostgreSQL around 10 years ago, I came with an Oracle background. It took me quite some time to understand how the PostgreSQL project is organized, how the community is working and how to deal with issues I've faced when I needed support. This is not a technical talk at all, but it should save you quite some time in your journey with PostgreSQL.

uk: вхід без авторизації

name: Working effectively with (-support-) the community


uk: Комп'ютерні науки

description: Public schools are one natural way to get people in contact with free software, and helping them shape their digital environment with it. The AlekSIS project develops a free, open School Information System that doubles as a platform for students of any age to develop apps to digitise their own schools. School Information Systems are programs that help to digitise several processes in public or private schools, reaching from timetables and substitution plans over school meal plans, digital class registers, up to payment systems, and much more. Starting out as two independent solutions for School Information Systems, AlekSIS is an actively developed free software project, made by students, teachers, and software engineers together. It is designed to be both a stable and secure software solution, readily available for schools, and a platform that can be used in classes to learn and teach coding. Students can make their own apps, that are seamlessly integrated into the platform, to help digitise real-world scenarios at their schools. In this talk, we will show what AlekSIS is, and explain the scheme behind making it a learning platform for young app developers at the same time.

uk: вхід без авторизації

name: AlekSIS, the Free School Information System: Taking on digitisation and digital education at once


keywords:
Inverse problems
bayesian inversion
MAP estimators
Markov chain Monte Carlo

cs: Matematika

de: Mathematik

fi: matematiikka

uk: Математика

en: Mathematics

fr: Mathématiques

da: Matematik

es: Matemáticas

nl: Wiskunde

de: Mathematik, Naturwissenschaften

uk: Математика, природничі науки

en: Mathematics, Natural Sciences

description: We consider the inverse problem of recovering an unknown parameter from a finite set of indirect measurements. We start with reviewing the formulation of the Bayesian approach to inverse problems. In this approach the data and the unknown parameter are modelled as random variables, the distribution of the data is given and the unknown is assumed to be drawn from a given prior distribution. The solution, called the posterior distribution, is the probability distribution of the unknown given the data, obtained through the Bayes rule. We will talk about the conditions under which this formulation leads to well-posedness of the inverse problem at the level of probability distributions. We then discuss the connection of the Bayesian approach to inverse problems with the variational regularization. This will also help us to study the properties of the modes of the posterior distribution as point estimators for the unknown parameter. We will also briefly talk about the Markov chain Monte Carlo methods in this context.

uk: вхід без авторизації

name: Bayesian methods for inverse problems - lecture 2

name: Centre International de Rencontres Mathématiques (CIRM)

addressCountry: FR

addressLocality: Marseille

addressRegion: Provence-Alpes-Côte d'Azur


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Emitting Hellschreiber from a Raspberry Pi GPIO: combining gr-hellschreiber with gr-rpitx: GNU Radio running on an embedded board as emitter


Introducing the M17 Project

uk: Комп'ютерні науки

description: A six minute talk on the M17 Project, an open source digital communications protocol suitable for VHF/UHF and more. Intended for amateur radio terrestrial and space application, many exciting things are possible with this 4-ary FSK layered protocol from a dynamic and motivated international team. This talk will introduce the audience to the project and the purpose, goals, products, opportunities, and enjoyment possible with M17. M17 is not encumbered by US patents.

uk: вхід без авторизації


gr-ofdmradar: OFDM Radar in GNU Radio

uk: Комп'ютерні науки

description: All radar is dominated by high-bandwidth, fixed waveforms. All radar? No! A little domain combines communications and sensing, introducing OFDM Radar: gr-ofdmradar is a GNU Radio out of tree (OOT) module, providing an OFDM Radar implementation that can be used in simulations and, potentially, hardware. In this talk I will introduce the motivations and theory behind OFDM Radar as described by Martin Braun, present gr-ofdmradar and how it can be used in simulations and conclude with a small outlook at how this module can be used for hardware implementations.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: The openwifi project (opensource WiFi chip) was firstly introduced in the fsr dev room of FOSDEM2020, Brussels. So it would be our honor to give the annual update of the project in the same event! This year we will bring these contents: - Features added in 2021 - Bug fixes in 2021 - Some initial test results by the R&S CMW270 WiFi tester - The community growth we saw in 2021: the new cheaper hardware; the new applications/papers; etc. - Our current focus and future plan: the progress of WiFi6/802.11ax development; etc.

uk: вхід без авторизації

name: Opensource WiFi chip (openwifi) progress and future plan


Voyager 1 adventures

uk: Комп'ютерні науки

description: Voyager 1 is the furthest spacecraft and the first ever to exit the solar system. Fueled by its radioisotope generators, after more than 40 years of flight it is still sending us data about the interstellar medium using its 3.7 metre dish antenna and 8.4 GHz transmitter. In this talk we report two adventures regarding the reception of the Voyager 1 signal. In the first part, we show the successful detection of the Voyager 1 signal using one of the 6.1 metre dishes at the Allen Telescope Array in November 2020. Calculations show that using stable frequency references and accurate Doppler correction, this feat might also be possible for amateurs with smaller dishes if they integrate several hours of data to pull out the very weak signal from the noise. In the second part, we use some recordings done by the 100 metre Green Bank Telescope in 2015 and 2020 to decode the data transmitted by Voyager 1. The spacecraft predates the modern CCSDS standards, so its data has some interesting aspects. All this work has been done using GNU Radio, Python, and other open source tools. The data and results are publicly

uk: вхід без авторизації


Decentralized DevOps with Unfurl

uk: Комп'ютерні науки

description: Unfurl is a brand-new open-source command line tool for managing your DevOps infrastructure without depending on any server infrastructure. Unfurl lets you easily track configuration, secrets, software and code dependencies, and deployment history all in git. It integrates with the DevOps tools you are already using -- like Terraform, Ansible, and Helm -- allowing you to encapsulate your DevOps processes into reusable building blocks and describe your cloud infrastructure in simple, application-centric terms. The ultimate goal of Unfurl is enable anyone to clone, fork, and deploy live cloud services as easily as cloning and building code from git -- so that we can cooperatively build and run cloud services the same way we build open source software.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: The Raku ecosystem is growing at an impressive rate. The Raku Programming Language allows developers to specify the exact version of a module that is needed in production. This is a very good thing, and makes sysadmins all over the world pretty happy, as they know they can install new versions of modules without fear of breaking production code. However, developers can also remove distributions from the ecosystem. This presentation describes efforts to make sure that this will never become a problem for production.

uk: вхід без авторизації

name: Keeping the past to preserve the future: On the development of a BackPAN for Raku


uk: Комп'ютерні науки

description: Writing Free Software is very different from writing proprietary software for a huge software company like Google or Facebook – the team size, incentives, and likelihood of turnover are all completely different – and, as a result, the ideal languages are very different as well. Or at least, this was the thesis for my 2021 FOSDEM talk "Imagining the Ideal Language for Writing Free Software". Over the past year, however, I've concluded that this argument – while correct any many areas – does not apply to dependency management. When it comes to dependency management, writing Free Software isn't on the opposite end of the spectrum from writing code for Google — it's on the same end, but even further along. This talk will elaborate on what I mean by that statement and discuss the implication I believe that this has for Raku.

uk: вхід без авторизації

name: Free Software, Dependency Management, and what I got wrong at FOSDEM 21


uk: Комп'ютерні науки

description: GitHub has a nice environment for carrying out repository-event triggered workflows; these use a variety of runner platforms, including containers. This talk is about how to create a Raku container that can successfully act as a runner for workflows, and how to Rakuize the workflow API so that Raku scripts can interact meaningfully with this environment. There are two parts on this talk; first, how to create a chain of increasingly complex Raku containers that can be used mainly for testing, and second, how to run some Raku scripts within those containers, with cool things that can be done inside those workflow using Raku.

uk: вхід без авторизації

name: GitHub Actions (in|for) Raku: Containerizing Raku for testing and other automation tasks


uk: Комп'ютерні науки

description: One feature that sets raku apart from other programming languages is the built-in Grammar parser syntax. This provides a concise, clean and extensible tool for parsing text and triggering Actions according to the content. Navigation aids such as buoys and markers sport flashing lights with characteristics such as color, duration, phase, occulting, speed, height, visibility and so on are represented on navigation charts by way of a short code e.g. Fl(4)15s37m28M. This talk aims to show how raku provides the average coder (me) with a new practical alternative to Regexs and/or specialist recursive descent modules. It should illustrate how the combination of the raku built-in OO system and Grammars/Actions keeps the problem domain / problem solution in focus via code and visual examples.

uk: вхід без авторизації

name: A Raku Grammar for Navigation Lights: code walkthrough with live examples


uk: Комп'ютерні науки

description: Rakulang is great not only as a scripting language, but also at the conceptual level, allowing you to map problem-domain concepts to data structures easily. This comes handy when you use a specific kind of learning procedure that needs to track general class progress as well as individual attainment levels in a very precise way. In this context, we have created a Raku mini-library and a series of scripts that give us information on how a whole class of Cloud Computing students is progressing, and allows to pinpoint choke points, hurdles to progress, as well as individuals who might have been left behind. We think that teaching software engineering should be just like software engineering, and in this context we have created a class with project-based learning, and objective-based learning. Students progress asynchronously through a series of objectives, with the student giving them individualized feedback on how to achieve those objectives. Objectives fulfillment is public, and this gives us a storage platform on which to build a series of scripts that show us the general degree of attainment by the class, as well as how every individual students are doing. These scripts are, for the time being, run manually. In the near future they will be integrated in a learning analytics workfow using GitHub actions, reducing the amount of manual running as much as possible. This, while not using a big amount of high-magic, shows how Raku expresiveness and whippipitude make the management of class extremely easy.

uk: вхід без авторизації

name: Class learning analytics with Raku: How Raku helps improve learning in a cloud computing class at the University of Granada


uk: Комп'ютерні науки

uk: вхід без авторизації

name: A Platform to Assess the Trust in Power System Components Data, and Services


uk: Комп'ютерні науки

description: Raku Steering Council Q&A panel is aimed at the audience interested in the Raku® programming language, its current state, and its future. Members of the Council will try to answer any related questions, including those about the Council itself.

uk: вхід без авторизації

name: Raku Steering Council Q&A Panel: RSC members to answer live questions.


Radically simple testing in Raku

uk: Комп'ютерні науки

description: Some languages offer a very simple syntax for testing via assertion statements, for example with an assert function that creates a simple test that passes if given a true value and fails for anything else. This style of testing is admirably concise, but can lead to cryptic test messages that make it very difficult to determine what a test was attempting to check without opening up the file containing the failing test. At the other extreme, it's possible to write very expressive tests with a fluent, method-chaining API. For example, using the Chai.js assertion library, a test might read beverages.should.have.property('tea').with.lengthOf(3). This allows tests to automatically generate much more useful messages but comes at the cost of creating a fairly complex test API with many new methods to learn. Raku's core Test module falls somewhere between these two extremes – it offers an API with a handful of functions that's easier to learn than a full fluent API but more expressive than simple assert statements. This is a sensible compromise. But I claim (assert?) that, with a bit of metaprogramming trickery, Raku lets us have the best of both worlds: we can have a zero-learning-curve test API that's just as simple as assert statements while also being just as expressive as a long chain of method calls in a fluent style. I'll present this style of testing, discuss its use in Raku, and consider ways in which Raku lets us improve on the status quo.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Made by Woz: how Apple-1 operating system works?: Brilliant Steve Wozniak’s code every software engineer should know