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

description: The cloud is more than just AWS vs Azure, scalability and big data. In this talk we will take a look at how BaaS offerings like Firebase can make it a walk in the park to build realtime collaborative applications. We will cover the building blocks for doing this, as well as how it fits in nicely with frameworks like Angular and Ember. We will also talk about why this is valuable and hopefully leave you with enough knowledge to be inspired about possible usecases in your own business.

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

name: Cloud beyond scaling: Realtime applications on the web with AngularFire and EmberFire


Cory House

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: As a developer, your image and your mind are your product. So to get what you’ve never had, you must do what you’ve never done with these precious tools. If you want to make a bigger impact, raise your income, and code with purpose, join us. This session is about making a paradigm shift in how you manage your career. We’ll discuss concrete activities and skills that transform average developers into outliers. You’ll learn why developers can't afford cable, ways to improve your “luck surface area”, and techniques to compress your career through accelerated development. This session is loosely inspired by Malcolm Gladwell’s “Outliers”, Chad Fowler’s "The Passionate Programmer" and Seth Godin's "Poke the Box". Prepare to think about your development career in a whole new way.

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: Becoming an Outlier: Career Reboot for the Developer Mind

Norwegian Developers Conference (NDC)

type: Organization

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


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

description: Typical technology sessions walk through a trivial example application to give you a taste of the technology. So hey, let’s do the opposite! In this session we’ll dissect a highly complex single page application that's soon to be used by over 1,000 automotive dealerships to finance and sell cars. This is an HTML5 application that our Silverlight guys said couldn’t be built. We’ll walk through how to manage a pure client-side application with 1000’s of lines of custom JavaScript and review how Web API, Knockout, Durandal, RequireJS, KendoUI, and surprisingly little jQuery can join forces to make the browser sing. You’ll gain a clear understanding of when a single page app approach makes sense and learn how to pragmatically divide responsibilities between the client and server. And we’ll close out by comparing the performance of complex web apps in modern browsers to older versions of Internet Explorer. This session will give you an appreciation for how far you can push ultra-responsive client-side rendering in the real-world.

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

name: Real World Single Page Apps: A Knockout Case Study


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

description: We have heard about IoT for years and years, some even claim to have seen it, very few claim to have tamed it and even fewer actually do. Interestingly those who do tame it, claim it to be a different beast altogether. Today, it is easy to add an Bluetooth Smart/Wireless IC/Chip to your physical product and write an app or website for it, Is this not IoT ? Get an insight on what has worked in IoT. How does Bluetooth Smart change the rules for IoT. Learn to quickly prototype your IoT.

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

name: The mythical beast called the Internet of Things and how to tame it


Banish Your Inner Critic

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

description: Your inner critic is an unconscious deterrent that stands between the seeds of great ideas and the fruits of achievement, keeping you stuck by telling you you’re just faking it, that others have more talent, that you’ll never achieve the success you seek. In this talk, we'll anatomize this pernicious inner force, and learn techniques to banish this critic so that you can have the mental space and energy to let your true talents emerge -- and help you be a badass with your work.

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


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

description: OpenID Connect is here – and it’s here to stay. This suite of protocols makes federation, single sign-on, session management, discovery and management feasible across arbitrary client types and platforms. It is also a welcome simplification compared to archaic WS*, XML and SAML technologies that made interop often complicated. Dominick walks you through the various bits and pieces – and along the way might even release a new open source project that implements OpenID Connect on the .NET platform ;)

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

name: Unifying Authentication and delegated API Access: OpenID Connect & OAuth2


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

description: I spent the last three years building application back-ends using Web APIs so that arbitrary client technologies can consume them. This creates a number of interesting challenges around authentication and authorization. Embracing token-based authentication, claims and the OAuth2 design patterns simplified many of the complex scenarios. This talk illustrates which tools we have built to make our lifes easier and what works well and what doesn’t - together with some war stories and tips from the trenches.

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

name: Web API Authorization & Access Control – done right!


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

description: Turn based servers are now joining turn based browsers in providing race-free and deadlock-free interactivity. The event-driven model has long been popular in UI systems, but the nature of work in servers presents some new challenges. Functional programming provides solutions, including monads, arrows, promises, and various flavors of FRP. This is another such solution, intended to enhance ease of use through minimalism.

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

name: Managing Asynchronicity with RQ and JSCheck


The Better Parts

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

description: This talk is about using programming languages more effectively, and using that experience to create and select better programming languages. There are bad practices in software development that are so old and well established that it is difficult to recognize the problems they cause. There will be a review of the new good parts in ES6. JSON will also be mentioned.

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


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

description: Modern web apps are often single page web apps. The heavy HTML-generating backend is replaced by JavaScript, JavaScript frameworks like Backbone.js and templating languages like mustache.js or underscore.js. Data is transferred via RESTful JSON services. We are moving functionality normally implemented on the server to the browser. Sometimes we even implement the backend using JavaScript. What kinds of security problems can occur if we do this incorrectly? How do we mitigate the security problems found in these applications?

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

name: Securing a modern JavaScript based single page web application


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

description: There have been plenty of talks at various conferences covering scriptcs 101. In this talk, we will go way beyond the basics and deep dive into the scriptcs world, covering its extensibility points, flexibility and scriptcs hosting. How do you write scriptcs script packs? How do you write scriptcs modules? How do you host scriptcs in your own .NET applications? How do you write a custom engine for scriptcs (yes, it can work with any .NET language)? If you are interested in advanced scriptcs topics, beyond simple script execution, this is the session for you!

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

name: scriptCS deep dive. Extending, customizing and embedding in your applications.


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

description: Design patterns are now universally accepted and have significantly improved the way we design software. However, they had relatively little impact on how we implement it. Except rare exceptions like the ‘using’ or ‘lock’ keywords, most patterns must still be implemented by hand, resulting in large quantities of boilerplate code that must be validated by peer review. However, development tools could do a better job by automatically implementing some parts of the pattern, and automatically validating hand-written code against pattern rules. This talk advocates for a better integration of pattern thinking in the whole development cycle. It challenges popular dogmas about design patterns and shows unexpected connections with agile methodologies. It discusses how design pattern automation is possible today in .NET using PostSharp, FxCop, and Nemerle.

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

name: Taking Design Patterns to the Next Level: A fresh view on design patterns, programming languages, and agile methodologies


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

description: Unit Testing is an inseparable part of the development process, no matter which methodology you follow. But how will you test your JavaScript code? The answer is using JavaScript unit testing framework. Jasmine is a behavior-driven development framework for testing JavaScript code. In this session you will get to know Jasmine and you will learn the building blocks of writing your unit tests using the framework.

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

name: Quick Tour to Front-End Unit Testing Using Jasmine


Leading without formal authority

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

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


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

description: How is C++ is different to other languages and how does that affect the way we write and think about programs? C++11 adds a host of new language ideas that build on these differences and C++14 extends things yet further. Key questions to explore are: how do these new features change how we think about C++? What standard design idioms and techniques should we consider changing and what new ones should we explore? How can we take advantage of the new without abandoning the old? As C++ enters a new era and enjoys a new burst of energy, this talk seeks to explore how we will live and learn in this exciting new world.

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

name: C++ - where are we headed?: C++ style directions


C++ for small devices

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

description: In this talk we will have a look at the old truth that C++ is a bad fit for embedded product development. Some would have you believe that C++ is too resource hungry and has to be stripped down to be usable in this domain. While there are cases where this is true, we will have a look at the larger and growing number of cases where it isn’t. It is time that we try to dig out some facts and start making architectural decisions based on that instead of old truths.

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


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

description: Jack Schulze will unpack the emerging design domain of connected products and design for the technology landscape. Using examples from bergs work and from industry Jack will shed light on the core challenge of representing systems through interfaces in the emerging world of connected devices and share principles from berg's design process. He will discuss the friction between manufacture and software and the power of thought leadership through good communications and prototyping. Finally Jack will focus in on two great opportunities in the connected product space. Firstly, outlining the the real power of the cloud and cheap chips can out strip the most powerful smartphones. Secondly, looking at which new kinds of functionality are the most disruptive to business and how this can be used to design new and exciting products.

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

name: Connected products, systems and the little chip with a big brain


Serialize All The Things with Json.NET

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

description: Json.NET is a popular open source library for working with JSON. Used by Visual Studio, Azure, ASP.NET WebAPI, SignalR, RavenDB, hundreds of other .NET libraries or just directly in your own application, Json.NET is easy to use but hard to master, with dozens of features to help you when building web applications. In this session James, Json.NET's author, will show you how to harness Json.NET's advanced features to optimize JSON size, improve performance, reduce code and save your time.

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


TCP servers in .NET done right

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

description: Many people say that the arrival of good garbage collected languages mean you don't have to worry about things like memory management any more. This might be the case for line of business software, but what about when you want to write a TCP server capable of dealing with a decent number of connections? In this talk we'll look at the challenges of TCP servers in C# by converting a synchronous, thread-per-client server to use hipster-compliant asynchronous evented IO and then optimising it not to die from GC pressure.

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


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

description: Ever tried building a system to do complex event processing but ended up getting bogged down in all the infrastructure necessary? Or maybe you've tried running temporal correlation queries from a SQL database and become very familiar with nested subqueries... In this talk we'll look at the projections model in the Event Store, and how it can be used both for CEP without the fuss, and as a better way of approaching temporal queries, using only Javascript!

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

name: Temporal correlation and complex event processing in JavaScript


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

