Issue 67
Welcome to another issue of Haskell Weekly! Haskell is a purely functional programming language that focuses on correctness, productivity, and expressiveness. This is a weekly summary of what’s going on in its community.
Want to see something featured in Haskell Weekly? We love contributions! Tweet us at @HaskellWeekly or open a pull request.
Featured
-
Wish: A trivial web browser written in Haskell
This is a demonstration program that is able to load a web page up and render it like in the early ’90s. It supports laying out text, different font sizes for headings, inline and block elements, hyperlinks, bold and italics. It supports mouse wheel scrolling, too.
-
On the confusing side, there are several different array libraries with overlapping feature sets, but distinct focus, strengths, and level of support, and often they have got widely different performance characteristics. This can make it hard to know where to start.
-
Programming as if the correct data structure (and performance) mattered
What if focusing on the correct data structure, while still understanding your algorithm, could improve maintainability and collaterally speed up execution by a factor of over 15x compared to over-engineered C# code?
-
5 ways to manage allocated memory in Haskell
Let’s say we have a foreign function that takes a C data structure. Our task is to allocate the structure in memory, fill in the fields, call the function, and deallocate the memory. In this article, I will explore different ways to track all the allocated pointers and free them reliably.
-
Alright, so I finally got time to explain the whole I/O system in stdio. The code is not production ready yet, but the big framework has been laid out. Once we figure out a way to bridge libuv with GHC’s light weight threads runtime, we got everything we want.
-
An explanation of higher-order unification
In order to make this code useful to others, I would like to take the time to explain exactly how it works. In this file, we will go through the unification algorithm being used and how it is implemented in the code.
-
Writing performant Haskell (1 of 6): Intro
This post series will serve as a guide for a few of the approaches we can take to optimize Haskell programs. We will build a small but complete Haskell package, iteratively improving on its performance.
-
Brittany: Haskell source code formatting tool
I am happy to (finally) announce the first Hackage release of Brittany, a configurable Haskell source code formatter based on ghc-exactprint. Brittany aims to nicely layout the code and retain empty lines and comments as they appear in the input.
-
We’d like to update the wider Haskell community on the state of the Summer of Haskell projects, now that the midterm evaluation has passed. We are very happy that almost everyone passed the evaluation.
-
Case study: Building a URL bouncer
Building a simple URL bouncer with Servant isn’t that hard, and the usual warm fuzzies you get from well-typed functions, interfaces, and code still apply.
Jobs
-
Job opening: Compiling to categories
I have a job opening to work closely with me [Conal Elliott] (at Target Digital) on the GHC plugin described in the paper Compiling to Categories as well as on applications, including machine learning.
In brief
- Conway’s Game of Life using
Representable
andComonad
s - Building Haskell projects with GHC
- Implementing Clojure-like transducers in Idris
- Integrating Eta into your Scala projects
- Redirect vulnerabilities
- Stack 1.5.1 released
- Stack issue triagers
take
&zip
: An issue with linear streams- The future is functional: Haskell and the AI-native world
- Why you should use PureScript
Package of the week
This week’s package of the week is monad-control, a library that provides lift control operations (like exception catching) through monad transformers.
Call for participation
- brittany: Quadratic run-time behaviour in size of input
- cabal: Wiki release instructions are out of date
- stack: Add
--cwd
parameter to stack exec
Events
- August 28: Compose :: Melbourne
- August 30: Quito Lambda: La programación funcional


-
Apply for the Low Income Scheme
- NHS prescriptions
- NHS dental check-ups and treatment
- NHS Sight tests
- NHS wigs and fabric supports
You'll also get help towards the cost of:
- new glasses or contact lenses
You could get help with your health costs if, after your housing costs you have less than £1,023 a month.
-
Buy a prescription prepayment certificate
- NHS prescriptions
You can buy prescription prepayment certificates (PPCs) from the NHS which may make your prescriptions cheaper.
A 3 or 12 month prescription prepayment covers all your prescriptions for that period, no matter how many you need.
A prescription costs £8.40 per item, but a prescription prepayment costs:
- £29.10 for 3 months
- £104 for 12 months
This means if you’re going to buy 4 or more prescriptions in 3 months, or 13 or more prescriptions in 12 months, it may be cheaper to buy a prescription prepayment.


{{item.item.item_description}}
Select an options and add it in your cart.
Select the options you want to be included in this item.


