The document provides an agenda for an AWS Finland Meetup in August 2018 sponsored by Sanoma. The agenda includes doors opening at 17:30, the schedule starting at 18:00, and speakers presenting on a community update, new and noteworthy AWS services from Rolf Koski, and experiences using Fargate from Heidi Lahti. Additionally, Moritz Siuts will present on Kubernetes clusters for ride sharing at MOIA.
Lush E-Commerce Migration - Google NEXT LondonRyan Kerry
?
This document summarizes Lush's migration of their e-commerce platform from their previous cloud provider to Google Cloud Platform (GCP) on an accelerated timescale due to concerns about the previous provider. It describes why they chose GCP due to its alignment with Lush's ethics and capabilities. It then outlines the architecture implemented on GCP using infrastructure as code with Terraform templates, ready-made images, autoscaling, and Stackdriver monitoring. Benefits included cost savings, simplified infrastructure, and preparing for future cloud-native capabilities.
The document summarizes an AWS User Group Finland meetup in October 2017. The agenda included opening remarks, a presentation on new AWS features by Rolf Koski from Cybercom, and a presentation by Rami Rantala from Zalando on AWS usage at their company. The meetup also sponsored two upcoming events - a road to AWS re:Invent discussion in November and a re:Invent recap in December. Rolf Koski's presentation covered new AWS edge locations, regional services announcements, and newly launched features like Network Load Balancer and Aurora PostgreSQL.
This document summarizes the migration of Lush's global e-commerce platform from an existing vendor to Google Cloud Platform (GCP) in just 22 days. It describes how Lush's engineering team architected, built, migrated, tested, and launched the new infrastructure, which included migrating 146 databases and 400+ compute instances across 17 e-commerce sites and mobile apps. The migration was completed successfully before the deadline and reduced hosting costs by 40% while future-proofing Lush's technology stack in line with their ethical approach. Next steps involve further modernizing the platform on GCP through containerization, serverless computing, and machine learning capabilities.
AWS Finland meetup 2019 september - sponsored by ZalandoRolf Koski
?
This document summarizes an AWS User Group Finland meetup that took place in September 2019. The meetup agenda included welcome words, topics for the day, and doors closing at 20:30. News items announced a new AWS Evangelist, the next meetup in September, and the AWS Community Day Nordics event in January 2020. The presentation covered several new and noteworthy AWS services, including EKS IAM support, X-Ray for SQS, and new regions for services like Transfer and SageMaker in Stockholm.
The RIPE NCC develops internal and external tools to analyze and visualize Internet connectivity and performance data. Internally, tools combine membership and routing data to provide different views of networks and membership trends. Externally, tools like DNSMON, DomainMON, LatencyMON and TraceMON leverage RIPE Atlas data to visualize domain name performance, latency trends between probes, and network topologies derived from traceroutes. These tools are still in development and feedback is welcomed to improve features and datasets.
The document discusses OpenStack Swift, an open source, scalable object storage system. It provides an agenda that covers unstructured data, the history and contributors to OpenStack Swift, its architecture and features, examples of production deployments, and how to contribute. The document aims to provide an overview and panoramic view of OpenStack Swift.
The document outlines the schedule for a three day conference focused on infrastructure development. Day 1 includes sessions on virtualization, asset management, infrastructure sharing, and content delivery networks. Panel discussions cover affordable infrastructure development and the connected enterprise. Workshops are held on backhaul, data localization, and spectrum strategies. Day 2 focuses on policies around spectrum, taxation, and national strategies. Additional workshops cover business process outsourcing, network integration, and utilizing digital dividends. Day 3 features regulatory roadmaps and panel discussions on integrating ICT with development objectives and future opportunities. National strategies and closing addresses conclude the event.
CloudStack EU user group - fast SAP provisioningShapeBlue
?
BIT.Group presents an approach to automating the provisioning of SAP systems using CloudStack for infrastructure management and Ansible for configuration automation. This allows setting up a full SAP stack including virtual infrastructure, storage, operating system and SAP installation in a short and standardized manner. Key benefits are reduced time to deploy systems, consistent configurations with lower operations effort and higher quality. Lessons learned include the different worlds of infrastructure automation versus application provisioning.
The document provides an agenda for an AWS Finland User Group meetup in April 2019. The meetup agenda includes topics on new and noteworthy AWS services, service meshes on AWS, architecture best practices, and managing many AWS sandboxes. Information is also provided about related Nordic AWS community events happening in April and May 2019.
In the age of darkness light plays an important role in terms of keeping the human race motivated for the good. Projection mapping has been around for some time now. There is hardware, software and possibilities might seem limitless. How about the aspiring artist or an institution with limited funding for anything, anyone who wants to play with projection mapping? One does not want to leave her computer in a space for a month or more. An institution might not have resources to purchase hardware and software.
OfxPiMapper is an addon for the openFrameworks creative coding toolkit that lets one use the Raspberry Pi mini-computer for serious projection mapping projects. It is open source and available on GitHub. It can not only map videos and images, but can map anything openFrameworks is capable of, which includes data driven visuals, interactive motion graphics or generative 3D scenes.
Objective
Inspire, introduce an alternative tool and invite to join ofxPiMapper workshops
Target Audience
Creative coders, designers and artists working with code, the bored front-end developer
Assumed Audience Knowledge
Familiarity with or interest in one of the creative coding frameworks will do
Five Things Audience Members Will Learn
Scenarios where ofxPiMapper can be used
How to use ofxPiMapper
How to create custom generative source to be used with ofxPiMapper
How to prepare a SD card for the Raspberry Pi
Where to get additional information
The AWS User Group Finland November meetup agenda includes talks on serverless data streaming, Finnair's AWS journey, and Vaisala's serverless journey. The meetup is sponsored by Solita and will cover new AWS services like C5d instances, G4 instances with NVIDIA T4 Tensor Cores, and Client VPN. Upcoming meetups are announced for November and December 2019 as well as January 2020.
Ralph Ligtenberg discusses moving Travix's "Fare Cache" system for storing airline fare search results from an on-premise Cassandra database to Google Cloud. The original system was difficult to scale and maintain. The new "Fare Cloud" uses microservices written in Go hosted on Google Cloud Platform services like BigTable, Datastore, and Dataflow. It took 6 months to implement and provides better performance and cost savings compared to the original system. The new architecture stores fare search results in the cloud to serve multiple use cases for Travix's products.
This document discusses open geospatial data, standards, and software. It begins by introducing OpenStreetMap, an open crowd-sourced map of the world. It then discusses how OpenStreetMap data has been used for humanitarian efforts. Next, it outlines several open geospatial data standards and services for finding, rendering, and processing map data. Finally, it promotes open source geospatial software projects like OSGeo Live, an open source geospatial software distribution with over 60 applications.
Running a project to build a website in a corporate environment is always a challenge. In the corporation that spans across the world, operates in more than 100 countries, has about 150 000 employees and 1500 web content creators, it is even a bigger challenge.
Niklas and Kacper will run you through the great journey the OneABB Team started half a year ago. In the middle of 2012 we realised that the methodology we were running our project had left some space where the tensions had arisen. Web environment is one of the fastest growing and changing one in the IT world. So does the client requirements and expectations. Having a great, skilled team, working in a friendly and honest atmosphere we were able to optimize our process, improve the communication and transparency, increase the performance and boost productivity. All of this thanks to introducing Agile methodology called SCRUM.
In the presentations you will learn about some of the problems that the big, international, distributed team can run into while working on a enterprise class project. We will share our ways to identify those problems and to get them solved with you. You will acquire a basic knowledge of main SCRUM principles and ceremonies. We will show you some very helpful tools too.
The document discusses Lush's transition from a monolithic application architecture to microservices and service-oriented architecture. It describes how Lush is organizing into autonomous squads and alliances to support this transition. Squads will be full-stack, cross-functional teams responsible for planning, building, testing, and releasing features across all platforms. Core alliances will focus on platform infrastructure, device experiences, and new features. This approach aims to improve scalability, innovation, and delivery while supporting an agile and autonomous way of working.
No Free Lunch, Indeed: Three Years of Microservices at SoundCloudC4Media
?
Phil Cal?ado discussed SoundCloud's journey with microservices over three years. Some key points included:
1. Rapid provisioning was initially challenging due to a lack of resource limits and naive scheduling that caused performance issues. Containerization helped address this.
2. Basic monitoring was difficult due to limited telemetry tools at the time, so SoundCloud built their own solution. Standardizing dashboards and operations helped.
3. Rapid deployment was complicated by having multiple different deployment scripts. Containers simplified deploying "mini-SoundClouds".
While microservices provided benefits, SoundCloud also faced challenges as their system grew more distributed. There are incremental ways to address issues with provisioning, monitoring,
TrustArc Webinar - Building your DPIA/PIA Program: Best Practices & TipsTrustArc
?
Understanding DPIA/PIAs and how to implement them can be the key to embedding privacy in the heart of your organization as well as achieving compliance with multiple data protection / privacy laws, such as GDPR and CCPA. Indeed, the GDPR mandates Privacy by Design and requires documented Data Protection Impact Assessments (DPIAs) for high risk processing and the EU AI Act requires an assessment of fundamental rights.
How can you build this into a sustainable program across your business? What are the similarities and differences between PIAs and DPIAs? What are the best practices for integrating PIAs/DPIAs into your data privacy processes?
Whether you're refining your compliance framework or looking to enhance your PIA/DPIA execution, this session will provide actionable insights and strategies to ensure your organization meets the highest standards of data protection.
Join our panel of privacy experts as we explore:
- DPIA & PIA best practices
- Key regulatory requirements for conducting PIAs and DPIAs
- How to identify and mitigate data privacy risks through comprehensive assessments
- Strategies for ensuring documentation and compliance are robust and defensible
- Real-world case studies that highlight common pitfalls and practical solutions
UiPath Agentic Automation Capabilities and OpportunitiesDianaGray10
?
Learn what UiPath Agentic Automation capabilities are and how you can empower your agents with dynamic decision making. In this session we will cover these topics:
What do we mean by Agents
Components of Agents
Agentic Automation capabilities
What Agentic automation delivers and AI Tools
Identifying Agent opportunities
? If you have any questions or feedback, please refer to the "Women in Automation 2025" dedicated Forum thread. You can find there extra details and updates.
DevNexus - Building 10x Development Organizations.pdfJustin Reock
?
Developer Experience is Dead! Long Live Developer Experience!
In this keynote-style session, we¡¯ll take a detailed, granular look at the barriers to productivity developers face today and modern approaches for removing them. 10x developers may be a myth, but 10x organizations are very real, as proven by the influential study performed in the 1980s, ¡®The Coding War Games.¡¯
Right now, here in early 2025, we seem to be experiencing YAPP (Yet Another Productivity Philosophy), and that philosophy is converging on developer experience. It seems that with every new method, we invent to deliver products, whether physical or virtual, we reinvent productivity philosophies to go alongside them.
But which of these approaches works? DORA? SPACE? DevEx? What should we invest in and create urgency behind today so we don¡¯t have the same discussion again in a decade?
30B Images and Counting: Scaling Canva's Content-Understanding Pipelines by K...ScyllaDB
?
Scaling content understanding for billions of images is no easy feat. This talk dives into building extreme label classification models, balancing accuracy & speed, and optimizing ML pipelines for scale. You'll learn new ways to tackle real-time performance challenges in massive data environments.
What Makes "Deep Research"? A Dive into AI AgentsZilliz
?
About this webinar:
Unless you live under a rock, you will have heard about OpenAI¡¯s release of Deep Research on Feb 2, 2025. This new product promises to revolutionize how we answer questions requiring the synthesis of large amounts of diverse information. But how does this technology work, and why is Deep Research a noticeable improvement over previous attempts? In this webinar, we will examine the concepts underpinning modern agents using our basic clone, Deep Searcher, as an example.
Topics covered:
Tool use
Structured output
Reflection
Reasoning models
Planning
Types of agentic memory
CloudStack EU user group - fast SAP provisioningShapeBlue
?
BIT.Group presents an approach to automating the provisioning of SAP systems using CloudStack for infrastructure management and Ansible for configuration automation. This allows setting up a full SAP stack including virtual infrastructure, storage, operating system and SAP installation in a short and standardized manner. Key benefits are reduced time to deploy systems, consistent configurations with lower operations effort and higher quality. Lessons learned include the different worlds of infrastructure automation versus application provisioning.
The document provides an agenda for an AWS Finland User Group meetup in April 2019. The meetup agenda includes topics on new and noteworthy AWS services, service meshes on AWS, architecture best practices, and managing many AWS sandboxes. Information is also provided about related Nordic AWS community events happening in April and May 2019.
In the age of darkness light plays an important role in terms of keeping the human race motivated for the good. Projection mapping has been around for some time now. There is hardware, software and possibilities might seem limitless. How about the aspiring artist or an institution with limited funding for anything, anyone who wants to play with projection mapping? One does not want to leave her computer in a space for a month or more. An institution might not have resources to purchase hardware and software.
OfxPiMapper is an addon for the openFrameworks creative coding toolkit that lets one use the Raspberry Pi mini-computer for serious projection mapping projects. It is open source and available on GitHub. It can not only map videos and images, but can map anything openFrameworks is capable of, which includes data driven visuals, interactive motion graphics or generative 3D scenes.
Objective
Inspire, introduce an alternative tool and invite to join ofxPiMapper workshops
Target Audience
Creative coders, designers and artists working with code, the bored front-end developer
Assumed Audience Knowledge
Familiarity with or interest in one of the creative coding frameworks will do
Five Things Audience Members Will Learn
Scenarios where ofxPiMapper can be used
How to use ofxPiMapper
How to create custom generative source to be used with ofxPiMapper
How to prepare a SD card for the Raspberry Pi
Where to get additional information
The AWS User Group Finland November meetup agenda includes talks on serverless data streaming, Finnair's AWS journey, and Vaisala's serverless journey. The meetup is sponsored by Solita and will cover new AWS services like C5d instances, G4 instances with NVIDIA T4 Tensor Cores, and Client VPN. Upcoming meetups are announced for November and December 2019 as well as January 2020.
Ralph Ligtenberg discusses moving Travix's "Fare Cache" system for storing airline fare search results from an on-premise Cassandra database to Google Cloud. The original system was difficult to scale and maintain. The new "Fare Cloud" uses microservices written in Go hosted on Google Cloud Platform services like BigTable, Datastore, and Dataflow. It took 6 months to implement and provides better performance and cost savings compared to the original system. The new architecture stores fare search results in the cloud to serve multiple use cases for Travix's products.
This document discusses open geospatial data, standards, and software. It begins by introducing OpenStreetMap, an open crowd-sourced map of the world. It then discusses how OpenStreetMap data has been used for humanitarian efforts. Next, it outlines several open geospatial data standards and services for finding, rendering, and processing map data. Finally, it promotes open source geospatial software projects like OSGeo Live, an open source geospatial software distribution with over 60 applications.
Running a project to build a website in a corporate environment is always a challenge. In the corporation that spans across the world, operates in more than 100 countries, has about 150 000 employees and 1500 web content creators, it is even a bigger challenge.
Niklas and Kacper will run you through the great journey the OneABB Team started half a year ago. In the middle of 2012 we realised that the methodology we were running our project had left some space where the tensions had arisen. Web environment is one of the fastest growing and changing one in the IT world. So does the client requirements and expectations. Having a great, skilled team, working in a friendly and honest atmosphere we were able to optimize our process, improve the communication and transparency, increase the performance and boost productivity. All of this thanks to introducing Agile methodology called SCRUM.
In the presentations you will learn about some of the problems that the big, international, distributed team can run into while working on a enterprise class project. We will share our ways to identify those problems and to get them solved with you. You will acquire a basic knowledge of main SCRUM principles and ceremonies. We will show you some very helpful tools too.
The document discusses Lush's transition from a monolithic application architecture to microservices and service-oriented architecture. It describes how Lush is organizing into autonomous squads and alliances to support this transition. Squads will be full-stack, cross-functional teams responsible for planning, building, testing, and releasing features across all platforms. Core alliances will focus on platform infrastructure, device experiences, and new features. This approach aims to improve scalability, innovation, and delivery while supporting an agile and autonomous way of working.
No Free Lunch, Indeed: Three Years of Microservices at SoundCloudC4Media
?
Phil Cal?ado discussed SoundCloud's journey with microservices over three years. Some key points included:
1. Rapid provisioning was initially challenging due to a lack of resource limits and naive scheduling that caused performance issues. Containerization helped address this.
2. Basic monitoring was difficult due to limited telemetry tools at the time, so SoundCloud built their own solution. Standardizing dashboards and operations helped.
3. Rapid deployment was complicated by having multiple different deployment scripts. Containers simplified deploying "mini-SoundClouds".
While microservices provided benefits, SoundCloud also faced challenges as their system grew more distributed. There are incremental ways to address issues with provisioning, monitoring,
TrustArc Webinar - Building your DPIA/PIA Program: Best Practices & TipsTrustArc
?
Understanding DPIA/PIAs and how to implement them can be the key to embedding privacy in the heart of your organization as well as achieving compliance with multiple data protection / privacy laws, such as GDPR and CCPA. Indeed, the GDPR mandates Privacy by Design and requires documented Data Protection Impact Assessments (DPIAs) for high risk processing and the EU AI Act requires an assessment of fundamental rights.
How can you build this into a sustainable program across your business? What are the similarities and differences between PIAs and DPIAs? What are the best practices for integrating PIAs/DPIAs into your data privacy processes?
Whether you're refining your compliance framework or looking to enhance your PIA/DPIA execution, this session will provide actionable insights and strategies to ensure your organization meets the highest standards of data protection.
Join our panel of privacy experts as we explore:
- DPIA & PIA best practices
- Key regulatory requirements for conducting PIAs and DPIAs
- How to identify and mitigate data privacy risks through comprehensive assessments
- Strategies for ensuring documentation and compliance are robust and defensible
- Real-world case studies that highlight common pitfalls and practical solutions
UiPath Agentic Automation Capabilities and OpportunitiesDianaGray10
?
Learn what UiPath Agentic Automation capabilities are and how you can empower your agents with dynamic decision making. In this session we will cover these topics:
What do we mean by Agents
Components of Agents
Agentic Automation capabilities
What Agentic automation delivers and AI Tools
Identifying Agent opportunities
? If you have any questions or feedback, please refer to the "Women in Automation 2025" dedicated Forum thread. You can find there extra details and updates.
DevNexus - Building 10x Development Organizations.pdfJustin Reock
?
Developer Experience is Dead! Long Live Developer Experience!
In this keynote-style session, we¡¯ll take a detailed, granular look at the barriers to productivity developers face today and modern approaches for removing them. 10x developers may be a myth, but 10x organizations are very real, as proven by the influential study performed in the 1980s, ¡®The Coding War Games.¡¯
Right now, here in early 2025, we seem to be experiencing YAPP (Yet Another Productivity Philosophy), and that philosophy is converging on developer experience. It seems that with every new method, we invent to deliver products, whether physical or virtual, we reinvent productivity philosophies to go alongside them.
But which of these approaches works? DORA? SPACE? DevEx? What should we invest in and create urgency behind today so we don¡¯t have the same discussion again in a decade?
30B Images and Counting: Scaling Canva's Content-Understanding Pipelines by K...ScyllaDB
?
Scaling content understanding for billions of images is no easy feat. This talk dives into building extreme label classification models, balancing accuracy & speed, and optimizing ML pipelines for scale. You'll learn new ways to tackle real-time performance challenges in massive data environments.
What Makes "Deep Research"? A Dive into AI AgentsZilliz
?
About this webinar:
Unless you live under a rock, you will have heard about OpenAI¡¯s release of Deep Research on Feb 2, 2025. This new product promises to revolutionize how we answer questions requiring the synthesis of large amounts of diverse information. But how does this technology work, and why is Deep Research a noticeable improvement over previous attempts? In this webinar, we will examine the concepts underpinning modern agents using our basic clone, Deep Searcher, as an example.
Topics covered:
Tool use
Structured output
Reflection
Reasoning models
Planning
Types of agentic memory
Field Device Management Market Report 2030 - TechSci ResearchVipin Mishra
?
The Global Field Device Management (FDM) Market is expected to experience significant growth in the forecast period from 2026 to 2030, driven by the integration of advanced technologies aimed at improving industrial operations.
? According to TechSci Research, the Global Field Device Management Market was valued at USD 1,506.34 million in 2023 and is anticipated to grow at a CAGR of 6.72% through 2030. FDM plays a vital role in the centralized oversight and optimization of industrial field devices, including sensors, actuators, and controllers.
Key tasks managed under FDM include:
Configuration
Monitoring
Diagnostics
Maintenance
Performance optimization
FDM solutions offer a comprehensive platform for real-time data collection, analysis, and decision-making, enabling:
Proactive maintenance
Predictive analytics
Remote monitoring
By streamlining operations and ensuring compliance, FDM enhances operational efficiency, reduces downtime, and improves asset reliability, ultimately leading to greater performance in industrial processes. FDM¡¯s emphasis on predictive maintenance is particularly important in ensuring the long-term sustainability and success of industrial operations.
For more information, explore the full report: https://shorturl.at/EJnzR
Major companies operating in Global?Field Device Management Market are:
General Electric Co
Siemens AG
ABB Ltd
Emerson Electric Co
Aveva Group Ltd
Schneider Electric SE
STMicroelectronics Inc
Techno Systems Inc
Semiconductor Components Industries LLC
International Business Machines Corporation (IBM)
#FieldDeviceManagement #IndustrialAutomation #PredictiveMaintenance #TechInnovation #IndustrialEfficiency #RemoteMonitoring #TechAdvancements #MarketGrowth #OperationalExcellence #SensorsAndActuators
Fl studio crack version 12.9 Free Downloadkherorpacca127
?
https://ncracked.com/7961-2/
Note: >>?? Please copy the link and paste it into Google New Tab now Download link
The ultimate guide to FL Studio 12.9 Crack, the revolutionary digital audio workstation that empowers musicians and producers of all levels. This software has become a cornerstone in the music industry, offering unparalleled creative capabilities, cutting-edge features, and an intuitive workflow.
With FL Studio 12.9 Crack, you gain access to a vast arsenal of instruments, effects, and plugins, seamlessly integrated into a user-friendly interface. Its signature Piano Roll Editor provides an exceptional level of musical expression, while the advanced automation features empower you to create complex and dynamic compositions.
Many MSPs overlook endpoint backup, missing out on additional profit and leaving a gap that puts client data at risk.
Join our webinar as we break down the top challenges of endpoint backup¡ªand how to overcome them.
A Framework for Model-Driven Digital Twin EngineeringDaniel Lehner
?
ºÝºÝߣs from my PhD Defense at Johannes Kepler University, held on Janurary 10, 2025.
The full thesis is available here: https://epub.jku.at/urn/urn:nbn:at:at-ubl:1-83896
Inside Freshworks' Migration from Cassandra to ScyllaDB by Premkumar PatturajScyllaDB
?
Freshworks migrated from Cassandra to ScyllaDB to handle growing audit log data efficiently. Cassandra required frequent scaling, complex repairs, and had non-linear scaling. ScyllaDB reduced costs with fewer machines and improved operations. Using Zero Downtime Migration (ZDM), they bulk-migrated data, performed dual writes, and validated consistency.
EaseUS Partition Master Crack 2025 + Serial Keykherorpacca127
?
https://ncracked.com/7961-2/
Note: >> Please copy the link and paste it into Google New Tab now Download link
EASEUS Partition Master Crack is a professional hard disk partition management tool and system partition optimization software. It is an all-in-one PC and server disk management toolkit for IT professionals, system administrators, technicians, and consultants to provide technical services to customers with unlimited use.
EASEUS Partition Master 18.0 Technician Edition Crack interface is clean and tidy, so all options are at your fingertips. Whether you want to resize, move, copy, merge, browse, check, convert partitions, or change their labels, you can do everything with a few clicks. The defragmentation tool is also designed to merge fragmented files and folders and store them in contiguous locations on the hard drive.
Future-Proof Your Career with AI OptionsDianaGray10
?
Learn about the difference between automation, AI and agentic and ways you can harness these to further your career. In this session you will learn:
Introduction to automation, AI, agentic
Trends in the marketplace
Take advantage of UiPath training and certification
In demand skills needed to strategically position yourself to stay ahead
? If you have any questions or feedback, please refer to the "Women in Automation 2025" dedicated Forum thread. You can find there extra details and updates.
Formal Methods: Whence and Whither? [Martin Fr?nzle Festkolloquium, 2025]Jonathan Bowen
?
Alan Turing arguably wrote the first paper on formal methods 75 years ago. Since then, there have been claims and counterclaims about formal methods. Tool development has been slow but aided by Moore¡¯s Law with the increasing power of computers. Although formal methods are not widespread in practical usage at a heavyweight level, their influence as crept into software engineering practice to the extent that they are no longer necessarily called formal methods in their use. In addition, in areas where safety and security are important, with the increasing use of computers in such applications, formal methods are a viable way to improve the reliability of such software-based systems. Their use in hardware where a mistake can be very costly is also important. This talk explores the journey of formal methods to the present day and speculates on future directions.
5. More workshops!
? Hands-on Continous Delivery
? Docker on Mesos (with Marathon)
? Data science on Hadoop
? Drones
? Angular Architecture
? Getting more out of Agile and Lean
? Data modeling with Neo4J