description: This talk outlines developments in programming from the beginning of programming (in 1948) to today. In particular I'll talk about the development of Erlang and about the trends in programming that lead to Erlang and what these trends mean for the future. Work on Erlang started in 1985, so we'll turn the clock back to 1985 and see what the world looked like then. C++, Java, Haskell, Javascript, Ruby, Python and Perl had yet to be invented. Most people believed, incorrectly as it turned out, that Ada and PL/1 would dominate the future. But I was more interested in Prolog and Smalltalk. Prolog was the answer, but I didn't know what the question was. I'll talk about how we grew a programming language, and what the main factors were in spreading the language. I'll relate my personal experience with Erlang to broader developments in programming and try to see how the two fit together. I'll also take a peep into the future and speculate about where computing is going.

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

name: Functional Programming the Long Road to Enlightenment: a Historical and Personal Narrative


The mess we’re in

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

description: Software is a mess. In the last 40 years I and my colleagues have been writing buggy, unspecified, and difficult to maintain software. By doing so we have created an entire industry. We have collectively created billions of lines of unmaintainable unspecified code that will require millions of programmers to work for thousands of years to correct the mess we've made. Where did things go wrong? Can we make things work again? Should we admit we were wrong and throw all our legacy software away and start again? How can we make correct software, that is easy to understand and maintain? I don't pretend I can answer these questions - but I have some idea as to what went wrong, so maybe we can learn from our mistakes. In this lecture I'll talk about some of the biggest mistakes we made and what we can learn from these.

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


Delightful WebGL in Elm

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

description: WebGL grants programmers the power of GPU parallelism, but the WebGL API can sometimes be unfriendly. In this talk we'll see how WebGL in Elm reduces tedious boilerplate code while preserving the full expressive power of the shader pipeline. Additionally, we'll examine how WebGL in Elm integrates with Functional Reactive Programming (FRP).

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


Aggregation with noSQL

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

description: COUNT(*)? SUM(*)? AVG(*)? Working with non-relational databases requires learning new methods for performing basic data aggregation. This talk will explore the real-time aggregation options available in two popular document databases. Couchbase's map-reduce will be covered, along with MongoDB's aggregation framework. Designing a schema for aggregation will also be part of the discussion. Some experience with a document database is expected.

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


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

description: Have you ever received an API or a set of webservices that just weren't good enough? This happens more often than we'd like, and when it happens it's important to know what you can do to make sure your project isn't infected with the lack of quality from third party vendors. I'll talk you through the different stages in your project, highlighting the steps you can take to minimize the risks of integrating your system with another, while making sure it will be maintainable in the future.

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

name: The integrations we fear and how we can manage them


Patterns for the People

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

description: Apparently, everyone knows about patterns. Except for the ones that don't. Which is basically all the people who've never come across patterns... plus most of the people who have. Singleton is often treated as a must-know pattern. Patterns are sometimes considered to be the basis of blueprint-driven architecture. Patterns are also seen as something you don't need to know any more because you've got frameworks, libraries and middleware by the download. Or that patterns are something you don't need to know because you're building on UML, legacy code or emergent design. There are all these misconceptions about patterns... and more. In this talk, let's take an alternative tour of patterns, one that is based on improving the habitability of code, communication, exploration, empiricism, reasoning, incremental development, sharing design and bridging rather than barricading different levels of expertise.

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


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

description: Habits help you manage the complexity of code. You apply existing skill and knowledge automatically to the detail while focusing on the bigger picture. But because you acquire habits largely by imitation, and rarely question them, how do you know your habits are effective? Many of the habits that programmers have for naming, formatting, commenting and unit testing do not stand up as rational and practical on closer inspection. This talk examines seven coding habits that are not as effective as programmers believe, and suggests alternatives.

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

name: Seven Ineffective Coding Habits of Many Programmers


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

description: Every version of the .NET Framework has brought improvements to asynchronous and concurrent programming. While .NET 4.0 brought the async/await model which is useful for improving UI responses and server applications, it can sometimes still be tricky to marshal multiple threads within longer processing pipelines. The Dataflow Library consists of a Nuget package built on top of the Task Parallel Library (TPL). It harnesses the actor-based programming model to provide a set of dataflow blocks data structures that buffer and process data, which you can connect together to form custom pipelines with messages passed between the blocks. By using the Dataflow Library you can concentrate on the messages and actions being performed, while the blocks marshal the messages, provide concurrent message processing and buffering as well as supporting cancellation and exception handling.

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

name: An Actor’s Life for Me: An introduction to the TPL Dataflow Library for .NET


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

description: The new Async features come along with the very useful WhenAll and WhenAny methods to execute sets of tasks. We will delve into how these work, the effect of exceptions within any individual task and cancellation. This leads to the creation of common patterns such as Redundancy, Interleaving, Throttling and Early Bailout. Given time we'll also get to peek at progress reporting, something that provides the feedback to add further sophistication to these common patterns. Expect overviews of the patterns, followed by lots of code samples so get the latest Visual Studio 2012 RC installed ready for action.

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

name: Async C# 5.0 - Patters For Real World Use


Angular & TypeScript

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

description: AngularJS is Google's answer to client-side JavaScript MVw application development. TypeScript is Microsoft's answer to working large, complex JavaScript code-bases, bringing static typing and EcmaScript 6 features to current browsers. The unholy pairing of the two bears fruit that is, quite possibly, the best data-bindy, view-modelly, uber-productively effective development system I've ever used (and I've used a lot). Come and learn how to splice the DNA of framework and language to create AngularTS, and get the joy back in your programming life.

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


Zone out, check in, move on

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

description: Most programmers desire to be 'in the zone' as much as possible; they see it as a prerequisite to being productive. However, the reality is often one of interruptions. As it turns out, being in the zone is a drug, and as you build up tolerance, getting the next 'high' becomes more and more difficult. This may explain why programmers move on to management or other pastures as they get older. However, it's possible to stay productive as a programmer, even in the face of frequent interruptions. Forget the zone, and learn to work in small increments of time. The solution is to write code in a particular way.

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


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

description: Making The Computer See: Computer Vision For Everyday Applications With a camera and a powerful computer in every pocket, the shift from typing to computer vision is just about to happen. Instead of entering information about a wine for our tasting notes, we snap a photo and let the computer recognize it and look up the information. Instead of having the shopper enter his credit card info, we can read the information straight from the card with the camera. We can even use computer vision to play a fanfare when someone arrives at our doorstep carrying a pizza box. The tools to make this happen are in the field of computer vision. Today, the are solid techniques and cross-platform open-source libraries such as OpenCV available that make it easy to build this into everyday applications.

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


An Introduction to Nancy

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

description: For those of you who haven't heard of it, Nancy is a lightweight framework for building HTTP based services. Basically it's an alternative to ASP.NET MVC and WebAPI. In this talk I will give an introduction to the framework showing you how to create a basic CRUD application and highlighting some of Nancy's advantages along the way. I will be going over the basics of: Routing and route arguments Model binding and validation View engine and how to return views. - Content negotiation - Dependency injection - Testing - I'll then finish up by showing you how to integrate Nancy into an existing ASP.NET Application.

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


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

description: Modern applications are highly connected applications, often consuming several asynchronous or stream-based services. This makes users happy, but can easily lead to code that is a nightmare to develop and maintain. Enter Reactive Extensions, also known as Rx. Rx can help tame callback hell and can abstract away the notion of time, turning asynchronous requests into observable sequences. Just as we can query normal sequences such as collections, these observable sequences can be composed through either standard query operators (e.g., filter, project, aggregate) or even temporal ones (e.g., “sample a noisy event stream at 100ms intervals”). In this talk, we’ll cover the JavaScript, .NET, C++, Ruby and Python and even RxJava. Use Rx wisely, and may your web service never be crashed by the weight of its own popularity!

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

name: Democratizing event processing at all scales and platforms with Reactive Extensions


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

description: Functional programming has been popular for quite some time, but now we're seeing that not only ninjas, but aso laymen is starting to use some of the functional paradigms. The same with Reactive programming. Reactive data is not only for blue collar spreadsheet experts or hardcore Verilog programmers. This talk will introduce the two paradigms combined as Functional Reactive Programming (FRP), first from a small theoretical perspective from its rise in the 90's. After the short theoretical introduction, we'll start live coding and showing practical examples of how we can use the FRP library Bacon.js to do functional reactive coding in the real world! We'll try to implement different examples live on stage, like using WebSockets or an auto complete search field. I will try to convince and show the attendees how incredible fun it is when using Bacon.js and how we can attain state-less code without asynchronus cludder.

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

name: Functional Reactive Programming and Bacon


Introducing the C++ memory model

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

description: The memory model is perhaps one of the most valuable but misunderstood changes in c++11. For the first time, c++ programmers have a language contract with the runtime about how their code will be executed in the face of hardware optimizations, memory hierarchies and multiple threads of execution. This talk will introduce you to the key concepts in the memory model, and show how these concepts apply to the new atomic primitives in c++11.

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


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

description: This session is geared at giving a comprehensive overview of Windows Azure Mobile Services and how you can use it in your apps. We will look quickly at the services before diving in an building an application that uses it.

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

name: Windows Azure Mobile Services from the ground up


Azure Web Sites Secrets, Exposed!

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

description: Microsoft’s premier cloud solution for custom web applications, Windows Azure Web Sites, has brought the DevOps movement to millions of developers and revolutionized the way that servers are provisioned and applications deployed. Included with all the headline functionality are many smaller, less-known or undocumented features that serve to greatly improve developer productivity. Join Microsoft MVP and veteran web developer Nik Molnar for a whirlwind tour of these secret features and enhance your cloud development experience. This beginner session is suitable for developers both using and curious about WAWS.

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