The multispecies and individual-based model (IBM) 'OSMOSE' (Shin and Curry (2001) <doi:10.1016/S0990-7440(01)01106-8> and Shin and Curry (2004) <doi:10.1139/f03-154>) focuses on fish species. This model assumes opportunistic predation based on spatial co-occurrence and size adequacy between a predator and its prey (size-based opportunistic predation). It represents fish individuals grouped into schools, which are characterized by their size, weight, age, taxonomy and geographical location (2D model), and which undergo major processes of fish life cycle (growth, explicit predation, natural and starvation mortalities, reproduction and migration) and fishing exploitation. The model needs basic biological parameters that are often available for a wide range of species, and which can be found in 'FishBase' for instance (see <http://www.fishbase.org/search.php>), and fish spatial distribution data. This package provides tools to build and run simulations using the 'OSMOSE' model.
| Version: | 0.1.1 |
| Depends: | R (≥ 2.15) |
| Imports: | graphics, grDevices, rlist, stats, stringr, utils |
| Published: | 2018-01-09 |
| Author: | Yunne-Jai Shin [aut], Travers Morgane [aut], Verley Philippe [aut], Ricardo Oliveros-Ramos [aut], Laure Velez [aut], Nicolas Barrier [cre], Criscely Lujan [ctb], Michael Hurtado [ctb] |
| Maintainer: | Nicolas Barrier <nicolas.barrier at ird.fr> |
| BugReports: | https://github.com/osmose-model/osmose/issues |
| License: | CeCILL |
| URL: | http://www.osmose-model.org/ |
| NeedsCompilation: | no |
| SystemRequirements: | Java (>= 8) |
| CRAN checks: | osmose results |
| Reference manual: | osmose.pdf |
| Package source: | osmose_0.1.1.tar.gz |
| Windows binaries: | r-devel: osmose_0.1.1.zip, r-release: osmose_0.1.1.zip, r-oldrel: osmose_0.1.1.zip |
| OS X binaries: | r-release: osmose_0.1.1.tgz, r-oldrel: osmose_0.1.1.tgz |
| Old sources: | osmose archive |
Please use the canonical form https://CRAN.R-project.org/package=osmose to link to this page.


Present using Video Times
Use the time information from a video element to perform element-manipulation and declared actions.
Video Timer:
First
This content appears for the first 3 seconds.
THEN...
This content appears for the until 6 seconds has passed.
Finally...
This content shows until the end.


Harry Potter and the Prisoner of Azkaban
Harry is back at the Dursleys, where he sees on Muggle television that a prisoner named Sirius Black has escaped. Harry involuntarily inflates Aunt Marge when she comes to visit after she insults Harry and his parents. This leads to his running away and getting picked up by the Knight Bus. He travels to the Leaky Cauldron, where he meets Cornelius Fudge, the Minister for Magic, who asks Harry to stay in Diagon Alley for the remaining three weeks before the start of the school year at Hogwarts.
The night before he is expected to leave for Hogwarts, Harry learns that the escaped prisoner, Sirius Black, is a convicted murderer, and it is believed that he wants to murder Harry. On the way to Hogwarts, a Dementor boards the train, causing Harry to faint, but he is helped by the new Defence Against the Dark Arts teacher, Remus Lupin. Harry, Ron, and Hermione learn that the Dementors will be patrolling the school in an attempt to protect Harry from Black.
Later on, Lupin's Defence Against the Dark Arts sessions prove far better than those of Gilderoy Lockhart's (Harry's uselessly vain ex-teacher). They have a fun lesson on Boggarts (see Magical Creatures in Harry Potter), and then learn about more Dark Creatures, though, when Lupin supposedly falls ill, Professor Snape, the much hated Potions Master, takes over and belittles Hermione's knowledge, much to her dismay.
At Hogwarts, Harry has several problems with the Dementors, including an episode at a Quidditch match, during which he faints and falls off his broomstick from around 50 feet in the air. His broom is smashed by the Whomping Willow. Working with Harry outside class, Lupin teaches him the Patronus Charm to repel Dementors.
On an unauthorised visit to the village of Hogsmeade (thanks to the The Marauder's Map, given to him by George Weasley and Fred Weasley), Harry overhears some of his teachers talking with Fudge about Black, saying that Black was a friend of Harry's parents, but he betrayed them and gave Voldemort access to their house, and that he also killed thirteen Muggles and his former friend Peter Pettigrew.
Ron and Hermione's friendship later suffers when Ron believes that Hermione's cat, Crookshanks, ate his rat, Scabbers. At Christmas, Harry receives a mysterious present, a late-model Firebolt broom. Fearing it might be cursed, Hermione reports the gift to Professor McGonagall, which leads to bad feelings between her and Ron and Harry.
Ron, Hermione, and Harry join the effort to save Hagrid's hippogriff, Buckbeak, from being executed for attacking Draco Malfoy, after Draco provoked him. Their efforts are unsuccessful, but Scabbers reappears shortly after they hear Buckbeak being executed.
 The dog drags Ron through a tunnel under the Whomping Willow into the Shrieking Shack. Harry and Hermione follow, and there is a brief standoff when they find Ron and Sirius, who has transformed from the dog. Lupin enters, and they explain the situation to Harry and his friends: Lupin is a werewolf, which led to his friends James Potter, Sirius Black, and Peter Pettigrew becoming animagi. Lupin explains that Scabbers is Pettigrew in his animal form; he has been hiding from Black, whom he had framed for the murders of Harry's parents and the thirteen Muggles.
Snape arrives to apprehend Black but Harry knocks him unconscious. Lupin and Black transform Pettigrew back into human form and prepare to kill him, but they are stopped by Harry, as he feels his father would not have wanted it.
As they move back toward Hogwarts, Lupin turns into a werewolf and becomes violent, having missed a dose of a potion he had been taking that would allow him to keep his human mind when in animal form. Pettigrew escapes again, but Black prevents Lupin, in his werewolf form, from attacking the others. Some Dementors approach Harry, Ron and Hermione.
When they wake up in the hospital, Harry, Ron, and Hermione are told that Black has been sentenced to receive the Dementor's kiss, which removes the soul of the recipient. Dumbledore advises Hermione and Harry to use Hermione's time-turner, a device she has been using to double-up on classes, which permits them to go back in time and save Buckbeak, who carries Black away to safety.
Sadly, Snape lets slip that Lupin is a werewolf, leading to his resignation. Harry visits Lupin before he leaves, and then they say goodbye to each other, and Lupin is certain that they will meet sometime soon (see Harry Potter and the Order of the Phoenix).


Rates&Ratio Work Problem Solver
Enter the problem size
Enter the time(minutes) for collaborative1
Enter the time(minutes) for collaborative2
Enter the time(minutes) for collaborative3
by Mehmet Efe Ekiner
Based on a programming riddle from Infinity-Group
View Resume


Event Location:
University of Utrecht - Marinus Ruppert Building
Leuvenlaan 21
Utrecht, Utrecht, Netherlands
Abstract:
Data science, predictive analytics, insights, statistics… There are so many buzzwords around these days. These words are frequently used in an introduction to some technical article, at the beginning of a presentation, and even in regular talk. However, when it comes down to a real analysis, you typically get reports with very nice Power BI graphs, but without real forecasting. It is up to you to recognize the patterns and then probably make some kind of interpolation by yourself. Data mining is the part that is based on statistics and can really make forecasts automatically. Data mining is part of SSAS installed in multidimensional mode. Is it possible to get the best from both words? This advanced session explains the forecasting algorithms and shows how you can integrate geographic and temporal predictions in Power View and Power Map visualizations and interactive animations. Popular buzzwords finally get some real meat behind them.
Speaker(s): Dejan Sarka,
Abstract:
In the world of Data Platform a variety of solutions are available going from on premises, hybrid to cloud solutions. Database Administrators play a crucial role in application design and architecture, providing mission critical and highly available solutions. In this session you will learn everything a DBA needs to know about Azure. You’ll learn about SQL Server running in Windows Azure virtual machines, Azure Storage and network configurations, SQL Database and how to manage and support workloads running in a traditional, hybrid and cloud based environment. Become the DBA of the future!
Speaker(s): Dandy Weyn,
Abstract:
Power pivot in Excel or SQL server have quite similar in user interfaces. Power pivot in SQL server has a lot more to offer, which you, as Excel user, will like. You prototype in Excel Power pivot, while bearing in mind you want to port your Excel power pivot model to SQL server Power pivot. There are best practices you should stick to in order to port without problems. This session will discuss the advantage and disadvantages of porting your Excel Power pivot model to SQL. After that the best practices in using formula, structuring Power pivot models and even before that how to look at your data will be showed.
Speaker(s): Henk Vlootman,
Abstract:
Azure DocumentDB is a new highly-scalable NoSQL database platform on Microsoft Azure, designed as a fully managed cloud service for modern web and mobile applications. Like other NoSQL platforms, DocumentDB supports schema-free designs, and scales across replicas with fast write performance and eventual consistency. But DocumentDB also offers several unique features that make it a compelling candidate for NoSQL scenarios, which you will learn about in this session. The platform is based on HTTP/REST, embraces JSON as a standard document format, and is supported by a wide range of SDKs for .NET, JavaScript, Java, Python, and Node.js. Without defining any index paths, new documents are queryable within milliseconds, using SQL grammar or LINQ. Learn these and other capabilities, including server-side JavaScript-based stored procedures, user-defined functions, triggers, tunable consistency, and more.
Speaker(s): Leonard Lobel,
Abstract:
When you were young, did you enjoy taking things apart to look at their inner workings? If you did, or still do, this session might be just the thing for you! Combining SQL Server internals with our curiosity on how things work, we will take a look underneath the hood of SQL Server by debugging it. In this session we will debug the various parts of SQL Server using WinDbg. I’ll show you how to setup, configure and use WinDbg to extract information from a running SQL Server process. We will take a look at the various dump files that record information when a SQL Server crash occurs, capturing valuable information on why SQL Server crashed. And finally, I will demonstrate how you can use Extended Events to create dump files when specific conditions occur, helping you learn more about why they occur. Don't worry if you are not a programmer. We will go through this session at a relaxed pace without causing (too many) headaches!
Speaker(s): Enrico van de Laar,
Abstract:
NB: This is part one of a two-part session The SQL Server Query Optimizer makes its plan choices based on estimated rowcounts. If those estimates are wrong, the optimizer will very likely produce a poor plan. And there's nothing you can do about it. Or is there? In this session, you will learn exactly where these estimates come from. You will gain intimate knowledge of how statistics are built and maintained and how they are used to estimate row counts. But you will also learn how filters and joins influence those estimates. Though the focus of this session is on understanding the cause of bad estimates, you will also learn ways to fix the problems and get better estimates - and hence, better performing queries.
Speaker(s): Hugo Kornelis,
Abstract:
You know Bookmark Lookups in SQL Server? You like their flexibility to retrieve data? If yes, you have to know that you are dealing with the most dangerous concept in SQL Server! Bookmark Lookups can lead to massive performance losses that blows up your CPU and I/O resources! Join me in this session to get a basic understanding of Bookmark Lookups, and how they are used by SQL Server. After laying out the foundation we will talk in more details about the various performance problems they can introduce. After attending this session you have a better understanding of Bookmark Lookup and you are finally able to tell if a specific Bookmark Lookup is a good or bad one.
Speaker(s): Klaus Aschenbrenner,
Abstract:
While building of Tabular Models may be straight forward it rapidly becomes more complex when you steer off-piste and into more complex design pattern such as: - Many to Many relationships - Semi-Additive Measures - Last Ever Non Empty - Events in Progress - Versioned Fact Tables - Almost real time processing requirements - Huge volume - Non Star Schema Data Warehouses - measure explosion and lack of calculated dimensions - Selecting Hardware This one hour session will walk through an actual case study of a tabular model and discuss the pain points we encountered on the way, along with solutions and workarounds.
Speaker(s): Bob Duffy,
Abstract:
Performance troubleshooting is a complex subject with many factors under consideration when you find poorly performing SQL statements, using proven methodologies, and evaluating performance data available in the Dynamic Management Views and Functions. In this session, we’ll go over a foundation of how and which DMVs to use to identify those problematic statements for versions of SQL Server from 2005 – 2014. We’ll be demonstrating using practical examples, including code that can be taken away and used on attendees’ own SQL Servers. We’ll also discuss how to identify common causes of performance issues, and learn how to quickly review and understand the wealth of performance data available
Speaker(s): Neil Hambly,
Abstract:
So between your management and Microsoft, it’s been decided that you are moving your SQL Server workloads to the cloud. Whether it’s Microsoft Azure SQL Database or running SQL Server in a VM, there are unique performance tuning challenges that are different in a cloud environment. Just like when you moved your SQL Servers from physical to virtual environments, you will learn new techniques for tuning workloads. In this session you will learn about: • Optimizing TempDB in an Azure VM • Reducing latency between application VMs and database VMs • Right sizing Azure VMs for performance and cost • Striping I/O across devices in Azure VMs • Performance Tuning in Azure DB You will learn about techniques that will not just improve your system performance, but save you company money, which can be easily quantified just in time for your performance review.
Speaker(s): Joseph D'Antoni,
Abstract:
Microsoft Azure Machine Learning (AML) changes the way we work with data and what knowledge and skills are required in order to predict outcome of future events. AML is a comprehensive “drag, drop, predict” technology with all the benefits of the cloud. The transfer of machine learning to the new platform with ability to use R programming language makes common machine learning tasks very simple for the different customers and academic community.
Speaker(s): Tanja Vukov,
Abstract:
As more enterprises start implementing big data solutions, how does the DBA support these efforts and do they have the skills and knowledge to integrate big data solutions into your current architecture and processes? This demo-filled session has two purposes; first, to help DBAs understand how to apply their existing SQL Server skills in understanding and utilizing HDInsight and related technologies. Big data technologies don’t need to be intimidating, and this session will help DBAs see how they can easily apply their current skill when working with big data. Second, this session will show how SQL Server and HDInsight be used together to create solutions to solve big data problems without the complexities of massive learning curves and using technologies DBAs are already familiar with. We’ll look at technologies that make working with big data much less daunting, including HiveQL and Sqoop, both of which don’t require a rocket science degree to use.
Speaker(s): Scott Klein,
Abstract:
SQL DW is wederom een mijlpaal in de geschiedenis van SQL Server voor wat betreft schaalbaarheid: deze Massive Parallel Processing (MPP) SQL Server versie @ Cloud scale biedt de mogelijkheid om binnen een minuut de rekenkracht en in-memory geheugencapaciteit met een factor 60x op te schalen of in z’n geheel te pauzeren wanneer je de database even niet nodig hebt! Tijdens deze presentatie krijg je via een boel live demo's snel een overzicht van de mogelijkheden van SQL DW inclusief antwoord op vragen als: hoe werkt SQL DW en hoe begin ik hiermee? Hoe migreer ik m’n database naar SQL DW? Hoe kan ik het beste data laden, via BCP of Polybase? En met welke dmv’s kan ik SQLDW het beste monitoren ?
Speaker(s): Henk van der Valk,
Abstract:
NB: This is part two of a two-part session The SQL Server Query Optimizer makes its plan choices based on estimated rowcounts. If those estimates are wrong, the optimizer will very likely produce a poor plan. And there's nothing you can do about it. Or is there? In this session, you will learn exactly where these estimates come from. You will gain intimate knowledge of how statistics are built and maintained and how they are used to estimate row counts. But you will also learn how filters and joins influence those estimates. Though the focus of this session is on understanding the cause of bad estimates, you will also learn ways to fix the problems and get better estimates - and hence, better performing queries.
Speaker(s): Hugo Kornelis,
Abstract:
With the release of the Power BI Preview, last year, Power BI is now also accessible via an API. Although (at this moment) the API is limited, it provides the basic operations which can be used for real-time dashboarding scenarios. During this session I will show the possibilities of the API and how it can be integrated with other services, like Stream Analytics and AzureML, to provide real time dashboard for realistic IoT scenarios.
Speaker(s): Jan Pieter Posthuma,
Abstract:
In this session, we'll explore some of the things you should be looking at within your virtual environment to ensure that you are getting the best possible performance out of it. We will discuss how to look for CPU performance issues at the host level. We will also be looking at the Memory Balloon drivers and what they actually do, as well as how you should be configuring them and why. We will then talk about some of the memory sharing technologies which are built into vSphere and Hyper-V and how they relate to SQL Server, and we’ll finish up the session with some storage configuration options.
Speaker(s): Denny Cherry,
Abstract:
Bad habits: we all have them. SELECT * is the obvious one; but in this session you will learn about various other habits and why they can be bad for performance or maintainability. You will also learn about best practices that will help you avoid falling into some of these bad habits. Come learn how these habits develop, what kind of problems they can lead to, and how you can avoid them - leading to more efficient code, a more productive work environment, and - in a lot of cases – both.
Speaker(s): Aaron Bertrand,
Abstract:
The SQL Server Data Warehouse Fast Track (DWFT) program is designed to provide customers standard and proven system architectures optimized for a range of enterprise data warehousing needs. DWFT is a joint effort between Microsoft and many hardware partners. The goal is to help enterprise customers deploy Data Warehouse solutions with recommended hardware configuration appropriate for the requirements of the workload with reduced risk, cost and complexity.
Speaker(s): Niall MacLeod,
Abstract:
This session is about all the new SSIS features in SQL Server 2016 public preview that was released summer 2016.
Speaker(s): Joost van Rossum,
Abstract:
Did you ever reach the state in your multidimensional projects when you just didn’t want to implement a new scoped assignment? Will it have any side effects on existing scopes? How about performance? Sometimes your projects get that complex. You will need to choose between many options and it might get hard to even measure the impact or test out all consequences. This session will not answer all your questions, but you will get some real life experiences on what better not to do…
Speaker(s): Gabi Münster,
Abstract:
Data Science is hot.  And how do you get started? This session will give you a brief introduction to Data Science. We’ll explore the steps involved to take on an analytical endeavour, and show how these concepts work with several demos. Attend this session and discover what (Microsoft) tools and technologies you can use to extract value from (big) data! This session will be co-presented by Maarten van Duren.
Speaker(s): M Streutker,
Abstract:
SQL Server 2016 New Features (Not Query Store!) - In-memory OLTP Enhancements - Native JSON - Always Encrypted - Row Level Security - Dynamic Data Masking - Enhance Database Caching - Enhanced Always On - Power Query for Analytics and Reporting - Enterprise Grade Analysis Services - Enhanced MDS - Enhanced Reporting Services - Built in Advanced Analytics with R
Speaker(s): David Williams,
Abstract:
This session will guide you with practical tips tricks to move away from SQL Profiler and use Extended Events instead. Extended Events were first introduced in SQL Server 2008 and should be used instead of the SQL Profiler. Still lots of DBA's and DEV's use SQL Profiler nowadays because of the convenience and lack of an Extended Events GUI in SQL 2008. Extended events however impose a minimal performance penalty on SQL Server and provides much more detailed tracing.
Speaker(s): Peter Jonk,
Abstract:
Microsoft and the SQL Server team take security very seriously. SQL Server has the lowest number of security vulnerabilities across the major database vendors. To keep this number of vulnerabilities as low as possible, Microsoft introduced several security innovations in SQL Server 2016. In this session you will get an overview of the new security features in SQL Server 2016 like Always Encrypted – Row-Level Security – Dynamic Data Masking - SQL Server audit tools and many more. After attending this session you will have a good idea which new features might be helpful for you, when it comes to security for your mission-critical applications.
Speaker(s): Pieter Vanhove,
Abstract:
Our data should be secure. And our environment too. What we can do for maximize security in a hybrid environment, where SQL Server exist in two forms: premise and cloud. How organize our job, how control our data if we use Windows Azure SQL Database - The CLoud Database. Physical security, policy based management, auditing, encryption, federation, access and authorization. All of those subjects will be covered on my session.
Speaker(s): Tobias Koprowski,
Abstract:
SQL Server 2016 offers a cool new feature: Temporal Tables. This new functionality allows you to have the system "automagically" record all changes that happen to the data. Querying the data is also much easier than it was before with the workarounds that we had to use. In this hour you will understand the concept, learn how to create temporal tables and how to query them, and what the pros and cons are.
Speaker(s): Edgar Walther,
Abstract:
Are you curious about the array of NoSQL technologies available in Azure, but aren't sure how they differ from each other or the relational models available? Or maybe you've got specific data in mind, but aren't sure which NoSQL technology is best for your application. Microsoft Azure supports a variety of NoSQL technologies (i.e. key/value, document, column and graph databases). In this session we walk through the options, explaining what each one provides.
Speaker(s): Niels Naglé,
Abstract:
The word Kerberos can strike fear into a SQL DBA as well as many Windows Server Administrators. What should be a straight forward and simple process can lead to all sorts of issues and trying to resolve them can turn into a nightmare. This talk looks at the principle of Kerberos, how it applies to SQL Server and what we need to do ensure it works
Speaker(s): David Postlethwaite,
Abstract:
Analyzing huge sets of data isn't something humans are made for. Humans are more suitable for making decisions based on things they can see. So how do you bring that into the business? One of the options you have is to visualize some of your (location based) data on maps. A feature for this in SQL Server is called spatial data (geo data). By using physical locations and shapes to visualize data, you can quickly analyze big sets of data. In this session, we're going to take a look at how spatial data works, how you can query it, and how to use it to leverage your decision making process.
Speaker(s): Jeffrey Verheul,
Abstract:
SQL Server 2014 introduces Extreme Transaction Processing, a brand new memory-optimized data management feature, targetting OLTP workloads. In this session you will learn about two new, and not very well known, features that you can use to share sets of data between modules - either within the database, or between client applications and databases: - Memory-optimized Table Variables; and - Memory-optimized Table-valued Parameters.
Speaker(s): Matija Lah,
Abstract:
SQL Server has many moving parts with a massive amount of metrics that you can monitor to see how your system is performing, but which ones do you need to pay attention to, what do they mean and how do you interpret them? In this session we will look at the key areas of CPU, Memory and Storage, from performance counters to DMVs that you can use to check on the health of your server and gain insight into how it is performing. We will also look at some of the configuration options that exist which you can use to ensure that you have a healthy base on which to build.
Speaker(s): John Martin,
Abstract:
Agile BI promises to deliver value much quicker to its end users. But how do you keep track of versions and prioritize all the demands users have? With Visual Studio Online (cloud version of Team Foundation Server) it is possible to start for free with 5 users, with Version Control, Work Item management and much more. In my session you will get the directions to a quick start with Visual Studio Online. You will learn the possibilities of Version Control and in which way to implement Scrum work item management with all available tools.
Speaker(s): Sander van der hoeff,
Abstract:
To compete with other vendors supplying mobile BI dashboarding solutions, Datazen has entered the SQL Server BI stack. In this session we will discover what it has to offer and what kind of effort is needed for publishing your very own dashboards. We will go through local dashboards on Excel and evolve to a basic server setup with your dashboards published to mobile devices and SharePoint. Let us guide you on your way to the future of mobile BI.
Speaker(s): Jan Van humbeek,
This is a list of speakers from the XML Guidebook records. The details and URLs were valid at the time of the event.
LinkedIn: http://www.linkedin.com/in/davidpostlethwaite
Contact: http://www.gethynellis.com/
David Postlethwaite has been a DBA for Liverpool Victoria in Bournemouth, England since 2008 He supports both Oracle and SQL Server from 2000 to 2017, DBMS, SSIS, SSAS and Reporting Services. In 2015 David built and deployed the company's first cloud solution using Microsoft Azure SQL Database and web services Before becoming a DBA David was a .NET developer and way back in history a Windows and Netware administrator. He is an occasional blogger on www.gethynellis.com David is a regular speaker for SQLSaturday. Most of his presentations can be found on his YouTube channel www.youtube.com/c/DavidPostlethwaiteSQL
LinkedIn: http://nl.linkedin.com/in/shoeff
Contact: http://www.du-sabot.nl
With over 20 years of experience in automation Sander van der Hoeff knows his way around in the ICT business. Since 2000 Sander is Specialized in business intelligence and data warehousing using the full SQLServer Stack. In 2012 Sander founded his own BI-company: Du Sabot. Nowadays Sander spends his time on several BI- and DWH-projects as an independent professional. Sander combines deep technical knowledge with the capability to explain difficult BI- and DWH-concepts to the non-technical people
LinkedIn: https://www.linkedin.com/in/dandyweyn
Contact: http://WWW.ILIKESQL.COM
With over 20 years of experience in the database world, Dandy Weyn is very experienced on database platforms and business intelligence. As content developer for hands-on-labs, owner of technical events, and multiple years as international consultant and trainer Dandy offers the unique combination of deep technical and solid presentation skills. He is an MCM for SQL Server, Microsoft Certified Trainer and Global Technical Lead for Data Platform in the Enterprise Partner Group (EPG) at Microsoft.
LinkedIn: https://www.linkedin.com/in/vlootman
Contact: http://www.vlootman.nl
Henk Vlootman is trainer in Excel and Power pivot to managers throughout the world in the Dutch or English language since 1992. I also do assignments from the industry, partly consultancy and partly direct modelling. I do seminars and congresses. With Michiel Rozema (Rubicon, The Netherlands, I wrote the quot;Practice Book PowerPivot in Excel.quot; At this moment, again with Michiel Rozema I’m finishing a new Power pivot book. I write a monthly blog on Power BI for two different Dutch (financial) e-magazine. I’m manager of the LinkedIn group Power BI Gebruikersgroep. Henk is board member of the Dutch Power BI gebruikersgroep.
LinkedIn: http://nl.linkedin.com/pub/jeffrey-verheul/63/92/6a4/
Contact: http://devjef.wordpress.com/
Jeffrey Verheul is a DBA and database developer from the Netherlands, with over 8 years experience in the Microsoft stack. After a short side-track as a software engineer, he returned to his true love: SQL Server. His main focus is on database development, performance tuning and database administration. He is a member of the Friends of Red Gate and the Professional Association for SQL Server (PASS), and blogs regularly on devjef.wordpress.com.
LinkedIn: https://uk.linkedin.com/in/koprowskit
Contact: http://koprowskit.eu/geek/
Founder of Shadowland Consulting. In January 2015 decided to permanently leave Poland and discover new worlds. Actually settled in Hucknall (The Last home of The Byron Family). Community leader focused on SQL Server, SharePoint, security, collaboration and ITIL, DR, BCM, and SLA. Love licensing stuff. Microsoft Certified Trainer, freelancer, and consultant. Subject Matter Expert at Microsoft. Member of Microsoft Terminology Community, Friends of RedGate PLUS, PASS, ISSA, ACM and more. Since 1st July 2010 Data Platform MVP. Creator of SQLDAY Conference and Conference CEO 2009-2011. Co-Leader of PASS East Midlands Group. Speaker at group meetings and conferences. STEM Ambassador. Traveler. Coffee Addicted.
LinkedIn: http://www.linkedin.com/in/lennilobel
Contact: http://lennilobel.wordpress.com
Leonard Lobel (Microsoft MVP, Data Platform) is CTO and co-founder of Sleek Technologies, Inc., a New York-based development shop with an early adopter philosophy toward new technologies. He is also a principal consultant at Tallan, Inc., a Microsoft National Systems Integrator and Gold Competency Partner. Programming since 1979, Lenni specializes in Microsoft-based solutions, with experience that spans a variety of business domains, including publishing, financial, wholesale/retail, health care, and e-commerce. Lenni has served as chief architect and lead developer for various organizations, ranging from small shops to high-profile clients. He is also a consultant, trainer, and frequent speaker at local usergroup meetings, VSLive, SQL PASS, and other industry conferences. Lenni has also authored several MS Press books and Pluralsight courses on SQL Server programming.
LinkedIn: https://be.linkedin.com/in/janvanhumbeek
Jan Van humbeek is a Microsoft BI consultant working for Micropole Belgium. Over the years, he’s gathered experience with all the core BI components the SQL Server stack has to offer. This led him to becoming fully MCSE certified on the SQL Server stack and more recently he achieved an MCSA certification in Office 365. When the working day is done, he loves learning about all the latest and greatest features Microsoft has to offer.
LinkedIn: http://uk.linkedin.com/in/johnqmartin/
Contact: https://www.mssqltips.com/sqlserverauthor/291/john-martin/
John Martin is a Data Platform Engineer working in the financial sector, as well as Vice President Marketing for the PASS organization and currently a Microsoft Data Platform MVP. Previously John has worked as a product manager for SentryOne and a Premier Field Engineer with Microsoft UK. John has over a decade of experience working with SQL Server and the Microsoft Data Platform. Working as a DBA, developer and consultant for Microsoft, he has been lucky enough to see how best, and how not, to use SQL Server and the Data Platform effectively.
Contact: http://blogs.prodata.ie/author/bob.aspx
Bob Duffy is a SQL Server MVP from Dublin, Ireland who is MCA, MCM. and Analysis Services Maestro certified. Bob works as a Database Architect at the Prodata SQL Centre of Excellence where he specializes in business intelligence and performance tuning.
Contact: https://blogs.sentryone.com/author/AaronBertrand
Aaron, Product Manager at SentryOne, produces performance and optimization tools for the entire Microsoft data platform, as well as Plan Explorer, a free tool for SQL Server execution plan analysis. In his spare time, he is either playing volleyball, curling, blogging at sqlperformance.com and blogs.sentryone.com, or contributing to SQL Server conversations on Twitter and dba.stackexchange.com. He has worked with SQL Server since 6.5 and has been an MVP since 1997.
LinkedIn: https://www.linkedin.com/profile/public-profile-settings?trk=prof-edit-edit-public_profile
Tanja Vukov, PhD – research associate at Institute for Biological Research, University of Belgrade. She is an expert in biostatistics and her role is to transform data into meaningful scientific conclusions. As a bio-analyst she helped to develop new practices in a field of agriculture and medicine. She published more than 20 papers in leading international scientific journals. She was a speaker on using different Azure technologies. She holds a PhD in Evolutionary biology.
LinkedIn: http://nl.linkedin.com/in/henkvandervalk
Contact: http://www.henkvandervalk.com
Since 2000 Henk has specialized in optimizing large-scale Microsoft application and database solutions. He’s been authoring and contributing numerous whitepapers around SQL Server performance tuning and also produced the famous ETL Data loading World Record with SSIS. About a year ago, Henk left Microsoft and co-founded a new company: SQLMasters BV and dedicates his time since in developing cool SQL Estate data management solutions and full stack performance tuning. During his presentations he usually dives into the real-world performance challenges @customer sites and shares tips that will make you job easier!
LinkedIn: http://si.linkedin.com/in/matijalah/
Contact: http://milambda.blogspot.com
Matija Lah has more than a decade of experience working with Microsoft SQL Server, mostly architecting data-centric solutions in the legal domain. His contributions to the SQL Server community have led to the Microsoft Most Valuable Professional award in 2007 (Data Platform), which he held until 2017. In 2008 Matija joined SolidQ as a Mentor, located in Central and Eastern Europe. He spends most of his time on projects involving advanced information management, and natural language processing.
LinkedIn: http://uk.linkedin.com/in/neilhambly
Contact: http://dataidol.com/NeilHambly
Neil Hambly is a SQL Server consultant, founder and consultant at Datamovements, a Gold Microsoft Data Analytics Consulting company. Neil has 20+ years in a variety of SQL Server roles and is an MCT. He is a regular presenter (200+ events) at user groups, and PASS events, including PASS Summit and SQLSaturday, and many UK events (SQLBits, SQLRelay). Neil is the leader of PASS London (UK), a Professional Development VC, a Melissa Data MVP, and a SQL Cruise Technical Lead, who loves Guinness, whisky, and dancing.
Contact: http://aka.ms/sqlscott
Scott Klein is a senior consultant with SQL Solutions Group with over two decades of experience working with Microsoft SQL Server. Prior to SSG, Scott spent almost 10 years at Microsoft, traveling the globe as a technical evangelist training and speaking about SQL Server and Microsoft’s Azure data services. Scott’s recent focus has been on advanced analytics, including big data and IoT, providing real-world training to help bring intelligence to your data. Scott has authored several books focusing on data and data analytics. Scott is continuously striving and looking for ways to help developers and companies grok the wonderful world of data.
Contact: http://blogs.solidq.com/dsarka/Home.aspx
Dejan Sarka, MCT and Data Platform MVP, is an independent trainer and consultant that focuses on development of database and business intelligence applications. Besides projects, he spends about half of his time on training and mentoring. He is the founder of the Slovenian SQL Server and .NET Users Group. Dejan Sarka is the main author or co-author of eighteen books about databases and SQL Server. Dejan Sarka has also developed many courses and seminars for Microsoft, Radacad, SolidQ, and Pluralsight.
LinkedIn: http://nl.linkedin.com/pub/enrico-van-de-laar/33/882/756/
Contact: https://www.enricovandelaar.com
Enrico has been working with data in all kinds of formats and sizes for over 15 years. He is a Data Advanced Analytics Consultant for Dataheroes where he helps organisations take their first steps in the world of Advanced Analytics. Enrico is a Data Platform MVP since 2014 and a frequent speaker on various data related events all over the world. He authored the book “Pro SQL Server Wait Statistics” and blogs about technologies like Microsoft SQL Server and Azure Machine Learning on his blog at www.enricovandelaar.com
LinkedIn: http://www.linkedin.com/profile/view?id=3997984amp;trk=hb_tab_pro_top
Contact: http://joeydantoni.com
Joseph D'Antoni is a Senior Consultant and Microsoft Data Platform MVP with over 20 years of experience working in both Fortune 500 and smaller firms. He is a Principal Consultant for Denny Cherry Associates and lives in Malvern, PA. He is a frequent speaker at major tech events like Microsoft Ignite, PASS Summit, and Enterprise Data World. He blogs about all topics technology at joeydantoni.com. He believes that no single platform is the answer to all technology problems. Joseph holds a BS in Computer Information Systems from Louisiana Tech University and an MBA from North Carolina State University, and is the co-author of the Microsoft book "Introducing SQL Server 2016”.
LinkedIn: http://nl.linkedin.com/in/nielsnagle
Contact: http://blogs.infosupport.com/author/nielsn/
Niels Naglé is a Data Solution Architect, Trainer and Speaker at Info Support. As a consultant he specializes in data solutions, business intelligence, data management and Analytics. Niels has consulted for a wide variety of companies in diverse sectors on enterprise business intelligence, Analytics, self-service BI etc. He is passionate about data (and much more) and loves to share his experiences and expertise with like-minded individuals and organizations unlocking their data dividend. Currently working as architect, on designing smart data solutions and frequently delivering training as a Microsoft Certified Trainer.
LinkedIn: https://www.linkedin.com/in/justdaveinfo?trk=nav_responsive_tab_profile
Contact: http://justdave.info
David is a cross product DBA (SQL Server, DB2, Oracle, Informix, Sybase) who has worked for 25 years as a DBA for both private, local/central government customers including a Fortune 50 investment bank. Certifications include MCSE 2014 Data Platform, MCTS SQL Server 2008 DBA and Developer as well as certifcations in other products. David has spoken at multiple SQLSaturdays as well as local usergroups and is a regular volunteer at events including SQLBits.
Niall is a Senior Applications Architect for SanDisk, specializing in Microsoft SQL Server and Flash Storage Solutions. Niall has extensive knowledge and experience in utilizing infrastructure resources to deliver application performance. Having began his career in IT in the late 1990s at Data General and EMC, Niall has since worked with several enterprise storage companies; the latter being Fusion-io where he was responsible for the direction of technical marketing in EMEA.
LinkedIn: http://be.linkedin.com/pub/dir/Pieter/Vanhove
Contact: http://pietervanhove.azurewebsites.net/
Pieter Vanhove is a Premier Field Engineer at Microsoft Belgium and has been working with SQL Server since 2000. Pieter has a profound knowledge in implementing high availability and disaster recovery solutions and loves the new Azure stuff. Together with the dataMinds team in Belgium, he helps organizing dataMinds Connect and is also a regular speaker at Belgian and international events.
LinkedIn: https://nl.linkedin.com/in/jpposthuma
Contact: https://azurebi.jppp.org
Jan Pieter Posthuma is a certified Microsoft Data Consultant at his own company DataScenarios and has helped multiple clients as the leading (technical) expert in their Microsoft Data challenges. Besides working for customers is Jan Pieter also involved into the Microsoft Data Platform community by co-organizing the yearly Dutch SQLSaturday event and presenting at local and foreign Microsoft Data Platform events. Also he has created several community solution for the Microsoft Data Platform, like Power BI custom visuals and VisualStudio Team Services extensions.
LinkedIn: http://nl.linkedin.com/in/hugokornelis
Contact: http://sqlblog.com/blogs/hugo_kornelis/default.aspx
Hugo Kornelis is an established SQL Server community expert who spends a lot of time at various conferences. He is author of "the Execution Plan Reference" (sqlserverfast.com/epr), blogger, technical editor of Grant Fritchey's "SQL Server Execution Plans, 3rd edition" and some other books, and Pluralsight author. He was awarded SQL Server MVP and Data Platform MVP 12 times (2006 - 2016, and 2019-present). When not working for the community, he is busy at his day job: freelance database developer/consultant. Hugo has over 20 years of SQL Server experience in various roles. He loves to write and tune complex queries, but he also has a strong database design background. When not working for the community, he is busy at his day job: freelance database developer/consultant. Hugo has over 20 years of SQL Server experience in various roles. He loves to write and tune complex queries, but he also has a strong database design background.
LinkedIn: http://nl.linkedin.com/in/edgarwalther/
Contact: http://www.itsmart.eu/Blog/tabid/180/Default.aspx
Edgar Walther has been an independent BI consultant for over 12 years and specializes in the Microsoft Data Platform. He runs a BI consulting firm, ITsmart, based in the Netherlands, and he is one of the founders of the Dutch Power BI User Group. With a background of both Business Economics and IT development the area of Business Intelligence is where he can bridge the gap between Business and IT. He is very eager to stay up to date with the latest developments in Microsoft BI products, and he likes to share them with other BI enthusiasts. He has been a speaker at several SQL Server and Power BI events.
LinkedIn: https://www.linkedin.com/pub/mark-streutker/0/942/8b9
T.b.d.
LinkedIn: http://nl.linkedin.com/in/peterjonk
Contact: http://dba60k.net
Peter Jonk is a Premier Field Engineer for Microsoft Services and supports customers to get the most out of SQL Server. Areas of expertise include high availability, SQL migrations and performance tuning.
LinkedIn: https://www.linkedin.com/in/gabimuenster/
Gabi Münster is working as a Business Intelligence consultant and team lead and brings in her experience with SQL Server, data warehousing, relational and multidimensional database design and implementation, report and dashboard design, and Master Data Services, as well as project management into the community as a regional PASS Local Group lead. She is also passionate about motivating other women to start a technical career and therefore initiates and supports "Women in Technology" events. Apart from SQLSaturdays, she also spoke at SQLBits, SQL Nexus, Tuga IT, and 2015's and 2017's PASS Summit. In October 2017 Gabi received her first Data Platform MVP award.
LinkedIn: http://nl.linkedin.com/in/hugokornelis
Contact: http://sqlblog.com/blogs/hugo_kornelis/default.aspx
Hugo Kornelis is an established SQL Server community expert who spends a lot of time at various conferences. He is author of "the Execution Plan Reference" (sqlserverfast.com/epr), blogger, technical editor of Grant Fritchey's "SQL Server Execution Plans, 3rd edition" and some other books, and Pluralsight author. He was awarded SQL Server MVP and Data Platform MVP 12 times (2006 - 2016, and 2019-present). When not working for the community, he is busy at his day job: freelance database developer/consultant. Hugo has over 20 years of SQL Server experience in various roles. He loves to write and tune complex queries, but he also has a strong database design background. When not working for the community, he is busy at his day job: freelance database developer/consultant. Hugo has over 20 years of SQL Server experience in various roles. He loves to write and tune complex queries, but he also has a strong database design background.
LinkedIn: http://nl.linkedin.com/in/joostvanrossum
Contact: http://microsoft-ssis.blogspot.com/
I#39;m a Microsoft Business Intelligence consultant at ilionx with a focus on SQL Server Integration Services (SSIS). I started my career with some ASP, ASP.Net, MCMS and SPS assignments and made the switch to BI when Microsoft released SQL Server 2005. I try to blog at least once a month about SSIS (and related stuff) and try to answer questions on the SSIS forum on MSDN where I#39;m a moderator. And last year I wrote an SSIS Scripting book to show you how to use C# or VB.Net within SSIS.
Contact: http://www.SQLpassion.at/blog
Klaus Aschenbrenner provides independent SQL Server consulting services across the United States and Europe, focusing on the .NET Framework and SQL Server 2005 and 2008. In 2004 and 2005, he received the Microsoft MVP award for his support of the .NET community. Klaus has also written a book, “Pro SQL Server 2008 Service Broker,” published by Apress (2008).
LinkedIn: https://www.linkedin.com/in/mrdenny
Contact: https://www.dcac.com
Denny Cherry is the owner and principal consultant for Denny Cherry Associates Consulting and has over a decade of experience working with platforms such as Microsoft Azure, Amazon AWS, Microsoft SQL Server, Hyper-V, vSphere, and Enterprise Storage solutions. Denny’s areas of technical expertise include system architecture, performance tuning, security, replication, and troubleshooting. Denny currently holds several Microsoft Certifications related to SQL Server 2000 through 2019, including being a Microsoft Certified Master, Microsoft MVP and VMware vExpert Award.
The following is a list of sponsors that helped fund the event.


--- layout: page title: About header-img: "img/about-bg.png" ---
My previous professional experience includes being a Registered Dietitian and a High School teacher. I'm very interested in Health, Science, Technology and Art.


<msgblock>
The <msgblock>
element contains a multi-line message or set of messages.
The message block can contain multiple message numbers and message descriptions, each
enclosed in <msgnum>
and <msgph>
elements. It can
also contain the message content directly. Line breaks and spaces are preserved when the
element is rendered. This element is part of the DITA software domain, a special set of
DITA elements designed to document software tasks, concepts and reference information.
Category: Software elements


--- layout: archive title: Zulip Chat Archive permalink: /stream/116395-maths/topic/pderivative.html ---
@Shing Tak Lam, @Kevin Buzzard, I just approved the PR about mv_polynomial
. I do like the idea of adding the lemma you proposed,
lemma pderivative_eq_zero_of_not_mem_vars {v : S} {f : mv_polynomial S R} (h : v ∉ f.vars) : pderivative v f = 0 :=
but let's do it in a subsequent PR.
(You can just make a new branch off your pderivative
branch for now, if you want to do this.)
I had a look, at it looks like what you've said you already did in the PR comment thread means we're pretty close.
I would suggest adding:
section as_sum @[simp] lemma support_sum_monomial_coeff (p : mv_polynomial σ α) : p.support.sum (λ v, monomial v (coeff v p)) = p := finsupp.sum_single p -- This probably isn't necessary, but it's nice for readability to be able -- to write `rw p.as_sum`. -- (See also `polynomial.as_sum`.) lemma as_sum (p : mv_polynomial σ α) : p = p.support.sum (λ v, monomial v (coeff v p)) := (support_sum_monomial_coeff p).symm end as_sum
to mv_polynomial.lean
immediately after the coeff
section.
then adding
section variables (R) def pderivative.add_monoid_hom (v : S) : mv_polynomial S R →+ mv_polynomial S R := { to_fun := pderivative v, map_zero' := sorry, map_add' := sorry, } @[simp] lemma pderivative.add_monoid_hom_apply (v : S) (p : mv_polynomial S R) : (pderivative.add_monoid_hom R v) p = pderivative v p := rfl end
inside your pderivative
section, probably immediately after you've proved those two sorry
s.
After which the proof of the lemma should go smoothly:
lemma pderivative_eq_zero_of_not_mem_vars {v : S} {f : mv_polynomial S R} (h : v ∉ f.vars) : pderivative v f = 0 := begin change (pderivative.add_monoid_hom R v) f = 0, rw f.as_sum, rw add_monoid_hom.map_sum, simp, conv_lhs { apply_congr, skip, -- rest of the proof (a lemma about monomials) goes here! }, end
Alright, thanks for your help. I'll take a look at that later.
Alright, thanks for your help. I'll take a look at that later.
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


{% load services %} {% url railroad.viewhosts.views.hostconfigurator host_name as host_link %} {% url railroad.viewhosts.views.service host_name service_description as service_link %}
No graph


Forest Conservation and Preservation geared towards sustainable forest with more than a century of expertise. We use tree to make products people need while taking care of forests for future generations.
Learn MoreConserving and preserving land and minerals for responible development. We provide the building blocks for real estate, development and conservation
Learn MoreTo be a source for value-added solutions that improve perfomance, safety and profitability
Learn More"Knowing trees, I understand the meaning of patience. Knowing grass, I can appreciate persistence"
Learn More


Venice floods: Romantic city confronts highest tide in 50 years
by Matt JohnsonIt’s renowned as Italy’s floating city. But the romantic Italian tourist hub of Venice has instead found itself literally submerged, after it was struck by the highest tide in more than half a century.
Tourists ditched their usual glamorous attire for functional gumboots and ponchos to navigate around the city’s extensive network of canals as the “acqua alta,” or high waters, peaked at a height of 1.87 metres.
Alleyways normally dotted with tables primed for an aperitif were instead stowed away, and locals and tourists opted for raised walkways, over pathways that had simply washed away.
It’s the second highest tide since records began in 1923.
The only other time waters crept higher was when Venice confronted a catastrophic 1.94-metre tide in 1966.
The raised water level also swept its way through some of the city’s noted tourist landmarks.
The Gritti Palace’s opulent bar, which counts Ernest Hemingway and Elizabeth Taylor among its guests, was completely sodden.
The famed Ducal Palace tweeted that it’s “open today, despite the exceptional tide,” but advised visitors to use raised walkways to enter its hallowed spaces.
Photos and social media footage captured around the city show numerous boats and water taxis stricken in narrow laneways, left stranded by receding floodwaters.
Venice’s mayor Luigi Brugnaro quickly declared a city-wide state of emergency, and blamed the devastation on climate change.
“We’re currently facing an exceptionally high tide. Everyone has been mobilised to cope with the emergency,” Mr Brugnaro tweeted.
“It will be a long night.”
Emergency services will soon start to assess the damage, with many of the city’s cafes, stores and hotels set to incur major costs to fix the mess.
However, any hopes of an immediate reprieve have been dashed, with Italy expected to field several more days of horrendous weather.


L.A. Confidential (R) **** (out of ****) Curtis Hanson's adaptation of James Ellroy's crime novel L.A. Confidential earned a strong buzz after premiering at Cannes this past May, and it's easy to see why: it is Hollywood moviemaking at its finest--a classy piece of entertainment made with equal parts passion, style, and fun. The seemingly idyllic Los Angeles of the early 1950s provides the glitzy backdrop for the grisly crime that is the focus of the story: a bloody mass murder in an all-night coffee shop. One of the victims is Dick Stensland (Graham Beckel), a subpar police officer who was forced into retirement after a brutality incident not too long before his death. Heading the investigation into the murders are Stensland's former partner, Wendell "Bud" White (Russell Crowe); ambitious but naive Edmund Exley (Guy Pearce); and vice cop Jack Vincennes (Kevin Spacey), who soon find out the case is not as open and shut as it appears to be. Yes, L.A. Confidential is an uncommonly complex and intelligent mystery; the ever-twisting plot continually surprises the audience without insulting its intelligence, and the wry sense of humor Hanson and co-scripter Brian Helgeland keeps the film from coming off as self-important and pretentious. But as sturdy as the story is, the film would not have come to life in such fabulous form without its richly drawn characters, particularly the All-American pair of Ed and Bud, played in career-making turns by Aussies Pearce and Crowe. For the most part, the central character is Ed, a prototype for the "new" officer in the LAPD being introduced at this time--one who prides himself on high moral principles, seeking justice and truth without beating it out of a suspect. While the intelligent Ed is able to negotiate himself into a high position within the department, he doesn't have the street smarts or toughness that commands respect from his peers or elicit fear from his enemies; his reliance on eyeglasses only adds to the problem. On the other hand lies Bud, the "muscle" cop known to take a brutal stand against perps, especially women beaters. He is what is perceived as the ideal cop, but as the film progresses, we see how his hot-tempered style is quickly becoming obsolete, setting up an interesting, intricate contrast. Ed and Bud are not so much opposites in the manner of black and white as they are in the yin and yang sense--they contrast, but neither is clearly right nor wrong, and while they appear flawed and incomplete on their own, together their qualities make an ideal whole. Surrounding Ed and Bud are an equally colorful cast of characters, played to perfection by the impressive ensemble. Spacey is terrific as Jack, the spotlight-seeking cop who regularly busts showbiz personalities with gossip rag editor Sid Hudgins, played with the right balance of smarm and charm by Danny DeVito. Kim Basinger is stunning, dangerous, and vulnerable as glamorous top-dollar whore Lynn Bracken, even if her character is one of the least effectively developed in the film. James Cromwell (as Capt. Dudley Smith), Ron Rifkin (as District Attorney Ellis Lowe), and David Strathairn (as wealthy, shady Pierce Pratchett) also make lasting impressions. In the end, the reason why L.A. Confidential is such a juicy piece of pulp fiction is that it is, quite simply, a good story told exceptionally well. It is superlative Hollywood entertainment--the type of picture that Tinseltown likes to congratulate itself for making come March.
Michael Dequina<EMAIL_ADDRESS>|<EMAIL_ADDRESS><EMAIL_ADDRESS>|<EMAIL_ADDRESS>|<EMAIL_ADDRESS><EMAIL_ADDRESS>|<EMAIL_ADDRESS>Visit Mr. Brown's Movie Site at http://members.tripod.com/~MrBrown/ Personal Page: http://members.tripod.com/~MrBrown/home.html Michael Jordan Sites: http://members.tripod.com/~mj23/mj.html & http://www.geocities.com/Colosseum/Field/2302/
"I've failed over and over and over again in my life... and that is why I succeed." --Michael Jordan
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


title=Spring Integration and Spring Batch on CloudFoundry talk from JavaZone 2012 date=2012-10-19 type=post tags=blog status=published ~~~~~~
My talk from JavaZone is now available online. I co-presented with Oleg Zhurakousky, colleague and co-committer on Spring Integration. If you'd like a quick look, check it - and all the other great videos on the JavaZone Vimeo page - out!