Full Stack Web Performance

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

description: Modern users expect more than ever from web applications. Unfortunately, they are also consuming applications more frequently from low bandwidth and low power devices – which strains developers not only to nail the user experience, but also the application’s performance. Join Nik Molnar, co-founder of the open source debugging and diagnostics tool Glimpse, for an example-driven look at strategies and techniques for improving the performance of your web application all the way from the browser to the server. We’ll cover how to use client and server side profiling tools to pinpoint opportunities for improvement, solutions to the most common performance problems, and some suggestions for getting ahead of the curve and actually surpassing user’s expectations. This session covers a wide array of topics, most of which would be classified within the 200 level.

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


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

description: "Docker is an open-source project to easily create lightweight, portable, self-sufficient containers from any application. The same container that a developer builds and tests on a laptop can run at scale, in production, on VMs, bare metal, OpenStack clusters, public clouds and more." This talk will demonstrate how docker can be used for developers in order to create a container based architecture. This will allow them to be able to upgrade individual pieces of their system (e.g. webserver, database, file system) without having to change the entire application serverContainer based deployment is a great way to move into an environment of immutable infrastructure. This is a newer thought process that means we do not change our systems in production. Instead, we deploy entire new versions of the system. This is a another tool that will help us move towards continuous deliveryDuring the session, Paul will demonstrate how some sample applications (ruby, ASP.NET, clojure and node.js) can be deployed to run on docker containers.

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

name: Docker is the future of shipping our code


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

description: I am a huge fan of PowerShell. I use it for Windows infrastructure automation. I used to use it for build and deploy systems for ASP.NET applications. I feel that there are simpler alternatives for build and deploy systems out there. This is when I was introduced to Grunt. Grunt is a JavaScript based task runner. As it is JavaScript, it is multiplatorm. It can be used to build and deploy ASP.NET applications as well as Node.JS applications. During this talk, I will create a build and deploy system with Grunt. This will replace the PowerShell build and deploy system that I already have. I will then integrate the new Grunt scripts with TeamCity to show how simple it is.

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

name: The journey from Powershell to Grunt for Build and Deploy


Agile Kaizen

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

description: Kaizen is the unstated, ever-present cornerstone of Agile Development, but it's if often seen as distant and abstract thing rather than one of the tangible Agile practices, like standups, testing, or estimation. Seen as a "soft skill", Kaizen is in fact it's the hard science, the central motivator, the justification, and the traffic cop of other Agile practices. This presentation delivers Kaizen without the typical esoteric language, and re-casts it as the tangible, central aspect of Agile Development that all other practices pivot around. It presents the tools and techniques of Kaizen that you can put to work in your team right now in the pursuit of ever higher levels of performance.

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


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

description: Single sign-on has been a recurrent theme on the design of secure distributed systems.Currently, there are many well established solutions to some of these problems, ranging from the adoption of Kerberos on Windows based local networks to the use of the SAML and OAuth protocols in the Web context.However, the proliferation of mobile native applications that need to access protected resources introduced a new type of requirement: securely sharing identity and authorization between a set of applications running on the same device.This session addresses the emerging theme of single sign-on for mobile native applications, its challenges and some of the available solutions, namely the use of emerging protocols such as OpenID Connect.It also includes concrete examples exploring the functionalities already available in the Android platform.

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

name: Single sign-on for mobile native applications


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

description: Compared to most languages, JavaScript is very minimal: It has first-class functions, but only rudimentary support for functional programming. And it has prototypes, but almost nothing else. This can be liberating, as it doesn't force a heavyweight paradigm on you, and if you want something more sophisticated, you can build it yourself. In this talk, we'll explore how to build a programmable object system in JavaScript. We'll look at some of the ideas that have proven themselves in the last 40 years, and we'll also look forward at some of the ideas that are ripe for invention.

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

name: The Art of the Javascript Metaobject Protocol: A unfied theory of JavaScript style, Part II


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

description: We want feedback - fast and often. This requires quick and frequent high-quality releases. But how do you do that with a platform that 10 teams are working on? Can you do without branches? How do you keep up with testing? And database changes...? This is a look behind the scenes of AutoScout24 - a pan-European online market place - that makes continuous delivery possible with agile methods.

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

name: Delivering Continuously to 10 Million Users


Wherefore art thou Erlang?

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

description: Erlang was designed around a set of requirements for telecom systems. They were distributed, massively concurrent systems which had to scale with demand, be capable of handling massive peak loads and never fail. Erlang's features make it perfect for multi-core computers, although it pre-dates them, and for the Internet Age and the Cloud although it pre-dates them as well. This talk will describe how Erlang was developed as a language and system to solve that could solve these problems. It truly demonstrates the benefits of concurrency–oriented programming.

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


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

description: In this talk I want to show how one can use MonoGame together with Farseer Physics to write games that can run on all kinds of devices. MonoGame is a game library that runs under .Net and is compatible with Windows, Mac, Linux, WinRT, iOS, Android, Windows Phone and more. Farseer Physics is a library for fast 2D physics simulation. Together these two allows us to easily create physics-based games that run everywhere. In the talk I will go through the code for a simple mobile game. I will show how to setup MonoGame with Farseer Physics, go through the core concepts of MonoGame and Farseer and demonstrate how the game plays on various devices.

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

name: Cross-platform physics games: Using MonoGame and Farseer Physics


Fun with JavaScript

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

description: Scott thought a talk on JavaScript would be more fun, and less productive. You can google for his Productivity talk if you like.

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


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

description: C# lets you write applications for every app store in the world. Successful C# apps are on iPhone, iPad, Android, Xbox, Windows Phone and Windows Store. You can write embedded apps in 64k and run them on a watch or run apps in 64 gigs and run them in the cloud. Join Scott Hanselman as he shares his journey from a humble VB3 programmer 20+ years ago to a happy C# programmer today writing apps he can write ones and debug anywhere.

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

name: How C# Saved my Marriage, Enhanced my Career and Made Me an Inch Taller


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

description: At last year’s NDC, Scott Meyers devoted an entire day to guidelines for improving the quality of software, regardless of the application, the language in which it's written, the platform on which it runs, or the users it is intended to serve. This year, by popular demand, Scott isolates the single most important guideline from last year’s talk and focuses on it in this session. The guideline is Make interfaces easy to use correctly and hard to use incorrectly. Scott explains how this applies to both user interfaces and APIs, and, with specific advice and countless examples, shows how to employ it to improve the quality of the many interfaces in your software.

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

name: Better Software — No Matter What: The Most Important Design Guideline


C++ Type Deduction and Why You Care

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

description: C++98 had template type deduction, and it worked so intuitively, there was little need to understand what took place under the covers. C++11 extends type deduction to include universal references, applies it to auto variables and lambda expressions, then throws in a special auto-only deduction rule. C++14 pushes the boundary further, adding function return type deduction to arbitrary functions and offering auto parameters for lambdas. The result is that what could be treated as a black box in C++98 has become a topic that practicing C++ developers really need to understand. This talk will give you the information you need to do that.

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


Effective Modern C++

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

description: Scott Meyers’ Effective C++ books are renowned for their clear, insightful descriptions of how to get the most out of C++, but they were written for C++98—for “old” C++. “New” C++ is defined by the C++11 and nascent C++14 standards, and Scott Meyers’ forthcoming Effective Modern C++ is devoted to the effective use of features in C++11 and C++14. For this presentation, Scott will select a few guidelines from Effective Modern C++ and walk you through them. The guidelines will focus on specific practices in C++98 that require revision for the most effective use of the modern versions of C++.

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


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

description: When you build real world applications, you are not always on the "happy path". You must deal with validation, logging, network and service errors, and other annoyances. How do you manage all this within a functional paradigm, when you can't use exceptions, or do early returns, and when you have no stateful data? This talk will demonstrate a common approach to this challenge, using a fun and easy-to-understand "railway oriented programming" analogy. You'll come away with insight into a powerful technique that handles errors in an elegant way using a simple, self-documenting design.

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

name: Railway Oriented Programming: A functional approach to error handling


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

description: There's a freaking supercomputer in your browser, and nobody seems to have noticed! You've heard that WebGL is for games and pretty 3D graphics? That's merely the beginning. It also lets you write arbitrary GPU code and thereby wield insane computational power for any purpose. And yes, it works in Firefox, Chrome, and IE, without plugins, today. What new categories of web apps and web businesses will this enable? Starting with a gentle introduction to 3D with WebGL (via the lovely Three.js library), this demo-led talk will take you deeper, into the GPU itself. You'll see: - GPU coding basics - how the parallel execution is structured, and the GLSL language (don't be scared - it looks like C, and runs right in the browser) - How to make your GLSL code screamingly fast and not crash the browser tab - Plenty of demos including 3D visualisation, realtime client-side media processing, and object recognition. - By the end of this talk, I hope you'll be inspired to try something new in your next web app.

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

name: How to write massively parallel GPU code for the Browser with WebGL


.NET outside of Visual Studio

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

description: As a .NET developer when you write code you write that code in Visual Studio. That has been the De facto standard since the origin of .NET. Does it have to be that way? Today we have alternatives like Monodevelop (Xamarin studio) and Sharpdevelop. For the last two years or so I have been writing all my .NET code in regular text editors like vim and sublime. There are several benefits to working this way. In this talk we will dive into: - How and why you would want to do your work outside of Visual Studio. - The good and the bad of the .NET environment - How this affects the way you write and organize code - Busting some of the myths behind developer productivity

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


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

description: A quick presentation of Nickel, a general configuration language which is inspired from Nix expressions to which it adds some cool features. Have you ever wished once that you could use the Nix language for something else than Nix ? To write a small project-specific script, or to generate a configuration when having to deal with horrendous YAML templating languages ? Nix may have its flaws, but it uses a simple yet powerful language - fundamentally, a lazy JSON with higher-order functions - that could very well be used to generate other configurations than Nix packages. In this short talk, I present the Nickel configuration language, which is an ongoing effort to make a standalone offspring of the Nix language , and while doing so, takes the opportunity to add new capabilities to the language.

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

name: Meet Nickel: better configuration for less


GitHub Power Tools

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

description: Most developers think of Git and GitHub as two sides of the same coin, but all too often our attention is focused on the Git side alone, and not on the capabilities of GitHub as a collaboration platform. Millions of people have already joined the site that offers amazing features like pull requests, project pages, integrated web site hosting, issue tracking, prose collaboration tools, permission controls, and easy integration with third-party services. Come to this talk to learn how to make better use of GitHub through the site's commonplace and advanced features alike.

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


Build a Better Bootstrap

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

description: The influence of Twitter's Bootstrap framework is undeniable, but it brings with it a steep learning curve and a great many features the average web app simply doesn't need. In this session, you'll learn how easy it is to build your own web framework from the ground up, so you can tailor it to your—and only your—needs. We'll start with a solid CSS foundation, add on some component scaffolding for your most common use cases, and top it off by discussing how to share your new web framework with your team. Grab your hard hat and come learn how to build a better Bootstrap!

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


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

description: Domain Specific Languages (DSLs) give us a way to solve such repeating problems. By designing a composable functional library, we can build an expressive language for describing our problems. Using the flexible F# syntax, we can get code that even non-programmers can understand.

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

name: Domain Specific Languages: The functional Way


The Agony of Lean Startup

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

description: Lean Startup has given us a lot of new buzzwords. What is it doing to change the way we work? Are we just building more junk faster? We will go through real examples of a well executed lean startup and some typical pitfalls in order to point out the differences with those playing buzzword bingo and those who are really building something meaningful in a lean fashion.

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


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

description: Is it just me, or are we seeing more online attacks leaking more data year by year? Actually it’s not just me because the statistics are there to prove it. In fact the largest online breach we’ve seen to date was less than six months ago when Adobe became the victim of a 152 million record attack. A couple of months later and Target saw 110 million credit cards stolen making it the largest theft of financial data ever. In fact all told, we’re looking at in the order of over 822 million records gone missing in 2013 alone. The thing is though, when we look back at recent attacks with the clarity of hindsight, they’re almost always easily preventable. Somewhere, somehow, someone had a major oversight in their code – or often many major oversights – that somehow slipped through the cracks, made its way into a production system and was consequently pounced on by someone with malicious intent. In this session we’re going to look through 10 examples of online attacks that should never have happened. Sometimes it’s a single easily preventable flaws in code, sometimes it’s social engineering of people with access to valuable data and other times it’s a chaining of individual risks knitted together in order to compromise the target. We’re going to systematically work through each of these 10 attacks, understand what went wrong and then assess how each system could have been built to be resilient to the attack. The lessons learned in this webinar are intended to help you better secure your systems by learning from the mistakes of those who have gone before you.

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

name: Builders versus breakers: 10 online attacks we could have easily prevented


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

description: Developers, it’s time to stop for a moment and think about logging in your application! Too often, we are neglecting this topic – and someone is paying the price. We’re seeing DevOps gaining grounds, and we’re seeing more complex deployments in the cloud. This makes it necessary for us to consider logging and monitoring, but it also opens up new possibilities. This talk will introduce you to ElasticSearch and LogStash, two emerging products gaining traction that can take logging to the next level. We'll show you how to use them in various scenarios and explain what it solves for you. We'll show how to gather and display real-time logging information from your .NET applications and Windows installations. The talk is hands-on and will feature a lot of demos.

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

name: Monitoring your app with Logstash and Elasticsearch: Logging for IT-hipsters


From Knockout to AngularJS

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

description: So you've spent the last couple of years putting KnockoutJS code into production. Now that AngularJS is the new kid on the block, you can't wait to throw all those observables out, but where do you start? In this talk, Yngve takes a look at a Knockout application, finding ways to port it to AngularJS piece by piece, without having to start from scratch. We'll be looking at pros and cons of both frameworks, and making sure the effort is worthwhile.

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


Monero Village - Badge Clinic 2

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

description: With the help of a close range circuit camera, Michael illustrates the circuits of several recent conference hardware devices, including prototype models. Devices in circulation and on display include: DC28 Intervillage Badge DC27 Rising Badge 35C3 Blockchain DC26/BCOS Badge HCPP19 Badge HCPP18 Badge This is not a speech presentation, rather it is an easy office hours with show and tell to invite questions and answers about low power electronic devices. Visit the Badge Clinic on any day of Defcon in the Monero Village channel (Discord:Defcon/mv-general-text).

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


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

description: Build HackerBox 0057 to explore microcontroller programming, IoT WiFi exploits, Bluetooth control, IR hacks, lockpicking tools, audio/video signaling, and more. HackerBoxes are the monthly subscription box for DIY electronics and computer technology. Each monthly HackerBox is a surprise. But this month the cathode is out of the bag, so to speak. The theme is SAFE MODE. There will be an indie badge kit featuring dual core ESP32, IPS full-color 240x135 display, AV out, IR in/out, micro joystick, USB-C interface, battery charger, Wi-Fi, Bluetooth, and it's Arduino programmable. Of course there will be swag galore. HackerBox 0057 will bring home a "village" of IoT, Wireless, Lockpicking, and of course Hardware Hacking that should not disappoint. Monthly HackerBoxes usually ship around the last day of the month. However, SAFE MODE HackerBox 0057 will ship a few days early (for both existing a new members) and should be received in time for DEF CON 28 SAFE MODE. We recommend ordering by July 22, but earlier is always better in light of recent postal delays.

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

name: Hardware Hacking Village - HackerBox 0057 Build


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

description: Learn to Solder with HackerBoxes. Assemble your very own BadgeBuddy. HackerBoxes has updated a special edition BadgeBuddy soldering kit for DEF CON 28 SAFE MODE. The BadgeBuddy is a simple and fun kit to introduce basic soldering skills. Once assembled, the blinky mini-badge PCB can be hung from a conference lanyard, backpack, purse, belt, etc using the included bead-chain. The BadgeBuddy uses self-cycling rainbow LEDs for a reduced bill of materials requiring no external control circuitry. The result is a very nice colorful effect that is still simple enough for a first time soldering project. As in past years, the BadgeBuddy is free (as in beer) and in light of DEF CON 28 SAFE MODE, HackerBoxes will send it directly to you, anywhere in the United States, for only $1 S&H. If you do not already have soldering tools on hand, HackerBoxes is also making a set of basic soldering tools available at cost. Both can be found at HackerBoxes.com and can be ordered now to ship starting on July 20. Orders as late as July 25 should still be received in time for DEF CON 28 SAFE MODE, but earlier is always better in light of recent postal delays.

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

name: Hardware Hacking Village - Learn to Solder the Badge Buddy Kit


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

description: In this talk we will see the assembly and use of a modified BadUSB keyboard with an integrated DIY physical keylogger. Using a built-in WiFi module, this keyboard is capable of sending user keystrokes to a remote server and storing it in a database. Both the piece by piece assembly, its diagram, and its programming will be demonstrated. Also there will also be a live demo to demonstrate its operation. This talk is recommended for both novice and experienced users alike.

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

name: Hardware Hacking Village - Onkeypress Hack="hack();"


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

description: This is a live demonstration of hacking into the processor embedded in an SD card, effectively turning the device into a potentially covert Raspberry Pi-class computer under your complete control. The ARM926EJ-S ARM processor made its appearance as the embedded CPU in Transcend’s WiFi-enabled SD cards, clocking in at an impressive 426 BogoMips – we can’t possibly leave that territory unexplored, can we? In this session we root the card’s own CPU, install a more featureful OS, and explore the system’s common and unusual capabilities (in hardware AES encryption and native support for Java bytecode among them). These provide plenty of building blocks for our projects. Clearly, complete control of such a hidden computer running with full network connectivity can be used in network penetration scenarios. We’ll discuss applicable security threat countermeasures. There is plenty of room at the bottom, and opening these computer-within-the computer configurations create interesting miniaturized automation scenarios alongside the obvious, more ominous security aspects. Use your newfound knowledge for good, with great power comes great responsibility!

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

name: Hardware Hacking Village - There's plenty of room at the bottom


Monero Village - Monero Trivia

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

description: Monero Trivia

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


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

description: Ever wanted to have one of your Monero or cryptography related questions answered by the Monero Research Lab? Ask away!

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

name: Monero Village - Open Office Q&A w/ Monero Research Lab's Sarang


Monero Village - Meme Competition

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

description: meme competition

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


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

description: Decentralization in a Centralized World

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

name: Monero Village - Decentralization in a Centralized World


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

description: Monero wallet basics

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

name: Monero Village - Monero Wallet Basics: Sending, Receiving, Proving


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

description: Cash is a bearer, P2P, permissionless, and privacy-preserving form of money" (Brito 2019). Bitcoin lacks privacy, and currently Monero is more suitable as digital-cash. Using atomic swaps, Monero enables bitcoin users to exercise their right for privacy. At the same time these privacy-oriented users become Monero users. In addition, Monero will benefit from bitcoin's large liquidity pool, and will be more resilient, since there will always be a fluid path for trustless and permissionless entry into Monero.

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

name: Monero Village - Bitcoin-Monero Atomic Swaps: bringing liquidity to digital cash


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

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

name: Monero Village - You're not the money printer, or why we need to separate coinbase rings


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

description: Monero uses an adaptive block weight based upon the CryptoNote excess size penalty with a median over the last 100 blocks, cryptonote.org/whitepaper.pdf, to provide the capacity for increases and decreases in the number of transactions. In 2019 this adaptive block weight was modified by the introduction of a long term median over the last 100,000 blocks to mitigate against a sharp increase in the block weight, due to possible spam attacks. We will consider the scenario of external economic events causing a sharp decrease in he number of transactions after several years of growth, followed by a recovery and then further growth several months later. We will also consider the possibility of a sharp increase in the number of transactions, due to economic disruptions, during the current COVID-19 pandemic. and in its aftermath. We will propose changes to the Monero adaptive block weight in order to mitigate against a sharp increase in transaction fees and allow for a smooth recovery, and further growth in the block weight after a sharp drop in the number of transactions . The period between the initial drop in the number of transactions to the full recovery with further growth of the block weight would be in the order of months.

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

name: Monero Village - Proposed Mitigation Measures to Address a Disruption Such as The Economic Impact of COVID -19 on Transaction Capacity and Fees in Monero -


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

description: Reuben, the Project Steward of Zcoin discusses Zcoin's transition from an opt-in privacy model towards privacy by default with Lelantus is going to give Monero some long needed competition.

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

name: Monero Village - Zcoin: Ditching opt-in privacy: To (dethrone) compete with Monero


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

description: Locha Mesh: Monero off the Grid

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

name: Monero Village - Locha Mesh: Monero Off the Grid


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

description: In this online podium discussion we will present the power of critical ideas and show examples of utopian futures in the making in Indonesia. The projects created by Indonesian hackers and makers use technology to solve one or more local problems, attempting to create more equitable and positive future for their communities. They will be streamed as they happen live: different projects from around Indonesia will show how they make social change happen. Indonesia has a striving hacker and maker, activist and innovator ecosystem, and many of them have been active for more than 20 years, since the first free elections were held in 1999. They have been asking difficult questions about society and finding answers that they choose to represent in different ways: music festivals, educational workshops on climate change or privacy, community projects that involve artists and locals, or building ICT-infrastructure to allow people in rural areas to access the Internet and thereby, information. In this session, we will try to bring some of them together to show the projects they’re working on today to turn the dystopia into a utopia. Two projects are confirmed, including - Benny, a media artist & independent media researcher, started in 1999 and involved in various national and also international media events.He focuses on human-machine and machine-machine interaction. Recently he formed a collaborative project with interdisciplinary colleagues as "Oknum Media Kolektif" and some of the works are: Bitversus, Double Layer Panopticon, Mencari Wiji (searching for Wiji), Rekombinan & Insitu. He will share some experiences of those works. - Irene Agrivina is an open systems advocate, technologist, artist and educator. She is one of the founding members and current directors of HONF, the Yogyakarta based new media and technology laboratory. Created in 1998 as a place of open expression, art and cultural technologies in the wake of the Indonesian "revolution", HONF aka the 'House of Natural Fiber' was born out of the social and political turmoil against the Suharto regime, its nepotism and governmental corruption. Agrivina will share her experiences working with affordable and open technologies for grassroots movement in Indonesia. - Common Room has been involved in developing an urban/rural collaboration platform together with Kasepuhan Ciptagelar indigenous community in West Java since 2013. For this session, Common Room will share some experience in developing local community-based internet infrastructure in Ciptagelar region. - Instead of creating new applications, Hysteria Collective uses existing tech for community advocacy work: for example, to tell the history of a village. We use anthropological methods to build relationships with communities in order to explore community solidarity and we look for the collective memories through daily life stories and folklore. To tell these stories and emphasize the outcomes, we use technology as a tool, way or method to achieve the goal of sharing the stories, for example, through open street map, aurasma or HP reveal and social media. What ties these projects together is their capability to critically assess the current societal, political, technological situation and address it in meaningful ways to show that the future can be safer, sounder and more equal for all of us. The solutions they come up with are just as diverse as the problems they address, so let’s hear more about it from them.

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

name: Democratizing and Decolonizing the Future: Grassroots Utopias from Indonesia


Game of Robots

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

description: Irgendwas mit Roboter und gegeneinander schnell fahren lassen

@language: de

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


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

description: From a starshade on a spaceship to a nanobot that dissolves, the art of paperfolding has been applied in many disciplins. AND we want more, we want to keep dreaming! This talk will show another relationship to paper art and its use in future technology. It is about the paper art works by creator Julian Park from South Korea and their potential in 4D-printing. JPC is unique because it allows creative thinking in spatial dimensions. A single piece of paper turns into a three-dimentional figure with minimal cuts in the paper. Many of them don't even leave any leftovers.

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

name: Julian’s Paper Craft (JPC) und 4D-Printing: A New Way of Bending Space


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

description: Tonprobleme! Am Hacker-Sonntagvormittag wollen wir traditionsgemäß ein wenig philosophische Unterhaltung und Erbauung anbieten und dabei die Möglichkeiten der modernen Technik nutzen. Die Idee leitet sich hiervon https://de.wikipedia.org/wiki/Chinesisches_Zimmer ab und braucht an technischen Voraussetzungen eigentlich nur einen beliebiegen, textbasierten Chat, oder besser gesagt zwei davon. Optional geht auch zur Unterhaltung Video (BBB) dazu. dr.paul, friedrich, juan werden im Zentralwerk sein und sich in ein Zimmer begeben und Frühstücken, zusammen mit Büchern und anderen Quellen. ajuvo schaltet sich evtl. remote dazu (muss So. evtl. in Hamburg sein). Auch die datenspuren-Gäste sollten frühstücken und den 1. Chat mit Fragen möglichst im Stil nach der Idee des Chin. Zimmers füttern. Auch gängige Fremdsprachen und Code (einfach) sind zugelassen. Die Philosophen werden im gleichen Stil antworten. Im 2. Chat laufen derweil Kommentare der Gäste. Ziel ist, am Ende ein Bildungserlebnis zu den Fragen des künstlichen Bewusstseins erzeugt zu haben.

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

name: Philosophisches Frühstück: Chinesisches Matineezimmer


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

description: Um die Virenlast in der neuen Welt unter Kontrolle zu halten, wurden Signalsender installiert. Die Empfangstechnik ist jedoch nicht überall verfügbar. Ein micro:Gerät soll hier Abhilfe schaffen. Der micro:bit kann BLE. Damit sollte man doch auch die Beacons der Corona-Warn-App sehen können. Geht das wirklich? Wozu soll das gut sein?

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


Datenspuren 2020 - Keynote

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

description: Was ist eine Utopie überhaupt und was sollte sie gerade in einer Krise sein? Sind wir irgendwo falsch abgebogen und suchen Zuflucht in unmöglichen Ideen oder sind Utopien notwendig für unser Vorwärtskommen? Mehr Fragen und noch weniger Antworten in dieser Keynote. Warum sollten wir eigentlich gerade jetzt über Utopien reden, träumen und Luftschlösser bauen, wenn das hier bisher für uns alle ein schwieriges Jahr war? Dieser Talk versucht auszuloten, was wir zu dem jetzigen Zeitpunkt mit Utopien anfangen sollen, wenn wir uns den Umständen gegenüber, machtlos fühlen. Irgendwie muss es doch anders gehen und irgendwas muss doch getan werden? Aber das Wünschen nach einer besseren Welt hält auch so einige Fallstricke bereit von Realitätsflucht zu Fanatismus, Bei all der Kritik, die die einfache Lösung verdient, wird hier niemand ohne Handlungsmöglichkeiten stehen gelassen, Wie finden wir die Lösung für den gordischen Knoten der Wirklichkeit?

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


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

description: Der Kapitalismus, in dem wir leben, hält immer noch daran fest, unser Verlangen zu kontrollieren. Deshalb wird er untergehen, wenn er sich nicht ändert, sagt die amerikanische Ökonomin Shoshana Zuboff. Alles, was digitalisiert und in Information verwandelt werden kann, wird digitalisiert und in Information verwandelt. Zuboffs zweites Gesetz: Was automatisiert werden kann, wird automatisiert. Zuboffs drittes Gesetz: Jede Technologie, die zum Zwecke der Überwachung und Kontrolle kolonisiert werden kann, wird, was immer auch ihr ursprünglicher Zweck war, zum Zwecke der Überwachung und Kontrolle kolonisiert. Die Richtigkeit dieser 3 Gesetze zeigt sich in zunehmemdem Umfang. Unternehmen und Institutionen fischen in großem Maß Daten ab moderne KI errechnet Prognosen des zukünftigen Verhaltens anhand dieser Daten werden pausenlos überwacht und kontrolliert . 1984 war nur ein düsterer Zukunftsroman dies ist noch viel düstere Gegenwart. Die Überwachung ist subtil und verdeckt; sie ist eingebettet in Dinge, auf die wir tagein, tagaus angewiesen sind. Nur Experten, nur Informationswissenschaftler und Hacker begreifen noch, wie weit das alles fortgeschritten ist. Wir als Gesellschaft verstehen das nicht mehr. Die Infrastruktur für die Regelung der neuen Informationswege ist bis jetzt nur in kleinen Teilen vorhanden. Es gibt kein übergreifendes Konzept. Uns dämmert erst langsam, dass Einrichtungen, denen wir unser Vertrauen geschenkt und die wir als unsere Freunde angesehen haben, Facebook zum Beispiel oder Google, nicht nach einer neuen Logik handeln, sondern nach der altbekannten, die unseren Interessen zuwiderläuft. Welche Richtung die Informationstechnologie einschlägt, kommt darauf an, wie einige gesellschaftliche und ökonomische Kernfragen beantwortet werden. Zurzeit geschieht das ohne Regeln und Gesetze. Die Praxis trifft jetzt die Entscheidungen. Etwas geschieht, weil Facebook, weil Google, weil die Regierung der Vereinigten Staates es so wollen. Der rechtliche Rahmen fehlt. Ich bin weder Verschwörungstheoretiker noch Apokaplytiker, noch will ich Sie bekehren - doch lassen Sie mich Ihnen anhand von Fakten einige Denkanstösse geben. Wir haben ein institutionelles System aufgebaut, das perfekt auf die Erfordernisse der Massenproduktion und des Massenkonsums zugeschnitten ist und weit über die entsprechenden Firmen und Dienstleister hinausreicht. Die Logik der Massenproduktion wurde zur Grundlage unseres Erziehungssystems, unserer Krankenversorgung, aller Sphären unserer Gesellschaft. Seit dem letzten Jahrzehnt des 20. Jahrhunderts kommt es aber zu einer immer heftigeren Kollision zwischen dem neuen Bewusstsein, das ich psychologische Selbstbestimmung nenne, und einem Wirtschaftssystem, das auf große Handelsvolumen, geringe Produktkosten und Standardisierung angelegt ist, eigentlich nicht anders als zu Zeiten von Henry Ford. etzt aber sind wir auf dem Weg in eine Welt der dezentralisierten Wertschöpfung, des distributed capitalism. Das ist keine technologische Metapher. Die Dezentralisierung geht von den Individuen aus, die nunmehr die Quelle ökonomischer Werte sind. Individuen sind aber nicht innerhalb einer Organisation zu finden, sie treten nicht in konzentrierter Form auf, sie verteilen sich über ihre dezentralisierten Lebensräume. Folglich muss sich auch der Handel dezentralisieren, um in diesen Lebensräumen Wirkung zu zeigen. Heute haben wir erstmals eine technologische Infrastruktur, die ebenso dezentralisiert ist. Facebook schien einmal uns zu gehören. Es war unser Raum. Jetzt verstößt Facebook immer wieder gegen die ökonomische Logik des individuellen Raums, widersetzt sich unseren Interessen und zerstört unser Vertrauen. Google verhält sich nicht anders. Der Machtwille der Firma ist sichtbar geworden, auch ihre Manipulation von Algorithmen und ihre Bereitschaft zur Überwachung. Wir fühlen uns bloßgestellt, allein schon durch eine Google-Suche. Meine beiden Kinder haben Facebook innig geliebt. Heute rühren sie es nicht mehr an. Facebook, das ist für sie jetzt: die da. Und nicht mehr: wir.

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

name: From Data-Mining via predictive Analytics to Surveillance Captitalism: Knowledge against your thoughts - a new to digital slavery?


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

description: Polizeiarbeit kontrollieren – Polizeikontrollen dokumentieren Während der Proteste gegen das neue Polizeigesetz wurde über eine unabhängige Beschwerdestelle für polizeiliches Fehlverhalten diskutiert. Diese Diskussion wurde von den politischen Parteien nie in ein reales Projekt umgesetzt. Da die Politiker:innen nicht in der Lage sind, einen Teil der Exekutive zu kontrollieren, haben wir beschlossen, dass dies nur durch die Bevölkerung selbst möglich ist.

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

name: Kooperation Gegen Polizeigewalt -Eine unabhängige Beschwerdestelle in Sachsen: Polizeiarbeit kontrollieren - Polizeikontrollen dokumentieren


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

description: Wir geben einen Einblick in die Technik hinter den Datenspuren 2020 und zeigen, wie man live mitmachen kann.

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

name: Einführung Remote Datenspuren: Remote, Workadventure und Utopia C3-PR


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

description: Inspiriert durch die 11 Forderungen der Bits- und Bäume-Bewegung wird in einem vergleichsweise prosaischen Vortrag eine Szenario beschrieben, wie Deutschland 2030 aussehen könnte, wenn die Digitalisierung sich primär am Nachhaltigkeitsprinzip und den Bedürfnissen der Menschen ausrichtet. Dabei wird auf die folgenden Teilbereiche eingegangen: Bildung, individuelle Selbstbestimmung und Sucht, demokratische Teilhabe und Verwaltung, Bezahlung, Medien, Kultur und Spiele, Handel und Logistik, Verkehr, industrielle Produktion und Lieferketten, Recycling, natürliche Ressourcen, Gesundheit, Generationengerechtigkeit. Einige Ideen werden näher erläutert und mit der aktuellen Realität und ihrer erwarteten Entwicklung abgeglichen. In der anschließenden Diskussion kann je nach Publikumsinteresse die Utopie selbst im Mittelpunkt stehen, oder Wege, wie einzelne Aspekte auch unter gegenwärtigen Bedingungen umgesetzt werden können.

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

name: Bits & Bäume: Fragmente einer Utopie: Wie könnte eine nachhaltig digitalisierte Gesellschaft 2030 aussehen?


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

description: Warum gibt es so viele Software-Lizenzen? Was heißen die ganzen Abkürzungen und sind die Unterschiede so groß? Was ist der Unterschied zwischen Open-Source und freier Software? Der Vortrag richtet sich in erster Linie an Menschen, die sich für freie Software interessieren und einen Überblick über die rechtlichen Möglichkeiten in der freien Software-Entwicklung bekommen möchten. Beim Prototype Fund werden jedes Jahr zwei Kohorten betreut, deren gemeinwohlorientierte Software-Projekte unter freien Lizenzen veröffentlicht werden. Viele der Projekte werden von erfahrenen Softwareentwickler:innen umgesetzt, für einige ist es aber auch die erste Erfahrung, Software unter einer freien Lizenz zu schreiben. So kommt die Frage nach der besten Lizenz immer wieder auf. Daraus entstand die Idee, eine allgemeinen Überblick im Rahmen eines Vortrags zu geben

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

name: GPL, MIT, WTFPL – häh?: Eine Einführung in freie und Open-Source-Software- Lizenzen


Utopiefortschritt: Infrasturreview

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

description: Fasst das geschaffte der diesjährigen Utopie zusammen.

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


Datenschutz für Aktivist*innen

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

description: Dies ist ein Leitfaden zur digitalen Selbstverteidigung mit besonderem Fokus auf Aktivismus, Demonstrationen und politische Teilhabe. Es wird diskutiert, wieso Datenschutz und Verschlüsselung wichtig sind und wie man mit einfachen Mitteln sein digitales Leben schützen kann.

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


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

description: Eine phantastische Reise in die Welt der allerkleinsten Teilchen und Ihre Nutzung zur abhörsicheren Verschlüsselung Eine Einführung in die Quantenkryptografie mit Uli Kleemann für Nicht Physiker und Mathematiker mit Viedeosequenzen Die Bell'sche Ungleichung real oder lokal Quantenbits nicht 0 oder 1 sondern 0 und 1 Was ist eigentlich Zufall? Das Doppelspalt Experiment Qantenkryptografie wo ist eigentlich das Problem? Wie funktioniert ein Quantencomputer? Ist Teleprtation möglich? Quantencomputer das Aus für alle Verschlüsselung Schrödingers Katze seit 70 Jahren nicht mehr gefüttert lebt sio nun oder ist sie tot? "Spukhafte Fernwirkung" von verschränkten Zuständen Über Materie? Aus Eins mach Zwei Der Shor Algorithmus Quanten-Fouriertransformation Das BB84 Protokoll zum Quanten Schlüsselaustausch Kopierschutz durch Unschärfe das no-cloning-theore Prognose Post Quantum Kryptografie Fragen

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

name: "Gott würfelt nicht!": Einführung in die Quantenkryptographie


Beweisbar sichere Software

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

description: Die Verifikation von Software, also das Beweisen von Eigenschaften auf Basis des Programmcodes hat in den vergangenen Jahren signifikante Fortschritte gemacht. Insbesondere die Automatisierung von Beweisen erlaubt mittlerweile eine Softwareverifikation ohne tiefgreifende Wissen in formalen Methoden. Die ist ein Übersichtsvortrag über das Spektrum von verifizierbaren Programmiersprachen und Theorembeweisern. Es wird versucht, Idris, F*, Coq, Lean, Why3, Liquid Haskell und weitere zu kategorisieren und anhand von Beispielen Stärken und Schwächen der Ansätze aufzuzeigen.

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


Fearless Tinkering: How NixOS Works

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

description: Learn how NixOS goes from a configuration.nix through the module system, to a profile. How the profile activates, how the boot loader entry is created, and how bootloader rollbacks work. We will explore how NixOS boots, and learn how to experiment fearlessly.

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


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

description: Since late 2018 NixOS Foundation is participating in the EU's Next Generation Initiative, which will grant a total of 11.2 million Euro to independent researchers and open source developers. This talk will dive into the why and how of the program, how it will benefit NixOS, how you can help us out and also highlight other ways to get your NixOS project funded.

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

name: EU next Generation Initiative and other ways to get your NixOS project funded


Buil outside of the (sand)box.

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

description: This talk will present experiments at building packages incrementally by relying on an external cache outside the nix sandbox. We will show how tools such as distcc and bazel can benefit from impure information during the build, and discuss how this impacts purity and reproducibility.

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


Arion: fast NixOS on Docker Compose

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

description: An introduction to Arion: learn why we built it on top of Docker Compose, how it integrates with Nix and how you can use it. As Arion is mostly an application of the Nix modules system, we share our experience of building it. Arion is a tool that integrates Nix and NixOS into Docker Compose. - introduction to Docker Compose and Arion - how to write a deployment - how Arion uses the Nix module system to its advantage - what's next for Arion Arion started out as a little bash script with the goal of doing process management for our local development setups internally for Hercules CI, on top of Docker Compose. It has since grown to become an independent tool with support for NixOS in Docker, a significant subset of docker-compose.yaml and support for building actual images. Arion is written with the Nix module system, which means that deployments are as powerful as Arion's internals and that you can build your own abstractions into your deployments. It also means that the format of its logic may be familiar and it's easy to contribute.

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


An overview of language support in Nix

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

description: Most mainstream programming languages have several build platforms available. Which one should you use? Which one will your mugle coworker hate you for? Build platforms generally strike a balance between "usability" (will nix-build succeed if npm build succeed?) and "incrementality" (will nix-build finish in the next hour after I tweaked a comment?). In this talk we look at the support for various languages and the nuances in their builds, from "fixed-output" builds (where the developer must update a hash on every code change) to "fully incremental" builds (where Nix rebuilds only as much as the language's own build tools). We will compare the different approaches used in the Nix community today, point out the general features of mainstream languages' build tools, and briefly talk about how "recursive Nix" can solve some of today's problems. In particular we will look at the some approaches in the Nix community today: Fixed-output derivation: any language Fixed-output derivation for dependencies: rustPlatform, python Code generation: carnix, yarn2nix, stack2nix, bundix, pypi2nix Package-set (snapshots) with upstream checksum database: haskellPackages Pure, lockfile-based: napalm, naersk File-level incremental: snack For each we'll look at the following metrics: * Is the platform consistent with the developer's workflow (and does it Just Work) * What level of incrementality does the platform provide * Does the platform work within the Nix sandbox * Does the platform use "Import From Derivation" * How much does the platform stress the Nix evaluator

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


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

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

name: Host a DevOps exam using NixOS: Deploy a Bastion host and a KVM virtual machine per student in order for them to deploy a website which will be autovalidated


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

description: Building and managing your mobile device's operating system with Nix, Nixpkgs and NixOS? More likely than you think! Even on the device you already own*! *some conditions may apply

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

name: Where mobile - Nixos is going. And what's going on?


Utilizing a NixOps Plugin Architecture

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

description: NixOps, a tool for deploying NixOS machines in a network or cloud, has historically been developed through a single repository. This presentation will review the incentive for moving to an alternative NixOps plugin based architecture where feature sets for specific cloud or network providers are moved to their own repositories. The work in progress toward such an architecture will be discussed and examples of build and deploy demonstrated.

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


Untrusted CI

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

description: This talk describes how to use post-build hooks, a recently added Nix feature, to automatically sign and upload artifacts to a binary cache, so they can be re-used for subsequent builds. It compares that approach with existing ones, and explains why using post-build hooks are superior in terms of what's cached, and when it comes to building untrusted code, for example Pull Requests from external contributors. Finally, it shows an example on how this can be set up in a cloud provider setting, and discusses further improvements.

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


The dark and murky past of NixOS

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

description: NixOS hasn't always been there, but it was created by a small team 15 years ago. In this talk you will learn how NixOS got started (and what came before), why certain design decisions that are still in NixOS today were made, and perhaps see an embarassing picture or two.

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


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

description: This is an overview of the setup we used when building DeckDeckGo. We used Nix to test and deploy code to AWS Lambda, backed by Amazon's Simple Queue Service, DynamoDB, S3 and RDS PostgreSQL.

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

name: Testing for and deploying to AWS environments: a toolbox


Reading the Nix expressions language

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

description: Nix is not a big language but the syntax is quite foreign to the usual language suspects. The goal of this talk is to demystify the language. At the end all the viewers should are able to read Nix code and start wielding Nix's super powers.

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


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

description: Nix has a sibling, which looks very different, but functions in a very similar manner - Guix of the GNU project. This talk will explore what exactly it is and, in particular, how it compares to Nix. We look at whether Nix can take some inspiration from it and whether it is useful as a complimentary tool.

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

name: Peering into the Land of Parentheses - Guix from the Nix Perspective


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

description: Nixery builds container images on-demand via Nix and serves them via the standard Docker registry protocol. In this talk we look at how it works, which implementation challenges came up and how it is useful in the so-called "real world".

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

name: Nixery - A Nix-backed container registry


Nix - How and Why it Works

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

description: Learn the Nix language and the rules which make Nix a unique take on build tooling and system administration. In this interactive, live-demo talk, we will cover: string context, basic syntax, functions, laziness, and how builds are made functional

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


Nix Flakes

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

description: This talk will give an overview of Nix flakes, a proposed mechanism to package Nix expressions into composable entities ("flakes"). Flakes allow hermetic, reproducible evaluation of multi-repository Nix projects; impose a discoverable, standard structure on Nix projects; and replace previous mechanisms such as Nix channels and the Nix search path. This talk will discuss the current state of the flakes project and possible future developments.

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


lorri - Your project's nix environment

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

description: lorri is a nix-shell replacement for project development. lorri is based around fast direnv integration for robust CLI and editor integration.

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


Nixcon 2019 - Lightning Talks

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

description: nix-cluster (xc) - Tomasz Cysz What makes a forematter? - Lars Jellema Nix Gui. Visualizing Nix store and scope - Eugen Shatsky Configuration management with Morph - Marek Mahut Nix-on-Droid: when the low-hanging fruitis also the ripest one - Alexander Sosedkin Hercules CI - Domen Kozar et al.

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


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

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

name: How to package {Python,Ruby,Rust,Node,Go} programs


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

description: Case Study: Setup description of fullstack application (django, postgresql, vue.js, reactjs, react-native, integration tests). The talk is about how this setup is constructed and used to support day to day operations with local application setup for development, full testing environment and staging and production environment.

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

name: From local dev to prod (development environment for fullstack project)


home-manager template

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

description: home-manager template provides a quick-start template for using home-manager in a more reproducible way. You don't have to install home-manager, and it uses pinning.

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


Nix from the dark ages (without Root)

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

description: “Nix from the dark ages (without Root)” Rohit Goswami · Lightning Talk (5 minutes) Short comments from the trenches of High Performance Clusters on working with Nix on kernel locked-in systems without proot support.

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


Content-addressed derivations

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

description: This is part of the Intensional Store model.

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


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

description: Introduction to Hercules CI, NixOps and a step by step demonstration of setting up a continuous delivery pipeline with these tools. Hercules CI is a continuous integration service that coordinates build agents on your own infrastructure. It is built around Nix for the best developer user experience. NixOps is the Nix ecosystem's primary deployment tool, supporting multiple clouds through its Nix-based input format. By integrating the two, we achieve a continuous delivery pipeline that is configured entirely with Nix.

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

name: Automating deployment with Hercules CI and NixOps


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

description: Nix is package manager that offers all kinds of powerful features to make package deployments reliable and reproducible. Although Nix can be used to conveniently deploy packages, on various operating systems (such as Linux and macOS), and even allows unprivileged users to deploy packages, deploying services (such as PostgreSQL and Apache HTTPD) still has its limitations. Currently, Nix-based service deployment is solved by a small number of solutions: NixOS requires you to adopt a fully Nixified Linux system and uses systemd as a process manager. nix-darwin only works on macOS with launchd as a process manager If you are using Nix on a conventional Linux distribution, a different operating system (e.g. FreeBSD), with a different process manager (e.g. supervisord), or as an unprivileged user, then there is no off-the-shelf solution that can help you (yet) to conveniently deploy Nix-provided services. The nix-processmgmt framework (https://github.com/svanderburg/nix-processmgmt) is a prototype that tries to provide universal Nix-based service deployment on all systems where Nix can be used. It offers the following features: * It uses simple conventions for describing process instances, e.g. function definitions and function invocations * It works with high-level deployment specifications that can universally target the following process managers: sysvinit, bsdrc, systemd, supervisord, cygrunsrv and launchd * Tested on the following operating systems: Linux, macOS, Cygwin and FreeBSD * Automatically derives the activation order from process dependencies * Allows you to deploy multiple instances of the same service * Unprivileged user deployments In this talk, I will provide background information about this framework, describe how it works, and show a number of real-life usage scenarios using commonly used services (PostgreSQL, Apache HTTPD etc.) in a number of interesting usage scenarios (unprivileged user deployments, deployment on FreeBSD etc.) (Although the tool advertises itself as a prototype, it is already quite usable)

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

name: nix-processmgmt: An experimental Nix-based process manager-agnostic framework


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

description: The talk explains use of NixOS code as a library instead of a framework: the present, the possible even better future, and some of the payoff. Nix package manager has a lot of useful properties, and NixOS permits to expand the use of such properties beyond just installing packages. However, while Nixpkgs behaves mostly like a library, with overrides sometimes used to change even the fundamental assumptions if these are not used by some packages (see, e.g., pkgsMusl), NixOS is typically perceived closer to a framework. Using NixOS service management means committing to the module system (but Nixpkgs overrides are still useful), nonatomic /etc switch, systemd, NixOS driver management, etc. This creates a leap of faith, as installing Nix side-by-side breaks only storage quotas, but installing NixOS breaks everything; and leads to some duplication with nix-darwin and similar projects. In the talk I will tell what and how to reuse from NixOS now, what NixOS changes could simplify use of NixOS as a shared knowledge collection about running services between different projects with different commitment level, and how a bit of commitment to dumping the core assumptions turns some features from a weird dream into table stakes.

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

name: Bridging the stepping stones: using pieces of NixOS without full commitment


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

description: Java is one of the most popular languages (ranked 2nd by PYPL [1]), however there is a fragmented and incomplete solution when it comes to tooling available by NixPkgs. This talk will go over the current state of affairs (what's available today), what's so difficult about Java compared to other supported languages in NixPkg and a proposed solution (mvn2nix [2]) aimed at filling the gap. submission outline: - discuss how other languages integrate with Nix; mainly by creating fixed-output derivations for their dependencies which are fetched to construct a build environment. - communicate that Java's main build systems (Maven & Gradle) go beyond much more than simple dependency retrieval; generate sources or even bytecode weaving/ - touch on Maven specifically; whose initial release was in 2004. The tool is immensly complex and it is non-trivial to determine all the necessary dependencies. - go over the "double invocation" pattern as a workable solution - announce / release mvn2nix as a forward looking solution

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

name: Nix in the Java ecosystem: Becoming enterprise friendly


Bringing NixOS to my school

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

description: EPITA, a French school of engineers in computer science, is bringing NixOS to its students. Here is a presentation of the challenges of maintaining an infrastructure of more than 800 machines used by students. The presentation will start with a current state of our learning infrastructure running on Arch Linux, the challenges we face with it, the up- and downsides of migrating to NixOS and what has already been done.

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


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

description: Robotnix enables a user to build Android (AOSP) images using the Nix package manager. AOSP projects often contain long and complicated build instructions requiring a variety of tools for fetching source code and executing the build. This applies not only to Android itself, but also to projects which are to be included in the Android build, such as the Linux kernel, Chromium webview, MicroG, other external/prebuilt privileged apps, etc. Robotnix orchestrates the diverse build tools across these multiple projects using Nix, inheriting its reliability and reproducibility benefits, and consequently making the build and signing process very simple for an end-user.

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

name: Robotnix - Build Android (AOSP) using Nix


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

description: At Yakkertech we use NixOS and Nixops to deploy software in a safe, reproducible, and manageable way to our embedded baseball pitch tracking machines installed in ball fields in the US. In this talk I'll discuss what we do at Yakkertech, some of the software and computer-related challenges that this brings, the aspects of NixOS that help us address these challenges and why we chose it, how we use it in practice, and our experience of having used it.

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

name: Remote deployments with NixOS and Nixops at Yakkertech


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

description: Nix is almost 20 years old. The innovation Nix brought is now present in almost all recent packaging tooling, while Nix hasn't been adopted yet by a larger audience. Why should we care about that? What can we do to remove the barriers to mainstream adoption? We'll look at examples from books, similar stories and what people and leaders of our industry are saying. We'll dive into each topic briefly, providing an opinionated set of goals to get Nix in hands of everyone.

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

name: How to change the Nix ecosystem to become mainstream?


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

description: At Serokell, we have been using Nix for over 5 years. In the last half-year, we have started an effort to use flakes to build our infrastructure and projects. In this talk, I would like to give a refresher of what flakes are, explain why we are so excited about them, and share experiences, thoughts, and advice on the matter.

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

name: Nix Flakes in production: What? Why? How?


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

description: People already familiar with Nix already know its benefits but what is the best way to tell others what they are missing out? How do you convince your employer and colleagues that using Nix is a good idea? Let me tell you how I did it at Chatroulette and show you that you can easily do it at your company too. The main programming language at Chatroulette is Scala, a hybrid OOP-FP language that runs on the JVM, even though we only make use of the functional subset. We run the entire system on Kubernetes (Istio / Envoy) and deploy our microservices as Docker containers. Introducing Nix in such a big system - running in different platforms - might not seem trivial but you would never know if you never try! The talk will also touch on the current state of Nix in the Scala community. How many use Nix? How many don't know what Nix is? What can we do better? The ultimate goal of this talk is to give you the itch to at least think about introducing it at your company.

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

name: Nix at Chatroulette: How we use it and its role in the Scala ecosystem


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

description: Nix's configuration language is quite powerful, but suffers from a lack of discoverability, usability and consistency. In this talk, I'll describe an experimental Nix module system that provides a consistent, discoverable mechanism to write configurations such as packages and NixOS systems, and show how this enables a better user experience for both new and advanced users. Nix's configuration language is quite powerful, but suffers from a lack of discoverability, usability and consistency. To name just a few examples: There is no easy way to find out from the command line or from the REPL what arguments are supported by functions like stdenv.mkDerivation or buildPythonPackage. Mechanisms like the .override attribute provide an almost unlimited ability to customize packages, but the only way to figure out what you can override is to read the source of the Nix package, and writing overrides is often black magic. NixOS has a nice self-documenting module system, but Nix packages are written in a completely different functional style. The Nix CLI doesn't know anything about package functions, .override and .overrideDerivation, the NixOS module system, the Nixpkgs config attribute set, Nixpkgs overlays, or any other customization mechanisms that have emerged over the years. The syntax and semantics of Nix expressions are often an obstacle to new users and have a steep learning curve. In this talk, I'll show an experimental Nix module system, similar to the NixOS module system, to replace the "functional" package style using in Nixpkgs. This means that functions like mkDerivation or buildPythonPackage as well as packages become modules that can build on each other. For instance, the "GNU Hello" package is a module that inherits from the unixPackage module, which in turn inherits from other modules like derivation. Package customization is done in the same way: by inheriting a module. These modules, just like in NixOS, have types and documentation. As a result, everything becomes discoverable and modifiable from the command line. For instance, there is a command nix list options that shows everything that can be customized in a package. It also provides a standard for documentation: the command nix doc generates HTML documentation for the modules in a flake.

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

name: Nix modules: Improving Nix's discoverability and usability


Oblivious Online Vector Balancing

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

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

name: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery


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

description: Smart-devices are anywhere, connecting lights, AC, cameras and even heat-sensors. They present a weak spot in which hackers can hack and learn about internal network-configuration, change arbitrary controllers, and lead to high physical & software damage. In our scenario, thousands of HDL smart devices could have been exploited & remotely controlled in the wild. 4 unique vulnerabilities have been found and presented here - We show how they can be utilized by a sophisticated attacker to stealth-access smart-devices remotely, change, control and take advantage of their data. Also, we show how a full data-extraction of smart-devices managing accounts: private data and credentials could have been extracted as well. This unique attack scenario demonstrates the high-security impact of deploying IoT devices over any organization, especially when using dedicated IoT hardware and proprietary components which are interconnected and even remotely managed. A coordinated responsible disclosure was done and thankful to HDL responsiveness & approach - All was fixed.

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

name: IoT Village - Hacking smart-devices for fun and profit: From exploiting my smart-home into controlling thousands of smart-devices around the world


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

description: Throughout this year, we had the chance to analyze two different models of electric scooters, three different models of smart locks, various kind of smart home devices and lastly one robot assistant which is in use at airports. During the analysis process, we have found some critical security vulnerabilities including privilege escalation, insecure communication and taking over the servers which these communications are being performed on. Additionally, we have identified two hard-coded secret keys and lastly one cryptographic key in the result of our analysis. In this presentation, we will be sharing the details of the vulnerabilities that we have identified during our analysis.

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

name: IoT Village - IoT Hacking Stories in Real Life


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

description: Sixty percent of hackers don’t submit vulnerabilities due to the fear of out-of-date legislation, press coverage, and companies misdirected policies. This fear is based on socially constructed beliefs. This talk dives into the brain's response to fear while focusing on increasing public awareness in order to bring legislation that supports ethical hackers, ending black hoodie and ski mask imagery, and encourage organizations to support bilateral trust within their policies.

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

name: IoT Village - How to get rights for hackers


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

description: This learning session will focus on the subject of building an IoT hardware hacking lab. During this learning session various tools and technologies will be shown and discussed that are needed for physical disassembly, soldering, debugging, and analyzing. Covering the basic entry level to the more advanced lab equipment needed and used. After each learning objective we will have Q&A sessions.

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

name: IoT Village - Getting Started: Building an IoT Hardware Hacking Lab


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

description: This learning session will introduce attendees to the process of recovering file systems from data extracted from NAND flash chips. As part of this learning session we will be discussing and demoing the tools, methods and common processes for successfully recovering data. After each learning objective we will have Q&A sessions

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

name: IoT Village - NAND Chips: Introduction to NAND Chip extraction and Data Reconstructions


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

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

name: IoT Village - Your connected world isn't yours anymore!: Remote IoT attacks and data exfiltration.


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

description: Security is one of the most dynamic and impactful landscapes in the regulatory sphere. Proposed initiatives and standards in IoT security specifically, are shaping the industry at a fast pace and on a global scale. With the potential for marked impact to the researcher community, this evolving landscape also serves as an opportunity for technology innovation and collaboration. This talk, a joint presentation from policy expert, Dr. Amit Elazari, and IoT platform architect, Anahit Tarkhanyan, will introduce the audience to a variety of regulatory concepts and baseline proposals shaping the future of IoT security. They’ll focus on recent trends including: NISTIR 8259, C2, international standards, supply chain transparency, researchers’ collaboration, proposed legislation, Coordinated Vulnerability Disclosure, and the innovative, technical capabilities that can support and enhance development from the foundation up.

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

name: IoT Village - The future of IoT Security “Baselines,” Standards, and Regulatory Domain